Automatic textbook formalization of Grinberg Algebraic Combinatorics
☆18Jul 28, 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☆161Mar 31, 2026Updated 6 months ago
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Aug 31, 2026Updated last month
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- Software Consulting Legal Documents☆19Sep 3, 2025Updated last year
- Some Lean proofs☆48Sep 15, 2026Updated 3 weeks 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.
- 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
- 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 last month
- Setting up a Haskell development environment with Nix☆20Sep 16, 2020Updated 6 years ago
- ☆239Updated this week
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated last month
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- 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.
- code for "EMS: 3D Eyebrow Modeling from Single-view Images"(SIGGRAPH Asia 2023)☆16May 3, 2025Updated last year
- Keep your laziness in check!☆39Feb 26, 2026Updated 7 months ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆27May 9, 2022Updated 4 years ago
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆11Jan 28, 2026Updated 8 months ago
- FX is a compiler, proof assistant and a programming language built on graded dependent type theory☆44Jul 21, 2026Updated 2 months ago
- Temporal Neural Networks☆30Mar 2, 2026Updated 7 months ago
- CSCS User Lab Day – Meet the Swiss National Supercomputing Centre☆14Sep 3, 2026Updated last month
- ☆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
- 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.
- Tool to analyse the import structure of lean projects.☆28Updated 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
- Training GPTs to solve interaction nets☆18Aug 14, 2024Updated 2 years ago
- Uses TDA API in order to scrape data for implied volatility as well as option greeks.☆13Oct 4, 2024Updated 2 years ago
- A curated collection of state-of-the-art Image Denoising research, tools, and datasets. 🌟 Star if you like it! 🌟☆17Sep 1, 2026Updated last month
- 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 last month
- ☆24Sep 28, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lean formalizations of Putnam-like problems☆21Aug 28, 2026Updated last month
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- The Noperthedron does not have Rupert Property: a proof in Lean4☆19Updated this week
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆41Mar 9, 2026Updated 7 months ago
- The Student Cluster Guide, tutorial 2 of ETH's Digital Humans 2024 course.☆12Apr 23, 2026Updated 5 months ago