Rewriting Principia Mathematica in Lean
☆137Feb 5, 2026Updated last month
Alternatives and similar repositories for principia
Users that are interested in principia are comparing it to the libraries listed below
Sorting:
- Transductive regular expressions☆254Sep 25, 2025Updated 5 months ago
- A simple Web Assembly Interpreter☆18Mar 15, 2024Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- Plasmid and primer design software☆134Dec 21, 2025Updated 2 months ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- The Gar Programming Language☆46Jan 1, 2026Updated 2 months ago
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 2 years ago
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆239Aug 8, 2025Updated 7 months ago
- ☆22Sep 8, 2024Updated last year
- A faster FaaS platform with full wasi-http compliance☆229Updated this week
- B-field implementation in Rust☆204Jun 24, 2025Updated 8 months ago
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- ☆136Aug 11, 2025Updated 6 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Apr 3, 2023Updated 2 years ago
- ☆200May 5, 2025Updated 10 months ago
- Decrypted Generative Model safety files for Apple Intelligence containing filters☆314Jan 26, 2026Updated last month
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Aug 29, 2015Updated 10 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Mission: Decentralize the Internet☆11Aug 24, 2023Updated 2 years ago
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆69Mar 30, 2025Updated 11 months ago
- a small, lightweight crate for numerical integration written in Rust.☆112Jul 28, 2025Updated 7 months ago
- The Principia Rewrite☆229Nov 24, 2025Updated 3 months ago
- A simplified subset of C transpiled into Web Assembly☆106Jan 29, 2022Updated 4 years ago
- Tensor library & inference framework for machine learning☆116Oct 3, 2025Updated 5 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.☆1,088Feb 16, 2026Updated 3 weeks ago
- Working examples in the Vale programming language☆14Mar 21, 2022Updated 3 years ago
- A Promise-like primitive which is lazy/cancelable, has typed errors, and emits synchronously☆42Feb 22, 2026Updated 2 weeks ago
- A Prettier plugin for formatting PGN files☆55Dec 31, 2024Updated last year
- Stuff your Na(a)N☆83Apr 26, 2025Updated 10 months ago
- Algebraic enhancements for GEMM & AI accelerators☆288Feb 28, 2025Updated last year
- A chrome extension to highlight trans erasure☆13Feb 14, 2025Updated last year
- A Markov Chain Generator In Scala☆13Apr 1, 2013Updated 12 years ago
- Documentation for srsRAN Project, an open-source 5G CU/DU solution.☆16Feb 23, 2026Updated 2 weeks ago
- ☆58Jun 20, 2025Updated 8 months ago
- A command line program to show a table of timezones☆14Apr 1, 2025Updated 11 months ago