Stars
Lean4 library for substitution inspired by autosubst
Rosi: a row-typed functional programming language, based on the Rose family of calculi
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
High-performance Protocol Buffers for JavaScript and TypeScript. Conformant through Edition 2026, and unusually versatile. No protoc required.
Compile protocol buffer messages to TypeScript.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
TypeScript JSON type validation
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Simple & lightweight vertical tree like view.
A Dependently Typed Functional Programming Language
PHP code to create SVG shield images from Blazons, as used on drawshield.net
McTano / Carnap
Forked from Carnap/CarnapA formal logic framework that runs in the browser
Language support in Atom for Y86-64 assembly (UBC's implementation).
A formal logic framework that runs in the browser
A nasty, short and brutish reimagining of Conway's Game of Life using Haskell.