Pinned Loading

1. agda/agda agda/agda Public

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 2.9k 416

2. msoos/cryptominisat msoos/cryptominisat Public

   An advanced SAT solver

   C++ 935 201

3. webyrd/miniKanren-uncourse webyrd/miniKanren-uncourse Public

   Code, wiki, and resources for the weekly miniKanren uncourse

   Scheme 52 6

4. LiveScript---presentation LiveScript---presentation Public

   livescript for gangsters

   JavaScript 5 1

5. pyZ3 pyZ3 Public

   Encoding Vesicle Traffic System in Z3 and CBMC

   TeX 1 1

6. dcnf-autarky dcnf-autarky Public

   Autarkies for QBF

   R