A performant and modular zkVM framework built for customization and extensibility.

Proof system backends for OpenVM.

A markup-based typesetting system that is powerful and easy to learn.

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

A STARK-based VM focused on code reuse, performance, and modularity

A toolkit for polynomial IOPs (PIOPs)

Set of React components for PDF annotation

HyperLogLogLog: Counting Distinct Elements With One Log More

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 4 programming language and theorem prover

Official repository for CMU Machine Learning Department's 10717: "The Art of the Paper".

Algorand's official implementation in Go.

Reference Manager in Go

Versatile typeface for code, from code.

Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit

Powerful and highly extensible command-line based document and bibliography manager.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Chicago undergraduate mathematics bibliography

List of Computer Science courses with video lectures.

📚 List of awesome university courses for learning Computer Science!

Documentation for Crossref's REST API. For questions or suggestions, see https://community.crossref.org/

Your bibliography on the command line

A language and runtime for distributed, incremental data processing in the cloud

Kiosk protocol smart contracts

The Leek group guide to genomics papers

Fast math typesetting for the web.

An extension of GeoJSON that encodes topology! 🌐