mseve

Apollo-11

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

MagicMirror

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 assistant.

nuklear

A single-header ANSI C gui library

revery

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

pandoc-latex-template

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

tufte-css

Style your webpage like Edward Tufte’s handouts.

lean3

Lean Theorem Prover

owl

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

cryptominisat

An advanced SAT solver

vm-bhyve

Shell based, minimal dependency bhyve manager

ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

coq-of-ocaml

Formal verification for OCaml

ppx_deriving_yojson

A Yojson codec generator for OCaml.

LaTeXText

Inkscape extension to render text as Latex

clasp

⚙️ A conflict-driven nogood learning answer set solver

monosat

MonoSAT - An SMT solver for Monotonic Theories

mSAT

A modular sat/smt solver with proof output.

opam-repository-mingw

windows package repository for OPAM (mingw and msvc)

ppx_yojson_conv

[@@deriving] plugin to generate Yojson conversion functions

cmdliner-cheatsheet

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

80s-retrowave

80s retrowave theme for windows terminal

z3overlay

An overlay for the OCaml Z3 binding.

freebsd-cross-build

(Cross) Compile FreeBSD binaries on Linux

ocaml-posix

Bindings to the various POSIX APIs

minicard

MiniCard: An efficient cardinality solver based on MiniSAT

breakid

BreakID, a CNF symmetry-breaking library and tool

Relaxed_LCMDCBDL_newTech

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

cominisatps

Bigraph-front-end

bc_minisat_all

Git mirror of Takahisa Toda's bc_minisat_all AllSAT solver