A statically typed lisp, without a GC, for real-time applications.

an elegant interpreted language for the simplistic programmer

An experiment in verifying a small programming language

Astatine is a is a mid-level, statically typed, procedural programming language with some functional components.

Safe Haskell bindings for the `libgccjit` library