iblech / mathe-notizenView external linksLinks
Random notes on mathematics (in German)
☆12Dec 9, 2025Updated 2 months 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☆13Jan 26, 2023Updated 3 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 3 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- ☆10May 3, 2017Updated 8 years ago
- LaTeX preprocessor☆78May 7, 2015Updated 10 years ago
- Work in progress on semi-simplicial types☆23Dec 15, 2022Updated 3 years ago
- Linear Logic for Constructive Mathematics, in Agda☆18Jul 7, 2019Updated 6 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- Implementation of Nuprl's type theory in Coq☆46Dec 3, 2024Updated last year
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Mar 12, 2017Updated 8 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- OpenStreetMap Semantic Network, extracted from the OpenStreetMap wiki website. The network is available in RDF.☆32Sep 25, 2014Updated 11 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 11 months ago
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆13Jun 26, 2025Updated 7 months ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 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
- Peter Taylor research☆10Jul 18, 2015Updated 10 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 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
- Klasa XeLaTeXa do pracy mgr (adaptacja klasy wzmgr T. Przechlewskiego)☆15May 23, 2019Updated 6 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Apr 5, 2025Updated 10 months ago
- Introduction to algebraic effects and handlers☆100Jul 21, 2018Updated 7 years ago
- ☆50May 15, 2023Updated 2 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆40Feb 3, 2023Updated 3 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Provides an API for working with Taskpaper formatted documents in Python.☆30Mar 17, 2011Updated 14 years ago
- A prototype of Mio — modular DAW for live coding, live performance and composing.☆13Jan 12, 2021Updated 5 years ago