Pinned Loading

1. lohika lohika Public

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

   Scala 43 1

2. chi chi Public

   A function code generator and an isomorphism analyzer

   Scala 40 2

3. dry dry Public

   A high-level programming language written in Scala

   Scala 37 2

4. Nostalgia Nostalgia Public

   A chess program written in Scala

   Scala 20 1

5. ecena ecena Public

   A 3D Scene Renderer written in C++

   C++ 17

6. erena erena Public

   Ray Tracer written in Rust

   Rust 13