teorth / erdos-guy-selfridgeView external linksLinks
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
- Topos theory in Lean 4☆16Feb 10, 2025Updated last year
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 10 months ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 4 years ago
- Resources regarding evML (edge verified machine learning)☆21Jan 4, 2025Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆206Updated this week
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆25Jul 4, 2025Updated 7 months ago
- ☆95Nov 12, 2023Updated 2 years ago
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- ☆73May 31, 2025Updated 8 months ago
- Exponent pair database☆70Feb 2, 2026Updated last week
- Formal representation and solving for Euclidean plane geometry problems.☆32Dec 19, 2025Updated last month
- ☆27Feb 3, 2026Updated last week
- A simple lightweight Model Context Protocol (MCP) server integration framework☆17Jan 23, 2026Updated 3 weeks ago
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated 11 months ago
- Fastest way to scaffold FastHTML applications.☆35Sep 13, 2025Updated 5 months ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- Continuous integration (CI) tools for Julia package registries, including registry consistency testing, automatic merging (automerge) of …☆34Jan 26, 2026Updated 2 weeks ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years 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 last month
- Structured TRIZ prompt engineering for LLMs in an open, portable XML format – MIT licensed.☆14Nov 11, 2025Updated 3 months ago
- Code to automatically prove or verify estimates in analysis☆326Jul 1, 2025Updated 7 months ago
- ☆36Oct 29, 2024Updated last year
- ☆35Aug 10, 2025Updated 6 months ago
- MAGELLAN: Metacognitive predictions of learning progress guide autotelic LLM agents in large goal spaces☆10Mar 24, 2025Updated 10 months ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years 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 8 months ago
- CoachLint is your AI coding coach. It guides you through errors instead of just solving them for you.☆23Nov 20, 2025Updated 2 months ago
- ☆11Oct 25, 2024Updated last year
- Glitch Gremlin AI☆15Apr 5, 2025Updated 10 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 5 months ago
- Shakey OS Mobile AI Framework for React Native allowing people to build React Native apps for IOS and Android with AI tooling and wallet …☆28Feb 3, 2025Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- IBM watsonx Code Assistant for Red Hat Ansible Lightspeed demystifies the process of Ansible Playbook creation through generative AI-powe…☆19Sep 18, 2025Updated 4 months ago
- A powerful AI prompt engineering tool that transforms simple instructions into detailed, context-rich prompts using Google's Gemini Pro t…☆15Aug 28, 2025Updated 5 months ago