Pinned Loading

1. chi chi Public

   A function code generator and an isomorphism analyzer

   Scala 38 2

2. lohika lohika Public

   A Proof Generator for Entailments and Tautologies in First-order Logic

   Scala 37 1

3. dry dry Public

   A high-level programming language written in Scala

   Scala 34 2

4. Nostalgia Nostalgia Public

   A chess program written in Scala

   Scala 18 2

5. ecena ecena Public

   A 3D Scene Renderer written in C++

   C++ 17

6. erena erena Public

   Ray Tracer written in Rust

   Rust 13