LLM-driven property checker for code, backed by Lean 4 and Mathlib
☆23Apr 15, 2026Updated 3 months ago
Alternatives and similar repositories for formal
Users that are interested in formal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient sampling with uniform probability☆32Jun 16, 2022Updated 4 years ago
- tools and benchmarks for verified coding☆27Jun 5, 2026Updated last month
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- The open-source AI agent OS. CEO orchestrator, persistent memory, real execution, atomic budgets. Self-hosted. No cloud lock-in.☆33Jun 29, 2026Updated last month
- A course on TypeScript async await fundamentals☆10Jul 16, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My Agda stuff☆13Updated this week
- Multitouch gestures on X11, Linux☆10Nov 22, 2015Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 years ago
- ☆20Jan 3, 2026Updated 7 months ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Promise wrapper for easy error handling without try-catch 💯🔥☆16Jan 3, 2023Updated 3 years ago
- PHP components for Pupper☆14Dec 20, 2017Updated 8 years 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.
- Proxy for angular http service. Schedules request send in service-worker and/or IndexedDB.☆10Nov 11, 2017Updated 8 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 9 years ago
- A unified CLI for managing AI coding assistant configurations across platforms.☆16Updated this week
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- ☆12May 7, 2023Updated 3 years ago
- the enlightened pager. less paging. more content. read widely.☆22Mar 23, 2020Updated 6 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 10 months ago
- Macros for using smol-rs☆18Mar 2, 2026Updated 5 months ago
- Molecular computers with interaction combinators like graph rewrite systems☆17Nov 9, 2022Updated 3 years ago
- Event Modifiers for Angular Applications https://netbasal.com/implementing-event-modifiers-in-angular-87e1a07969ce☆15Oct 27, 2017Updated 8 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- 🥤 Minimal agent skills grounded in the suckless philosophy☆18Apr 6, 2026Updated 3 months ago
- Patches to improve the behavior of the audio system on the Lenovo Thinkpad X1 Carbon 7th gen☆11Jan 4, 2021Updated 5 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 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.
- A gridstack component for Angular2+☆11Nov 23, 2017Updated 8 years ago
- ☆16Jan 3, 2025Updated last year
- A small C++17 library inspired by Category Theory.☆17Jan 4, 2023Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- A newtype wrapper that causes Debug impls to skip a field.☆21Apr 5, 2026Updated 3 months ago