Automatic textbook formalization of Grinberg Algebraic Combinatorics
☆17May 7, 2026Updated 2 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☆155Mar 31, 2026Updated 3 months ago
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆22Jun 5, 2026Updated last month
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- Comparator-based Lean formal mathematics eval☆28Jun 27, 2026Updated 3 weeks ago
- Some Lean proofs☆31Updated this week
- 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.
- Software Consulting Legal Documents☆19Sep 3, 2025Updated 10 months ago
- C# bindings for JPEG-XL library☆10May 17, 2024Updated 2 years ago
- ☆104Updated this week
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆19Jul 15, 2024Updated 2 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- An interface for GHC type-checking plugins☆22May 12, 2026Updated 2 months ago
- Keep your LLMs going brrrrrr...☆28Mar 27, 2026Updated 3 months ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years 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.
- Lean formalizations for the paper "On the paucity of lattice triangles"☆18Mar 26, 2026Updated 3 months ago
- ☆17Dec 3, 2023Updated 2 years ago
- Keep your laziness in check!☆36Feb 26, 2026Updated 4 months ago
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆12Jan 28, 2026Updated 5 months ago
- LEAN4 AUTO YOUTUBE LIVING☆71Jul 8, 2026Updated last week
- FX is a compiler, proof assistant and a programming language built on graded dependent type theory☆42Updated this week
- 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
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 2 years ago
- 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.
- Temporal Neural Networks☆30Mar 2, 2026Updated 4 months ago
- ☆76Apr 26, 2026Updated 2 months ago
- Tool to analyse the import structure of lean projects.☆22Updated 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
- RSNA 2024 Lumbar Spine Degenerative Classification 4th place solution☆11Oct 10, 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 10 months ago
- Training GPTs to solve interaction nets☆18Aug 14, 2024Updated last year
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated 4 months ago
- Uses TDA API in order to scrape data for implied volatility as well as option greeks.☆13Oct 4, 2024Updated 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.
- 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
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆16Updated this week
- Formalizing results about the Mandelbrot set in Lean☆30Dec 31, 2025Updated 6 months ago
- Lean formalizations of Putnam-like problems☆20Apr 22, 2026Updated 2 months ago
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 3 years ago