Parser Combinator Library for Lean 4

JSON Work Proof - proof-of-work algorithm encoded like a JWT

A proof assistant for higher-dimensional type theory

A community database of topological counterexamples

Yet another modal editing on Emacs / 猫态编辑

The Ross Program website

A Haskell LTI 1.3 library

List of awesome resources for learning and developing tools according to the Learning Tools Interoperability (LTI ©) standard created by the 1EdTech Consortium.

A graphical, hackable email client based on notmuch

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Compiler for the Mirth programming language.

Code for the Advent of Code 2021

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

A keyboard-driven, vim-like browser based on Python and Qt.

A demo implementation of a simple dependently-typed language

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

Device independent (DVI) file format parsing with node

TikZJax is TikZ running under WebAssembly in the browser

tikzwolke is a cloud-based service converting <script> tags with TikZ code into SVG images

Hashcash algorithm in Go

"A First Course in Linear Algebra" open source textbook

Mooculus

Interactive textbooks for tablet PCs, starting from LaTeX source files

Fetch posts from Google Reader into a local Maildir, propagating marks

Mac OS X application to detect and block cat-like typing

SIMBL plugin for Safari; saves session when Safari quits