Project to verify the Guy-Selfridge conjectures
☆24Jun 14, 2025Updated 8 months ago
Alternatives and similar repositories for erdos-guy-selfridge
Users that are interested in erdos-guy-selfridge are comparing it to the libraries listed below
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- Resources regarding evML (edge verified machine learning)☆22Jan 4, 2025Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆209Feb 10, 2026Updated 3 weeks ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 8 months ago
- ☆95Nov 12, 2023Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- ☆74May 31, 2025Updated 9 months ago
- Exponent pair database☆70Feb 2, 2026Updated last month
- ☆27Feb 3, 2026Updated last month
- DaisyUI cli for FastHTML projects☆27May 3, 2025Updated 10 months ago
- Formal representation and solving for Euclidean plane geometry problems.☆33Dec 19, 2025Updated 2 months ago
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated last year
- A comprehensive React Native starter template built with Expo. It includes reusable UI components, Poppins font setup, NativeWind, Fireba…☆23Updated this week
- A simple lightweight Model Context Protocol (MCP) server integration framework☆17Jan 23, 2026Updated last month
- Continuous integration (CI) tools for Julia package registries, including registry consistency testing, automatic merging (automerge) of …☆34Updated this week
- Fastest way to scaffold FastHTML applications.☆36Sep 13, 2025Updated 5 months ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Structured TRIZ prompt engineering for LLMs in an open, portable XML format – MIT licensed.☆16Nov 11, 2025Updated 3 months ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Updated this week
- AuraMatrix is personality analysis web which using llm to do evaluation. I have made this for Gyanotsav-2025 to show different ways to ut…☆11Dec 22, 2025Updated 2 months ago
- Code to automatically prove or verify estimates in analysis☆329Jul 1, 2025Updated 8 months ago
- ☆37Oct 29, 2024Updated last year
- ☆35Aug 10, 2025Updated 6 months ago
- TikZ illustrations, and graphical packages.☆17Feb 24, 2026Updated last week
- Glitch Gremlin AI☆15Apr 5, 2025Updated 11 months ago
- ☆11Oct 25, 2024Updated last year
- MAGELLAN: Metacognitive predictions of learning progress guide autotelic LLM agents in large goal spaces☆10Mar 24, 2025Updated 11 months ago
- CoachLint is your AI coding coach. It guides you through errors instead of just solving them for you.☆23Nov 20, 2025Updated 3 months ago
- VibEx (vx) is a developer-friendly CLI tool that streamlines the process of working with AI coding assistants. It helps developers prepar…☆28May 17, 2025Updated 9 months ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 6 months ago