High Performance Embedded Key-Value Store

A fast, safe, and intuitive DataFrame library.

Library of the ##dependent distributed research support group

Ghidra is a software reverse engineering (SRE) framework

Reconstructed source code for the Microprose game F-15 Strike Eagle 2 for MS-DOS

The Om programming language.

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

C# x86/DOS emulator

Reverse engineer and rewrite real mode DOS programs!

Reko is a binary decompiler.

Solutions to the Advent of Code 2025. Using Agda.

Dafny is a verification-aware programming language

The Microsoft community Windows Package Manager manifest repository

trying to figure out this jujutsu thing

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

Modeling and Proving in Computational Type Theory

A modern supercompiler for call-by-value functional languages

Mathematical Components

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Lean Companion to the Category Theory in Context textbook by Emily Riehl

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

Bake a cake with care, follow steps the recipe gives, that’s an algorithm.

A Compiler Writing Journey

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

Compiler for the Mirth programming language.

Tricks you wish the Coq manual told you [maintainer=@tchajed]

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Like C and C++ but with Dependent Types