A WIP definitional (co)datatype package for Lean4

Arbitrary Bit-Length Integers in Lean

A language with lexical effect handlers and lightweight effect polymorphism

Experiments in automation for Lean

Algebraic Effects for PHP, maybe?

Intuitive, type-safe expression quotations for Lean 4.

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 4 programming language and theorem prover

The math library of Lean 4

Parser Combinator Library for Lean 4

A WebAssembly implementation in Lean4

Reference compiler for c0

Proving leftpad correct two-dozen different ways

A repository for the stack switching proposal.

A readable lisp in less than 1k lines of C

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Fast PDF generation and compression. Deals with millions of pages daily.

ScanTailor Advanced is the version that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.

ScanTailor Advanced is the version that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.

PDF Command Line Tools Source

moved from https://sourceforge.net/p/min-caml/code/

An open source, self-hosted implementation of the Tailscale control server

A C++-like programming language

A C to UXN compiler

Algebraic data types for C99

google maps for block game

A wiki for collaborative work on totally legitimate "category theory"

An embedded scheme interpreter in Rust

🚀 A fast WebAssembly interpreter and the most universal WASM runtime