Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Formal verification for OCaml

[@@deriving] plugin to generate Yojson conversion functions

A Yojson codec generator for OCaml.

MonoSAT - An SMT solver for Monotonic Theories

Git mirror of Takahisa Toda's bc_minisat_all AllSAT solver

This solver win the Main-Track-SAT of SAT competition 2020

BreakID, a CNF symmetry-breaking library and tool

Cheatsheet for adding command-line options to an OCaml program using cmdliner

80s retrowave theme for windows terminal

⚙️ A conflict-driven nogood learning answer set solver

(Cross) Compile FreeBSD binaries on Linux

MiniCard: An efficient cardinality solver based on MiniSAT

Bindings to the various POSIX APIs

Lean Theorem Prover

Inkscape extension to render text as Latex

MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal a…

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

Style your webpage like Edward Tufte’s handouts.

An OCaml kernel for Jupyter (IPython) notebook

A single-header ANSI C gui library

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Shell based, minimal dependency bhyve manager

An advanced SAT solver

windows package repository for OPAM (mingw and msvc)

An overlay for the OCaml Z3 binding.

A modular sat/smt solver with proof output.