Pinned Loading

1. kos-c kos-c Public

   Compiler for a C/C++/C#-like language targeting the kOS scripting language used in the Kerbal Operating System mod (https://ksp-kos.github.io/KOS/index.html) for Kerbal Space Program.

   Haskell 19 2

2. logru logru Public

   Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.

   Rust 24 4

3. multigrid multigrid Public

   A multigrid solver written in Rust.

   Rust 1

4. autorec autorec Public

   A daemon for automatically recording songs played on a digital piano connected via MIDI.

   Rust 1

5. learnos learnos Public

   [UNMAINTAINED] An OS written in Rust to learn more about OS development.

   Rust 1

6. record-tree-dsl record-tree-dsl Public

   Tree-based type-level embedded domain specific languages in Haskell.

   Haskell