Automatic textbook formalization of Grinberg Algebraic Combinatorics
☆18Jul 28, 2026Updated 3 months ago
Alternatives and similar repositories for algebraic-combinatorics
Users that are interested in algebraic-combinatorics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Research code base for Automatic Textbook Formalization☆162Mar 31, 2026Updated 7 months ago
- ☆23Sep 25, 2026Updated last month
- ☆53Updated this week
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Aug 31, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Updated this week
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Build structured Proof Blueprints with Verso☆37Oct 23, 2026Updated last week
- A tool to fill in the version ranges in a cabal file.☆16Jun 21, 2015Updated 11 years ago
- Software Consulting Legal Documents☆19Sep 3, 2025Updated last year
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆76Updated this week
- tattoo robot 🦾🖋️🎨☆12Aug 31, 2026Updated 2 months ago
- ☆13Oct 12, 2025Updated last year
- ☆32Mar 3, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆19Jul 15, 2024Updated 2 years ago
- Hyprland with Lua☆20May 13, 2026Updated 5 months ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- ☆19Oct 22, 2026Updated last week
- Explore the Julia and Mandelbrot Fractals☆11Mar 21, 2024Updated 2 years ago
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated last month
- ☆10Jan 13, 2024Updated 2 years ago
- WebAssembly-compiled JPEG XL command line tool for Node.js☆19Nov 10, 2022Updated 3 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Comparator-based Lean formal mathematics eval☆49Updated this week
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- ☕ Caffeinate your Mac — a tiny menu-bar app that keeps macOS awake. ~120 lines of Swift, zero deps, no kexts. Built locally because MDM b…☆17Jun 29, 2026Updated 4 months ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- DOOM compiled to a transformer☆14Aug 13, 2026Updated 2 months ago
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 7 years ago
- Bourbon is a population mapping model. Give it your target coordinates and dates, and it will return the corresponding population map.☆13Jan 22, 2026Updated 9 months 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.
- ☆13Sep 5, 2026Updated last month
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Hypergraph tools☆12Jul 3, 2026Updated 3 months ago
- Bluetooth timer for Smart Cubes☆15Aug 1, 2024Updated 2 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆11Jan 28, 2026Updated 9 months ago