Pinned Loading

1. sudoku sudoku Public

   An efficient sudoku solver written in idiomatic Haskell

   Haskell

2. verith verith Public

   A small coq library for verifying OCaml native integer computations

   Coq 1

3. inferenceEngine inferenceEngine Public

   Scala

4. BlackJack BlackJack Public

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

   Rust 1

5. rustlox rustlox Public

   Interpreter and VM for the Lox language, written in Rust

   Rust

6. SatSolver SatSolver Public

   A toy functional and parallel SAT solver implementation in Scala

   Scala 1