Popular repositories Loading

1. OCaml-SAT-Solvers OCaml-SAT-Solvers Public

   Forked from charliermarsh/OCaml-SAT-Solvers

   An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

2. MiniSat-ocaml MiniSat-ocaml Public

   Forked from flerda/MiniSat-ocaml

   OCaML bindings for the MiniSat satisfiability solver.

   OCaml

3. heavy-minotaut heavy-minotaut Public

   Heavy MinOTaut - Heavy Minimization Of Tree Automata

   Groff 1

4. sail-cheri-riscv sail-cheri-riscv Public

   Forked from CTSRD-CHERI/sail-cheri-riscv

   CHERI-RISC-V model written in Sail

   Isabelle

5. isla-snapshots isla-snapshots Public

   Forked from rems-project/isla-snapshots

   Compiled Sail ISA snapshots for the Isla symbolic execution tool

6. cerberus cerberus Public

   Forked from rems-project/cerberus

   Cerberus C semantics

   OCaml