Stars
Development repo for translating Software Foundations to Lean
Play original Colonization Windows 3.1 on a modern OS. Bring your own copy of the game
Two-byte binary patch fixing a 30-year-old bug in Sid Meier's Colonization (MS-DOS v3.0): automated trade routes silently refuse to deliver goods that are boycotted in Europe. Includes full root-ca…
A fast, safe, and intuitive DataFrame library.
Library of the ##dependent distributed research support group
AJenbo / ghidra
Forked from NationalSecurityAgency/ghidraGhidra is a software reverse engineering (SRE) framework
Reconstructed source code for the Microprose game F-15 Strike Eagle 2 for MS-DOS
16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows
Reverse engineer and rewrite real mode DOS programs!
Solutions to the Advent of Code 2025. Using Agda.
Dafny is a verification-aware programming language
The Microsoft community Windows Package Manager manifest repository
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
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.
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Tricks you wish the Coq manual told you [maintainer=@tchajed]