(Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.
☆19Oct 4, 2026Updated 2 weeks ago
Alternatives and similar repositories for leandoom
Users that are interested in leandoom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A rust port of con-leche☆33Updated this week
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated 3 weeks ago
- Vermilion: Verus meets Lean☆60Updated this week
- Interactive course for learning to decompile GameCube PowerPC assembly into byte-matching C, graded live by the real Metrowerks CodeWarri…☆54Sep 23, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- ☆72Updated this week
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Making Mes.c M2-Planet friendly☆29May 25, 2022Updated 4 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆51Updated this week
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- Automated security audits with Claude Code☆57Aug 15, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 8 months ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- The Open Source PLAN Virtual Machine☆26Mar 18, 2026Updated 7 months ago
- BigchainDB ledger plugin for COALA IP☆16Nov 15, 2021Updated 4 years ago
- ☆39Sep 27, 2026Updated 3 weeks ago
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated 2 weeks ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a minimalistic rust actor framework☆24Jul 7, 2026Updated 3 months ago
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- An idris backend compiling to chez scheme☆48Sep 30, 2017Updated 9 years ago
- Automatically prove mathematical statements about your jax code in lean☆52Aug 6, 2026Updated 2 months ago
- C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)☆63Sep 21, 2026Updated 3 weeks ago
- ☆16May 10, 2017Updated 9 years ago
- A compiler for a relational programming language for the BEAM, written in OCaml☆25Oct 10, 2026Updated last week
- An implementation of a small subset of the Wolfram language in Haskell☆21Apr 19, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Shared memory queues (channels) in Odin☆13Aug 6, 2023Updated 3 years ago
- Python reference implementation for COALA IP☆27Nov 15, 2021Updated 4 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 7 months ago
- Lean Companion to Axler's Linear Algebra Done Right☆30Oct 11, 2026Updated last week
- Code samples inspiring language design☆23Feb 24, 2016Updated 10 years ago
- Synchronization primitives for both web and native.☆17Jan 19, 2024Updated 2 years ago
- A TOTP and HOTP library for zig.☆10Oct 5, 2026Updated 2 weeks ago