ndrwnaguib / principiaView external linksLinks
Rewriting Principia Mathematica in Lean
☆138Feb 5, 2026Updated last week
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 4 months ago
- The Directed Acyclic Graph Elevation Markup Language☆80Apr 17, 2025Updated 10 months ago
- Operations on matrices, vectors, and quaternions☆125Jan 26, 2026Updated 3 weeks ago
- Plasmid and primer design software☆134Dec 21, 2025Updated last month
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- Financial instrument definitions built with Python and Pydantic☆197Feb 14, 2025Updated last year
- Bring back FPU emulation for i486SX CPU on NetBSD☆61May 4, 2025Updated 9 months ago
- The Gar Programming Language☆46Jan 1, 2026Updated last month
- Topological sort library in Zig☆97Dec 13, 2025Updated 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…☆231Aug 8, 2025Updated 6 months ago
- ☆22Sep 8, 2024Updated last year
- A faster FaaS platform with full wasi-http compliance☆229Oct 29, 2025Updated 3 months ago
- B-field implementation in Rust☆204Jun 24, 2025Updated 7 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
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Apr 3, 2023Updated 2 years ago
- ☆200May 5, 2025Updated 9 months ago
- Decrypted Generative Model safety files for Apple Intelligence containing filters☆311Jan 26, 2026Updated 3 weeks ago
- Mission: Decentralize the Internet☆11Aug 24, 2023Updated 2 years ago
- A Versatile and Open Source One- and Two-Photon Light-Sheet Microscope Design☆13Jul 27, 2023Updated 2 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Aug 29, 2015Updated 10 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- P.D. Magnus' forallx logic textbook☆69Mar 30, 2025Updated 10 months ago
- a small, lightweight crate for numerical integration written in Rust.☆112Jul 28, 2025Updated 6 months ago
- The Principia Rewrite☆229Nov 24, 2025Updated 2 months ago
- A simplified subset of C transpiled into Web Assembly☆106Jan 29, 2022Updated 4 years ago
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆270Apr 4, 2024Updated last year
- Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.☆1,079Updated this week
- Tensor library & inference framework for machine learning☆117Oct 3, 2025Updated 4 months ago
- Working examples in the Vale programming language☆14Mar 21, 2022Updated 3 years ago
- List files in categories (and columns) - from Coherent UNIX☆41Aug 21, 2020Updated 5 years ago
- A Prettier plugin for formatting PGN files☆55Dec 31, 2024Updated last year
- Stuff your Na(a)N☆83Apr 26, 2025Updated 9 months ago
- Algebraic enhancements for GEMM & AI accelerators☆287Feb 28, 2025Updated 11 months ago
- Documentation for srsRAN Project, an open-source 5G CU/DU solution.☆16Nov 6, 2025Updated 3 months ago