Lean 4 attempt at Kevin Buzzard's Jacobian Challenge (Apr 2026)
☆16Oct 30, 2026Updated 2 weeks ago
Alternatives and similar repositories for jacobian-challenge
Users that are interested in jacobian-challenge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenAI construction of pure Yang-Mills obtained 10/28/2026☆73Nov 5, 2026Updated last week
- Online Lean Workbench☆12Updated this week
- Tools for writing good AI generated papers☆17Oct 24, 2026Updated 3 weeks ago
- AI tools for Physlib☆13Aug 12, 2026Updated 3 months ago
- Hydro controller☆11Apr 21, 2024Updated 2 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.
- JavaScript based IoT automation framework for PLCs, ESPHome, Home Assistant and other IoT devices☆10Nov 7, 2026Updated last week
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- C++ API/SDK for Lifx bulbs☆10Mar 14, 2014Updated 12 years ago
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 3 weeks ago
- TransitionListener is a python code for computing the gravitational wave background produced in cosmological phase transitions.☆15Updated this week
- Continuous benchmarking☆19Jan 23, 2026Updated 9 months ago
- ☆16Nov 3, 2026Updated last week
- Provides a node for controlling Gree HVAC (Heating, ventilation, and air conditioning).☆18Jan 21, 2026Updated 9 months ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆293Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆55Updated this week
- Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!☆14Nov 6, 2026Updated last week
- Repurpose object literals.☆14Jun 20, 2019Updated 7 years ago
- Try a tactic at each step in a Lean proof.☆40Oct 13, 2026Updated last month
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Oct 16, 2026Updated 3 weeks ago
- Transformer based region discovery in spatial transcriptomics datasets☆20Updated this week
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Oct 30, 2026Updated 2 weeks ago
- Functional Reactive Programming implementation for Rust☆12Feb 16, 2013Updated 13 years ago
- Triangular mesh generation and manipulation☆13Jul 3, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Real-time streaming speech translator: translations appear and self-revise while the speaker is still mid-sentence. Runs local models (Qw…☆24Updated this week
- Cicada 3301 2016☆10Jan 6, 2016Updated 10 years ago
- ☆61Updated this week
- Graphite layout for the Moonlander keyboard☆12Oct 19, 2023Updated 3 years ago
- A workshop full of programs in various states of disrepair and in somes cases, distress☆10May 2, 2026Updated 6 months ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆14Sep 23, 2021Updated 5 years ago
- Holochain bindings for Bucklescript.☆10Jan 2, 2019Updated 7 years ago
- "an outbreak of public anger or excitement" (about OCaml)☆12Nov 14, 2017Updated 9 years ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Node-RED backend implementation for the NSPanel Lovelace UI firmware.☆18Jul 13, 2025Updated last year
- 🚧A WIP hobbyist game engine written in modern C++☆13Nov 5, 2026Updated last week
- Mathematica package for evaluation of the bounce action with multiple scalar fields☆22May 4, 2020Updated 6 years ago
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- PhaseTracer is a C++14 software package for tracing cosmological phases, finding potential phase transitions, computing the bounce action…☆22Updated this week
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆32Updated this week
Are these results useful?