jmoellermath / translate-SGAIView external linksLinks
Let's translate works of Grothendieck
☆32Aug 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.☆379Oct 15, 2025Updated 4 months ago
- An English translation of Deligne's three "Hodge theory" papers☆14Feb 7, 2026Updated last week
- 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 3 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Jul 30, 2025Updated 6 months ago
- some maths papers in English☆19Feb 7, 2026Updated last week
- All the math/tex files for the Automorphic Project☆19Updated this week
- 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
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- A list of awesome number theory resources☆33Dec 31, 2022Updated 3 years ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Dec 17, 2025Updated last month
- 📊 📖 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
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 5 years ago
- L-Functions and Modular Forms Database☆282Feb 7, 2026Updated last week
- Finite fields for Julia☆50Nov 7, 2025Updated 3 months ago
- ☆22Jan 29, 2021Updated 5 years ago
- A digital archive of category theory papers.☆34Feb 5, 2026Updated last week
- 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☆67Oct 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…☆31Aug 11, 2025Updated 6 months ago
- Reading List of Reinforcement Learning for NLP☆31Mar 6, 2018Updated 7 years ago
- 2017 QuantEcon PhD Workshops on Computational Economics☆27Sep 14, 2017Updated 8 years 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
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆88Feb 5, 2026Updated last week
- 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).☆36Jul 29, 2022Updated 3 years ago
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 9 years ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- Patches and scripts to remove ads, cryptocurrency and phone-ing home from Brave Browser☆11Aug 17, 2024Updated last year