Algebra Number Theory book
☆50Mar 2, 2022Updated 4 years ago
Alternatives and similar repositories for ant
Users that are interested in ant are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Mar 15, 2023Updated 2 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Command line editor, C api, readline replacement☆28Dec 23, 2024Updated last year
- Yet Another RPC for Go☆10Jun 21, 2018Updated 7 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 9 years ago
- Re-usable Go components and micro-frameworks☆33Nov 9, 2017Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆178Jan 18, 2026Updated last month
- Tools for managing the TeX sources of the Stacks project☆17Jun 8, 2024Updated last year
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- MirageOS tutorial notebooks using IOCaml☆16Nov 4, 2017Updated 8 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- ArangoDB Driver delivered as C-extension for PHP☆12May 4, 2018Updated 7 years ago
- Fork of http://godoc.org/code.google.com/p/gopacket☆14Jul 23, 2020Updated 5 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- A boilerplate Python API made with Flask used by Ceuma Group developers team.☆17Jul 29, 2022Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- Asymptote preprocessor☆17Feb 10, 2026Updated 3 weeks ago
- Exemplos para praticar TDD com Pytest☆13Jun 2, 2018Updated 7 years ago
- ☆17Sep 30, 2025Updated 5 months ago
- Super low overhead application level metrics☆24Oct 12, 2021Updated 4 years ago
- Notes on Diffy Qs, a textbook for differential equations☆79Jan 30, 2026Updated last month
- Brent's PhD thesis.☆69Apr 8, 2016Updated 9 years ago
- A SAT solver written in Haskell.☆39Oct 7, 2018Updated 7 years ago
- Open Source Precollege Algebra Textbook☆22Jul 31, 2025Updated 7 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Auto-linking for Mathematical Concepts for PlanetMath.org, Wikipedia, and beyond.☆19Aug 10, 2018Updated 7 years ago
- Repositório com materiais de estudo sobre programação funcional em geral ou programação funcional em diversas linguagens.☆16Jun 9, 2020Updated 5 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Go implementation of libhydrogen - a lightweight, easy-to-use crypto library☆24Mar 23, 2017Updated 8 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆52Oct 19, 2024Updated last year
- GeoGebra Discovery☆27Updated this week
- Library of crypto primitives for embedded systems☆25Jun 11, 2014Updated 11 years ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆23Apr 23, 2018Updated 7 years ago