Automatic textbook formalization of Grinberg Algebraic Combinatorics
☆18Jul 28, 2026Updated last month
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 5 months ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆25Updated this week
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Aug 31, 2026Updated 3 weeks ago
- Comparator-based Lean formal mathematics eval☆46Updated this week
- Some Lean proofs☆45Updated this week
- 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.
- Software Consulting Legal Documents☆19Sep 3, 2025Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 7 years ago
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆18Jul 15, 2024Updated 2 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated 2 weeks ago
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last week
- ☆17Dec 3, 2023Updated 2 years ago
- code for "EMS: 3D Eyebrow Modeling from Single-view Images"(SIGGRAPH Asia 2023)☆16May 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆12Jan 28, 2026Updated 7 months ago
- LEAN4 AUTO YOUTUBE LIVING☆71Aug 28, 2026Updated 3 weeks ago
- Demystify AI concepts: hand-solved problems translated into code for clarity.☆13Oct 7, 2024Updated last year
- This is the implementation of the 4th place solution (yu4u's part) for RSNA 2024 Lumbar Spine Degenerative Classification at Kaggle.☆10Oct 11, 2024Updated last year
- Temporal Neural Networks☆30Mar 2, 2026Updated 6 months ago
- ☆20Aug 10, 2022Updated 4 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 5 years ago
- Tool to analyse the import structure of lean projects.☆26Updated this week
- This Keras code is for the paper A. Jamali, Ali and Roy, Swalpa Kumar and Hong, Danfeng and Atkinson, Peter M and Ghamisi, Pedram, "[Spat…☆11Jan 22, 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.
- RSNA 2024 Lumbar Spine Degenerative Classification 4th place solution☆10Oct 10, 2024Updated last year
- A python framework to streamline your ARC challenge solutions. From graphical displays to optimized Kaggle submissions☆13Oct 17, 2024Updated last year
- An advanced Omniverse Isaac Sim extension for dynamic management and real-time animation of scene lighting, enabling more flexible, inter…☆15Aug 29, 2025Updated last year
- Uses TDA API in order to scrape data for implied volatility as well as option greeks.☆13Oct 4, 2024Updated last year
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Problems and Results of IWLS 2022 Programming Contest☆24Apr 12, 2025Updated last year
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Aug 27, 2026Updated 3 weeks ago
- Lean formalizations of Putnam-like problems☆21Aug 28, 2026Updated 3 weeks ago
- Evalution: evolve your LLMs with better evals.☆16Sep 8, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Noperthedron does not have Rupert Property: a proof in Lean4☆18Updated this week
- ☆11Jun 10, 2026Updated 3 months ago
- The Student Cluster Guide, tutorial 2 of ETH's Digital Humans 2024 course.☆12Apr 23, 2026Updated 4 months ago
- ☆14Mar 22, 2024Updated 2 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- CS50's Introduction to Artificial Intelligence with Python - Notes, Quizzes, Problem Sets, and Project Solutions☆20Sep 3, 2024Updated 2 years ago
- ☆13Jun 4, 2018Updated 8 years ago