Stars
IIR Hilbert filter: short, dependency-free, header-only C++
Visual Studio Code extension for interacting with texpresso
Notes on OCaml debugging and performance
A derivation explorer and logger for menhir parser
Opensource Rust driver for various AR glasses
Open source, cross-platform, user-mode tablet driver
SDK for building cross-platform desktop apps in ANSI-C
A statically-typed, functional typesetting system
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…
An open world adventure and dungeon crawling game
A static analyzer for Java, C, C++, and Objective-C
Minimal cross-platform LSP wrapper for merlin
Research prototype tool for modular formal verification of C, Rust and Java programs
Game and tools oriented refactored version of GLU tesselator.
Emacs client for statistical memory profiler
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
An extension for VS Code which provides support for the OCaml language.