LtU Forum

 TopicReplies sort iconCreatedLast reply
 A usage poll for the Coq proof assistant04 years 42 weeks ago
by gasche
n/a
 Cat version 0.2012 years 18 weeks ago
by cdiggins
n/a
 Egel Language v0.101 year 25 weeks ago
by marco
n/a
 The Sphere Online Judge014 years 12 weeks ago
by Jim Apple
n/a
 FringeDC Informal Meeting- Jan 13th011 years 40 weeks ago
by drcode
n/a
 Amber: Eiffel/Ruby inspired language for the Parrot VM013 years 9 weeks ago
by meltsner
n/a
 Links to research on/in ....012 years 23 weeks ago
by snk_kid
n/a
 RSS stats08 years 4 weeks ago
by Ehud Lamm
n/a
 Faith, Hope, and Love: An essay on software science’s neglect of human factors07 years 27 weeks ago
by Sean McDirmid
n/a
 A little challenge 05 years 24 weeks ago
by Ehud Lamm
n/a
 SPLASH 2015 - Workshops Combined Call for Papers03 years 13 weeks ago
by craiganslow
n/a
 ANN: lingwah - Java parser combinators with support for recursive grammars07 years 9 weeks ago
by ted stockwell
n/a
 FringeDC Formal Meeting- April 18th 12PM Noon- Advanced Common Lisp Features09 years 26 weeks ago
by drcode
n/a
 Parsing@SLE 2015: Call for talk proposals03 years 9 weeks ago
by afroozeh
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure02 years 1 week ago
by yehonathan sharvit
n/a
 Saturday January 10th 2009, 2PM: FringeDC Programming Group Formal Meeting09 years 41 weeks ago
by drcode
n/a
 Correctness proofs demonstrated with natural numbers07 years 5 weeks ago
by hbrandl
n/a
 [ANN] Call for Speakers - FP Days 2012 - Cambridge, October 25-26th06 years 22 weeks ago
by Mark Dalgarno
n/a
 Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)04 years 13 weeks ago
by craiganslow
n/a
 Anna: A KVS For Any Scale031 weeks 6 days ago
by naasking
n/a
 Dr Jekyll and Mr C012 years 38 weeks ago
by Satrajit Chatterjee
n/a
 Looking for experienced help010 years 39 weeks ago
by Arbiter
n/a
 apparently fun datalog system07 years 33 weeks ago
by raould
n/a
 Programming as Relaxation: Ant Wars014 years 5 weeks ago
by Scott G. Miller
n/a
 Cybernetics and AI09 years 37 weeks ago
by Hank Thediek
n/a
XML feed