AxiomMath / fel-polynomialView external linksLinks
Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
☆30Feb 5, 2026Updated last week
Alternatives and similar repositories for fel-polynomial
Users that are interested in fel-polynomial are comparing it to the libraries listed below
Sorting:
- A real-time collaborative TeX editor☆19Feb 24, 2021Updated 4 years ago
- Runs Uiautomator2 on multiple ADB devices, and checks periodically checking each device's status☆12Mar 17, 2025Updated 10 months ago
- An interactive application for visualizing and understanding shortest path algorithms. It aids education, algorithm testing, and practica…☆17Jan 15, 2024Updated 2 years ago
- A web platform for school☆13Feb 6, 2026Updated last week
- ☆22Dec 3, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 3 weeks ago
- Identify and Alert people at risk of COVID-19 infection in REAL-TIME using raspberry-pi.☆11Aug 5, 2022Updated 3 years ago
- Mirrors the FHIR SVN repo (via git-svn)☆11Jan 21, 2021Updated 5 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 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
- Streamlit MongoDB Connector: An efficient connector for interfacing MongoDB with Streamlit apps, developed for the Streamlit Connections …☆11Dec 19, 2023Updated 2 years ago
- Using LLVM Clang on Windows with CMake☆10Dec 4, 2021Updated 4 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- Percentile-normalization method for correcting batch effects in case-control studies☆12Oct 26, 2019Updated 6 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Disposition clavier ergonomique Ergopti, optimisée pour l’écriture du français, de l’anglais et du code.☆12Updated this week
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- My notes about mathematics.☆19Feb 1, 2026Updated last week
- This is opencv project for drwaing in air☆15Nov 7, 2022Updated 3 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 11 years ago
- ☆14Jan 30, 2025Updated last year
- ☆20Feb 27, 2023Updated 2 years ago
- Graduate project using Android, OpenCV and TensorFlow to make visual impairment people see the world.☆11Dec 12, 2020Updated 5 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- Segmentación semantica usando MaskRCNN en imagenes y video☆14Nov 19, 2021Updated 4 years ago
- ☆13Jun 4, 2018Updated 7 years ago
- ☆11Aug 26, 2023Updated 2 years ago
- Nextstrain build for Zika virus☆10Dec 19, 2025Updated last month
- Code and notebooks for reproducing the method of "DIY hyperspectral imaging via polarization-induced spectral filters." Katherine Salesin…☆11Aug 1, 2022Updated 3 years ago
- A plugin for circuit notation☆12Aug 8, 2025Updated 6 months ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Sep 5, 2025Updated 5 months ago
- Codes sources du livre☆10Mar 13, 2019Updated 6 years ago
- ☆11Nov 25, 2020Updated 5 years ago
- ☆12Sep 25, 2025Updated 4 months ago
- Daylight Linux operating system for Raspberry Pi and computers☆12Jan 25, 2020Updated 6 years ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 6 years ago
- opencv_projects☆11Jan 24, 2021Updated 5 years ago