Stars
Low Level Emulation of classic VA synths & effects of the late 90s/2000s by emulating the used ICs
Defines a common protocol for language servers.
Helper toolkit for creating your own Lean 4 UserWidgets
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Automatic theorem proving via natural language reasoning with LLMs
Python API for lightweight communication with the Rocq proof assistant
Implementation of Nougat Neural Optical Understanding for Academic Documents
Recode of book "Dessins géométriques et artistiques avec votre micro-ordinateur" (1985) with p5js
Class instances for Coq inductive types with little boilerplate
Programming language for literate programming law specification
Collection of tools to extract semantic information from (mathematical) research articles
A proof tree viewer that works with Coq through Proof General
Coq definitions and lemmas for verification of Casper
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Monadic effects and equational reasoning in Rocq
Synthesizer plug-in (previously released as Vember Audio Surge)
Linux daemon for Intel CPU power limits and firmware-induced throttling.
Terminal-based CPU stress and monitoring utility
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
[Xposed module] Enable background playback in YouTube