Pinned Loading

1. discus-lang/salt discus-lang/salt Public

   The compilation target that functional programmers always wanted.

   Haskell 62 3

2. gentzen gentzen Public

   A proof checker and assistant for Sequent calculi

   Haskell 2

3. icarus icarus Public

   Programming language designed as an experiment to explore mutation and aliasing control

   C 31 2

4. discus-lang/ddc discus-lang/ddc Public

   The Disco Discus Compiler

   Haskell 174 19

5. carp-lang/Carp carp-lang/Carp Public

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

   Haskell 5.5k 173

6. ponylang/ponyc ponylang/ponyc Public

   Pony is an open-source, actor-model, capabilities-secure, high performance programming language

   C 5.6k 410