Popular repositories Loading

1. reflex-examples reflex-examples Public

   Forked from reflex-frp/reflex-examples

   See Reflex FRP in action with tinker-friendly code samples you can run yourself.

   Haskell

2. cdcl-graphical cdcl-graphical Public

   Implementation of the CDCL SAT-solving algorithm along with a graphical output to trace through execution

   TypeScript

3. senior-thesis-code senior-thesis-code Public

   Code for senior thesis (2021-2022)

   Jupyter Notebook

4. minisat-ocaml minisat-ocaml Public

   Forked from niklasso/minisat

   Binding minisat with OCaml

   C++

5. minisat-c-ocaml minisat-c-ocaml Public

   Forked from niklasso/minisat-c-bindings

   C bindings for Minisat & OCaml

   C++