Johan's clone of the cring repository from http://cring.adeel.ru/
☆30Aug 16, 2013Updated 12 years ago
Alternatives and similar repositories for cring
Users that are interested in cring are comparing it to the libraries listed below
Sorting:
- Macaulay2 web app with support for KaTeX and HTML output☆21Jan 24, 2026Updated last month
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 5 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Tools for managing the TeX sources of the Stacks project☆17Jun 8, 2024Updated last year
- collaboration on work in progress☆15Mar 4, 2011Updated 14 years ago
- My animations for my videos☆11Jan 26, 2019Updated 7 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆20Jan 29, 2026Updated last month
- amateur translation project of Grothendieck's EGA.☆381Oct 15, 2025Updated 4 months ago
- Repository for the Stacks Project☆996Jan 30, 2026Updated last month
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Sep 15, 2022Updated 3 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆410Updated this week
- Notes on how to use the internal language of toposes in algebraic geometry☆60Feb 13, 2026Updated 2 weeks ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Nov 4, 2021Updated 4 years ago
- ☆25May 23, 2022Updated 3 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆26Dec 27, 2023Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 5 years ago
- ☆18Jan 22, 2026Updated last month
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 4 years ago
- A Mathematica package for solving Riemann–Hilbert problems numerically☆30Jul 23, 2019Updated 6 years ago
- Schemes in Lean (v2)☆43Jul 30, 2020Updated 5 years ago
- ☆34Jul 14, 2023Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- A database app for ring theory☆22Feb 22, 2026Updated last week
- GLUT Kleinian group visualizer☆28Mar 5, 2014Updated 11 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆68Updated this week
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Dec 21, 2024Updated last year
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- Lean web editor☆132Jan 6, 2026Updated last month
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- A parser for Wolfram Mathematica's Graphics3D functions (written in JS)☆30Jan 13, 2026Updated last month
- A useful type for working with integers modulo some constant.☆30Jun 8, 2023Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆33Jan 13, 2024Updated 2 years ago