Tag-based webview of LaTeX documents
☆32Jan 28, 2024Updated 2 years ago
Alternatives and similar repositories for gerby-website
Users that are interested in gerby-website are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- some maths papers in English☆20Mar 9, 2026Updated last month
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 2 months ago
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repository for the Stacks Project☆1,003Jan 30, 2026Updated 2 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated 8 months ago
- multilingual dictionary of mathematical terminology☆21Mar 30, 2026Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆47Mar 30, 2026Updated 2 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆31Apr 6, 2026Updated last week
- ☆17Jul 26, 2020Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Random notes on mathematics (in German)☆12Apr 12, 2026Updated last week
- Övningar och uppgifter från Programmering 1 - Python - 3:e upplagans lärobok och arbetsbok☆17Apr 11, 2021Updated 5 years ago
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated last year
- Chinese Checkers Haskell library, GUI application and Telegram bot☆16Jul 4, 2025Updated 9 months ago
- GLUT Kleinian group visualizer☆28Mar 5, 2014Updated 12 years ago
- Commutative diagrams with TikZ☆55Sep 24, 2022Updated 3 years ago
- A code to evolve matter on curved spacetimes with an analytic time and space dependence, e.g. black holes☆12Jan 20, 2025Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆129Jul 9, 2024Updated last year
- Math-themed single-serving site☆45Jun 20, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Dec 21, 2024Updated last year
- Archived materials related to Homotopy Type Theory.☆12Apr 24, 2012Updated 13 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆69Oct 12, 2024Updated last year
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆32Nov 28, 2025Updated 4 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆11May 11, 2016Updated 9 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 6 years ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A database of small finite categories☆14Jan 10, 2024Updated 2 years ago
- A Perl 6 Implementation☆21Mar 5, 2012Updated 14 years ago
- The LGMRES algorithm (C++ with Python bindings): matches SciPy's implementation to machine precision, but around 30 times faster☆10May 2, 2018Updated 7 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- Riemann sum graphs in Typst with CeTZ☆22Sep 18, 2025Updated 7 months ago
- ☆10Feb 17, 2026Updated 2 months ago
- The dread tikzmark arrives on github☆15Mar 31, 2026Updated 2 weeks ago