minimal macOS app switcher for when Cmd+Tab gets way too noisy

Quickly rewrite git repository history (filter-branch replacement)

OCaml interface to (parts of) Google OR-Tools

LP and MIP modeling in OCaml

Convert a cmi file back to an mli interface

Execute code blocks inside your documentation

UltiSnips - The ultimate snippet solution for Vim. Send pull requests to SirVer/ultisnips!

Arduino IDE 2.x

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Google's Operations Research tools:

Select OCaml opam switches via a menu or using a command

Tricks you wish the Coq manual told you [maintainer=@tchajed]

A Nbody simulation in Zelus

dag-gen-rnd: A randomized Multi-DAG task generator for scheduling and allocation research

A minimalistic and high-performance SAT solver

A minimalistic and high-performance SAT solver

The Pseudo-Boolean Solver MiniSat+

A simple, in-browser, markdown-driven slideshow tool.

A Coiteration-based Executable Synchronous Semantics.

A Lustre compiler in Coq

Reactive Web Programming

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

A T9 keyboard for Android inspired by the classic Nokia phones of the 2000s.

LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

coinduction library for Coq

Purely functional SSH library in ocaml.

Metadata and links for the International Conference on Embedded Software