Bash completion support for OCaml Stdlib.Arg

KMAT's a Mission Analysis Tool

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

a structural diff that understands syntax 🟥🟩

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

Powered Explicit Guidance implementation for Kerbal Space Program written in kOS

A language server for the Kerboscript (kOS) a language for Kerbal Space Program

Execute code blocks inside your documentation

Hundreds of Kerbals were killed in the making of this mod.

A menagerie of cute implementations of modern typechecking algorithms

An awesome list of e-graph resources

This repo is a list of papers that discuss errors in research due to software errors

Advice for writing LaTeX documents

Static analysis framework for C

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

egg is a flexible, high-performance e-graph library

Mathematical plotting library for ocaml

Documentation compiler for OCaml

A listing of compiler, language and runtime teams for people looking for jobs in this area

Binary Analysis Platform

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

The Z3 Theorem Prover

The Vampire Theorem Prover

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

QuickCheck inspired property-based testing for OCaml.

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

A web-based collaborative LaTeX editor

egraphs + datalog!