Random notes on mathematics (in German)
☆12Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for mathe-notizen
Users that are interested in mathe-notizen are comparing it to the libraries listed below
Sorting:
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Feb 13, 2026Updated 3 weeks ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- ☆10May 3, 2017Updated 8 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- ☆87Sep 7, 2017Updated 8 years ago
- Work in progress on semi-simplicial types☆23Dec 15, 2022Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years ago
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- LaTeX preprocessor☆78May 7, 2015Updated 10 years ago
- Implementation of Nuprl's type theory in Coq☆46Feb 25, 2026Updated last week
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- OpenStreetMap Semantic Network, extracted from the OpenStreetMap wiki website. The network is available in RDF.☆32Sep 25, 2014Updated 11 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- ☆32May 27, 2018Updated 7 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- ☆13Jun 26, 2025Updated 8 months ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Indexing/curating/documenting Siri Shortcuts on RoutineHub.☆13Oct 29, 2022Updated 3 years ago
- A Pythonista utility (meant to be put in the action menu) that allows you to add a home screen icon for any script☆11Dec 22, 2014Updated 11 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Assignments for the cryptography engineering course☆12Dec 17, 2013Updated 12 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Peter Taylor research☆10Jul 18, 2015Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 11 months ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago