Starred repositories
A modern Python package for simulating and visualizing orbital dynamics with both classical Newtonian and relativistic physics. This package provides tools to simulate planetary or satellite orbits…
Animated simulation of Mercury, Venus, Earth, and Mars orbiting the Sun using Python, NumPy, and Matplotlib.
Wii archive containing WADs including official, unofficial and system IOS/menu, Exploits, Homebrew Apps, DevKit, and more.
Automatic textbook formalization of Grinberg Algebraic Combinatorics
Snes9x - Portable Super Nintendo Entertainment System (TM) emulator
High-performance Python runtime extensions
Supplementary Material for "Q: A Sound Verification Framework for Statecharts and their Implementations" paper in Formal Techniques for Safety-Critical Systems
Old Clowdr versions 1 & 2 from 2020
Property-based testing for web and terminal UIs
Moved to Codeberg; this is a temporary convenience mirror
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
F. William Lawvere, Andrée Ehresmann, and Grothendieck
7
Updated Jan 6, 2025
Takum arithmetic C99 reference implementation
Minimal implementations for dependent type checking and elaboration
A collection of lock-free data structures written in standard C++11