LtU Forum

 TopicReplies sort iconCreatedLast reply
 Anna: A KVS For Any Scale06 years 3 weeks ago
by naasking
n/a
 Dr Jekyll and Mr C018 years 9 weeks ago
by Satrajit Chatterjee
n/a
 Looking for experienced help016 years 10 weeks ago
by Arbiter
n/a
 [ANN] Code Generation 2010 Call for Speakers014 years 22 weeks ago
by Mark Dalgarno
n/a
 Introduction to the proof engine for static verification of software012 years 5 weeks ago
by hbrandl
n/a
 Lobster, a new programming language, just released.010 years 41 weeks ago
by Wouter
n/a
 The most obsolete infrastructure money could buy - my worst job ever08 years 30 weeks ago
by Manuel J. Simoni
n/a
 3APL017 years 32 weeks ago
by Hank Thediek
n/a
 New Full-time Erlang Jobs in Chicago014 years 7 weeks ago
by enewhuis
n/a
 Cybernetics and AI015 years 8 weeks ago
by Hank Thediek
n/a
 A usage poll for the Coq proof assistant010 years 13 weeks ago
by gasche
n/a
 Reusing XML Processing Code in non-XML Applications018 years 42 weeks ago
by olpa
n/a
 Egel Language v0.106 years 48 weeks ago
by marco
n/a
 counterexamples.org02 years 45 weeks ago
by raould
n/a
 ANN: Harmonia-Mode Program Analysis Plug-in for XEmacs019 years 14 weeks ago
by HeikoWengler
n/a
 FringeDC- New Washington DC Organization for Fringe Programming Languages017 years 30 weeks ago
by drcode
n/a
 My personal Scheme015 years 28 weeks ago
by vijay
n/a
 A little challenge 010 years 47 weeks ago
by Ehud Lamm
n/a
 SPLASH 2015 - Workshops Combined Call for Papers08 years 36 weeks ago
by craiganslow
n/a
 Paper on ParaSail published in <Programming> journal V3.3; new release also available05 years 6 weeks ago
by sttaft
n/a
 First Class Copy & Paste018 years 3 weeks ago
by marcoil
n/a
 Compile-time meta-programming in Metalua and Converge016 years 29 weeks ago
by Isaac Gouy
n/a
 Etech 2006 CFP018 years 29 weeks ago
by Ehud Lamm
n/a
 BlackBox Component Builder has been open sourced017 years 44 weeks ago
by claudio
n/a
 FringeDC informal meeting Saturday May 10th015 years 46 weeks ago
by drcode
n/a
XML feed