jeffbezanson/femtolisp - github
february 2012 by earl
"a lightweight, robust, scheme-like lisp implementation"
femtolisp
lisp
proglang
from delicious
february 2012 by earl
acl2
january 2012 by earl
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
theorem-prover
proglang
from delicious
january 2012 by earl
elm
december 2011 by earl
"type-safe function language that compiles to html, css, and javascript"
proglang
elm
from delicious
december 2011 by earl
related tags
active-objects ⊕ array-language ⊕ dependent-typing ⊕ elm ⊕ femtolisp ⊕ fexprs ⊕ flexipl ⊕ formal-verification ⊕ generics ⊕ idris ⊕ interpreter ⊕ j ⊕ java ⊕ javascript ⊕ julia ⊕ k ⊕ k-clone ⊕ lambda ⊕ lang-impl ⊕ lang5 ⊕ lisp ⊕ logic ⊕ lunascript ⊕ media:pdf ⊕ open-source ⊕ parallelism ⊕ perl ⊕ proglang ⊖ rebol ⊕ rebol-inspired ⊕ scheme ⊕ scientific-computing ⊕ scripting ⊕ stack-language ⊕ swift ⊕ theorem-prover ⊕ types ⊕ via:manuel ⊕ webdev ⊕ world-lang ⊕ zonnon ⊕ ✓ ⊕Copy this bookmark: