Popular repositories Loading

1. cytosol cytosol Public

   A programming language somewhat resembling cellular processes.

   Rust 34 3

2. toml-idr toml-idr Public

   A TOML parser for Idris 2

   Idris 15 5

3. natpl natpl Public

   Programming language / calculator for natural sciences

   Rust 14 8

4. thiol thiol Public

   The thiol language for shader- and kernel-programming

   Rust 11 1

5. chambo chambo Public

   An experiment in verifying a small programming language

   Haskell 9 1

6. inline-gdscript inline-gdscript Public

   Rust 8 1