Pinned Loading

1. verith verith Public

   A small coq library for verifying OCaml native integer computations

   Coq 1

2. BlackJack BlackJack Public

   The Blackjack card game, implemented in Rust. No UI, just CLI.

   Rust 1

3. inferenceEngine inferenceEngine Public

   Scala

4. rustlox rustlox Public

   Interpreter and VM for the Lox language, written in Rust

   Rust

5. sudoku sudoku Public

   An efficient sudoku solver written in idiomatic Haskell

   Haskell

6. SatSolver SatSolver Public

   A toy functional and parallel SAT solver implementation in Scala

   Scala 1