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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Directed Acyclic Graph Elevation Markup Language☆80Apr 17, 2025Updated 11 months ago
- Transductive regular expressions☆257Sep 25, 2025Updated 6 months ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- Operations on matrices, vectors, and quaternions☆126Feb 23, 2026Updated last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Financial instrument definitions built with Python and Pydantic☆197Feb 14, 2025Updated last year
- A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…☆244Aug 8, 2025Updated 7 months ago
- T1 Main Web Site☆14May 16, 2019Updated 6 years ago
- Topological sort library in Zig☆97Dec 13, 2025Updated 3 months ago
- A faster FaaS platform☆229Mar 21, 2026Updated last week
- ☆12Jul 4, 2025Updated 8 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- ☆200May 5, 2025Updated 10 months ago
- an MDA that sends a webhook on recieval of mail☆11Sep 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- B-field implementation in Rust☆205Jun 24, 2025Updated 9 months ago
- A simplified subset of C transpiled into Web Assembly☆107Jan 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
- The Gar Programming Language☆45Jan 1, 2026Updated 2 months ago
- a simple social media researcher built with vercels ai sdk☆42Aug 17, 2025Updated 7 months ago
- Optics via the profunctor representation theorem☆24Dec 6, 2024Updated last year
- Run larger LLMs with longer contexts on Apple Silicon by using differentiated precision for KV cache quantization. KVSplit enables 8-bit …☆362May 21, 2025Updated 10 months ago
- A simple Web Assembly Interpreter☆18Mar 15, 2024Updated 2 years ago
- a small, lightweight crate for numerical integration written in Rust.☆114Mar 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆12May 18, 2023Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆82Feb 25, 2026Updated last month
- A Promise-like primitive which is lazy, cancelable, has typed errors, and emits synchronously☆42Mar 19, 2026Updated last week
- ☆136Aug 11, 2025Updated 7 months ago
- Source code for the Mathematics in Lean tutorial.☆185Aug 20, 2025Updated 7 months ago
- Working examples in the Vale programming language☆14Mar 21, 2022Updated 4 years ago
- Decrypted Generative Model safety files for Apple Intelligence containing filters☆316Jan 26, 2026Updated 2 months ago
- CleverBee - The Open Source Deep Researcher Tool☆309Jan 31, 2026Updated 2 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Apr 3, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bring back FPU emulation for i486SX CPU on NetBSD☆61May 4, 2025Updated 10 months ago
- A Markov Chain Generator In Scala☆13Apr 1, 2013Updated 12 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- Imagine crafting elegant, semantic HTML structures without the clutter of angle brackets. Pretty Markup, a revolutionary preprocessor lik…☆24Jul 25, 2024Updated last year
- A compact and efficient binary messaging protocol designed for NFC☆20Sep 9, 2024Updated last year
- Modern declarative (React-like) Tcl/Tk interface for Python☆91May 5, 2025Updated 10 months ago
- LD_PRELOADable library for exploring the glibc heap☆108Mar 6, 2025Updated last year