A statically typed lisp, without a GC, for real-time applications.
Repository Index
73,362 visible repositories in the index
1–7 of 7 · Most stars
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
C to Rust translator
Generate Erlang VM byte code from Haskell
- beam
- erlang
- elixir
- compiler
Idris LLVM codegen factored out
Generate Elm types, encoders, and decoders from Haskell types