iblech/internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
Mathematician working in applied topos theory. Also interested in functional programming.
Repositories
iblech/lets-play-agda
An interactive Agda tutorial
iblech/mathe-notizen
Random notes on mathematics (in German)
iblech/agdapad
Agda as a collaborative multiplayer game
iblech/hosts
🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
iblech/pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
iblech/mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
iblech/algebraische-zahlentheorie
Exercise sheets for a one-semester course on Algebraic Number Theory
iblech/NFCPlayer
Android app to play music in reaction to NFC tags
iblech/QXlsx
Excel file(*.xlsx) reader/writer library using Qt. Descendant of QtXlsxWriter.
iblech/constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
iblech/nixwrap
Easy Application Sandboxing on NixOS
iblech/MSPweb
being the shared sources and generated html for the MSP website
iblech/mathematik-der-vorhersagen
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
iblech/gaperez64.github.io
iblech/autopiper
iblech/scheme-theory-in-agda
A formalization of synthetic algebraic geometry in Agda
iblech/sshlatex
A collection of hacks to efficiently run LaTeX via ssh
iblech/danielwessel.github.io
iblech/talk-homological-algebra
A quickstart guide to derived functors and spectral sequences
iblech/beispielrepository
iblech/TiddlyWiki5
A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.
iblech/cubical
An experimental library for Cubical Agda
iblech/nlab
Source code for the nLab
iblech/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
iblech/4d-labyrinth
iblech/talk-constructive-mathematics
Talks about constructive mathematics
iblech/llm-viz
3D Visualization of an GPT-style LLM
iblech/bits-und-baeume.org
bits-und-baueme.org