No CMU Common Lisp videos yet. You could help us improve this page by suggesting one.
Steel Bank Common Lisp - Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Hy - Hy is a wonderful dialect of Lisp that’s embedded in Python.
Haskell - An advanced purely-functional programming language
CLISP - CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...