A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.
☆50Mar 2, 2026Updated this week
Alternatives and similar repositories for Sphere-Packing-Lean
Users that are interested in Sphere-Packing-Lean are comparing it to the libraries listed below
Sorting:
- Data Science UCSB's management of GauchoCourses, a quarterly course planner that allows students to see possible schedule combinations fo…☆13Jan 31, 2024Updated 2 years ago
- Cangjie bindings for Dear ImGui☆14Mar 11, 2025Updated 11 months ago
- ☆14Feb 2, 2025Updated last year
- GoGaucho WebApp☆12Updated this week
- Automated liver NAFLD/NASH scoring☆13Aug 2, 2024Updated last year
- DemoHLM: From One Demonstration to Generalizable Humanoid Loco-Manipulation☆22Oct 14, 2025Updated 4 months ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 8 months ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆29Nov 28, 2025Updated 3 months ago
- Python library for solving reinforcement learning (RL) problems using generative models.☆11Feb 18, 2025Updated last year
- Python Library to Automate Form Filling☆16May 20, 2021Updated 4 years ago
- ☆11Oct 28, 2021Updated 4 years ago
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)☆13Jun 11, 2025Updated 8 months ago
- Find the fastest PIA server☆10May 2, 2021Updated 4 years ago
- A fast and accurate command line tool for extracting text from PDF files.☆19Oct 4, 2023Updated 2 years ago
- A State of the Art MIT-licensed PCB Autorouter☆26Updated this week
- Concept for tackling Computer vision syndrome by enforcing frequent eye blinks using a Dlib face detector and a CNN classifier trained on…☆15Feb 8, 2026Updated last month
- ☆11Mar 28, 2022Updated 3 years ago
- 2D physics JavaScript demos using Matter.js.☆13Oct 1, 2020Updated 5 years ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 3 months ago
- Central limit theorem in Lean☆15Updated this week
- world's stupidest moe llm in 103M parameters☆20Jul 18, 2025Updated 7 months ago
- Instantly share typst documents on git and other network storage.☆31Nov 8, 2025Updated 4 months ago
- ☆13Dec 29, 2023Updated 2 years ago
- Repo for Paper "OpenHA: A Series of Open-Source Hierarchical Agentic Models in Minecraft"☆24Feb 5, 2026Updated last month
- ☆26Jan 10, 2026Updated last month
- Program Specification in Lean 4☆22Jan 15, 2024Updated 2 years ago
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 3 months ago
- Code Release for floq: Training Critics via Flow-Matching for Scaling Compute In Value-Based RL☆31Feb 7, 2026Updated last month
- ☆50Updated this week
- In this Data science project I tried to create Jupyter notebooks for EDA and feature engineering of Advanced House Price Prediction Datas…☆19Apr 26, 2023Updated 2 years ago
- 👌[ICLR 2025] TFG-Flow: Training-free Guidance in Multimodal Generative Flow☆19Mar 4, 2025Updated last year
- Simplified Chinese translation of FMP☆16Jan 7, 2022Updated 4 years ago
- A curated list of awesome resources, tools, libraries, and projects for the Mistral AI ecosystem.☆37Jan 10, 2026Updated last month
- ☆21May 1, 2024Updated last year
- IPHYRE: Interactive Physical Reasoning, ICLR 2024☆19Oct 18, 2024Updated last year
- Space analysis tool on HarmonyOS / OpenHarmony!☆20Aug 3, 2025Updated 7 months ago
- I love game theory.☆18Dec 25, 2024Updated last year
- [ICLR 2025 Oral] OptionZero: A method for autonomously discovering and utilizing options in the MuZero algorithm☆23May 18, 2025Updated 9 months ago
- A pipecat bot demo implementation of a Spotify assistant for creating playlists☆19Oct 14, 2025Updated 4 months ago