Let's translate works of Grothendieck
☆33Aug 13, 2019Updated 6 years ago
Alternatives and similar repositories for translate-SGAI
Users that are interested in translate-SGAI are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆383Oct 15, 2025Updated 4 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Dec 21, 2024Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- multilingual dictionary of mathematical terminology☆20Oct 18, 2025Updated 4 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Jul 30, 2025Updated 7 months ago
- some maths papers in English☆20Updated this week
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 3 weeks ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 5 years ago
- Schemes in Lean (v2)☆43Jul 30, 2020Updated 5 years ago
- A list of awesome number theory resources☆33Dec 31, 2022Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- 📊 📖 Authoritarian regimes and international NGOs☆16Aug 13, 2019Updated 6 years ago
- A repository for the Data Science Hackathon☆21Sep 24, 2015Updated 10 years ago
- Visualize videos, groundtruth annotations, and predictions☆18Oct 17, 2022Updated 3 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Sep 15, 2025Updated 5 months ago
- A digital archive of category theory papers.☆35Feb 5, 2026Updated last month
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆68Oct 12, 2024Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 5 years ago
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- An introductory course to Homotopy Type Theory☆376Jul 24, 2020Updated 5 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Formal Topology in Univalent Foundations (WIP).☆37Jul 29, 2022Updated 3 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 10 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Jun 7, 2018Updated 7 years ago
- An exhaustive collection of PICO-8 learning material, resources, and communities.☆11Jan 13, 2023Updated 3 years ago
- mgarch Package for R-Project☆16Apr 28, 2014Updated 11 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆94Apr 19, 2025Updated 10 months ago
- Xy-pic extension for MathJax version 3☆38Jun 10, 2022Updated 3 years ago
- Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext☆10Apr 9, 2019Updated 6 years ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago