DR1V3N WILD - Arcade style 3D driving game in only 13 kilobytes

Separation Logic Proofs in Lean

Open-source enterprise generative AI platform

Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]

Data Encoding and Representation Analysis

Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

Multiparty Session Types in OCaml

Tool for automatically inferring inductive invariants of distributed protocols.

Fastest Gephi's ForceAtlas2 graph layout algorithm implemented for Python and NetworkX

Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library

Creation of interactive networks using d3 Javascript

A light theme for Visual Studio Code

OCaml PPX deriver for reflection

Linearizability Visualizer

multi-shot continuations in OCaml

🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.

DDC monitor controls (brightness) for Mac OSX command line

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

A turnkey configuration for Zsh

Autoreject.org — An automatic review generator

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Unbearably fast near-real-time pure-Python runtime-static type-checker.

A Simulation in C++ of Joseph Weizenbaum’s 1966 ELIZA

A lightweight text editor written in Lua

A collaborative bibliography of work related to the theory and practice of computational effects

Formal verification for OCaml

A text editor that will help you write clearer and simpler

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.