Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
☆36Feb 5, 2026Updated last month
Alternatives and similar repositories for fel-polynomial
Users that are interested in fel-polynomial are comparing it to the libraries listed below
Sorting:
- ☆14Updated this week
- ☆22Dec 3, 2024Updated last year
- [CVPR 2026] Official repo for "VideoSSR: Video Self-Supervised Reinforcement Learning"☆33Nov 11, 2025Updated 3 months ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- ☆14Jan 30, 2025Updated last year
- JavaScript knot drawing and identification tool☆10Jul 20, 2016Updated 9 years ago
- A hybrid quantum-classical neural network simulation platform. Quantum simulation uses QTensor, a state-of-the-art tensor network-based s…☆14Jun 27, 2023Updated 2 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- All-in-One Safety Evaluation Framwork☆41Feb 13, 2026Updated 3 weeks ago
- ☆10Oct 24, 2019Updated 6 years ago
- 在 Mirai Console 中使用MCL管理包和其他高级功能☆10Nov 13, 2022Updated 3 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 11 years ago
- Graduate project using Android, OpenCV and TensorFlow to make visual impairment people see the world.☆11Dec 12, 2020Updated 5 years ago
- Sorting algorithms with python.☆10Nov 4, 2019Updated 6 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- ☆20Feb 27, 2023Updated 3 years ago
- This is opencv project for drwaing in air☆15Nov 7, 2022Updated 3 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ☆12Feb 12, 2026Updated 3 weeks ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- [CVPR 2026] FocusUI: Efficient UI Grounding via Position-Preserving Visual Token Selection☆25Feb 10, 2026Updated 3 weeks ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 6 years ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿 数学研究中的潜在能力。☆17May 16, 2025Updated 9 months ago
- Official code repo for the paper "MemGUI-Bench: Benchmarking Memory of Mobile GUI Agents in Dynamic Environments"☆25Updated this week
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 5 years ago
- This project demonstrates a real-time delivery location tracking system similar to Zomato/Swiggy, built using Spring Boot and Apache Kafk…☆28Dec 4, 2025Updated 3 months ago
- ☆36Feb 12, 2026Updated 3 weeks ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- A hinter with snippeting for CodeMirror☆11Nov 17, 2020Updated 5 years ago
- Tools for managing the TeX sources of the Stacks project☆17Jun 8, 2024Updated last year
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- daVinci-Agency: Unlocking Long-Horizon Agency Data-Efficiently☆33Feb 4, 2026Updated last month
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- collab-dev - Collaboration Metrics for Code Reviews☆23May 12, 2025Updated 9 months ago