A small C compiler

A Lisp interpreter written in untyped lambda calculus

x86 C compiler written in untyped lambda calculus

The Flix Programming Language

Logic programming in Rust

Lecture notes on intensional semantics by Kai von Fintel and Irene Heim

A concatenative language for the Uxn VM with full compiler-enforced stack safety.

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/