Pinned Loading

1. prune-lang prune-lang Public

   Prune is a constraint logic programming language with branching heuristic.

   Rust 33

2. norem-lang norem-lang Public

   A modern functional programming language with effect system.

   Rust 19

3. norem-lang-draft norem-lang-draft Public

   A native-compiled functional programming language. The word "norem" stands for "not really monadic".

   Rust 10

4. RuCalculus RuCalculus Public

   Forked from ProjectDimlight/RuCalculus

   入墨答Rumbda, the Chinese expression of lambda calculus

   Haskell

5. CombVM-C CombVM-C Public

   A combinator-based virtual machine with a repl.(Written in C)

   C 10

6. CombVM-rust CombVM-rust Public

   A combinator-based virtual machine with a repl.(Written in rust)

   Rust 1