iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of PadovaAugsburg, Germany
Pinned Repositories
agdapad
Agda as a collaborative multiplayer game
constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
hardlink-deduplication
Tiny Perl program to deduplicate files using hardlinks
internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
mathe-notizen
Random notes on mathematics (in German)
mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
scheme-theory-in-agda
A formalization of synthetic algebraic geometry in Agda
sshlatex
A collection of hacks to efficiently run LaTeX via ssh
vortrag-haskell
Slides for an introductory talk about Haskell (in German)
iblech's Repositories
iblech/internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
iblech/sshlatex
A collection of hacks to efficiently run LaTeX via ssh
iblech/agdapad
Agda as a collaborative multiplayer game
iblech/mathe-notizen
Random notes on mathematics (in German)
iblech/mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
iblech/constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
iblech/mathematik-der-vorhersagen
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
iblech/homologische-algebra
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
iblech/pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
iblech/4d-labyrinth
iblech/agda-categories
A new Categories library for Agda
iblech/agda-quotients
Examples of quotient types in Agda
iblech/agda-stdlib
The Agda standard library
iblech/beispielrepository
iblech/bits-und-baeume.org
bits-und-baueme.org
iblech/cinelerra-cv
This is the main branch of Cinelerra-CV. Cinelerra CV a advanced non-linear video editing and track-based compositing software for Linux.
iblech/CinelerraCV
Cinelerra is the most advanced non-linear video editor and compositor for Linux. See official repo at: https://github.com/cinelerra-cv-team/cinelerra-cv for current code!
iblech/cubical
An experimental library for Cubical Agda
iblech/Enigma
Enigma is a puzzle game inspired by Oxyd on the Atari ST and Rock'n'Roll on the Amiga. The object of the game is to find uncover pairs of identically colored Oxyd stones. Simple? Yes. Easy? Certainly not! Hidden traps, vast mazes, laser beams, and, most of all, countless hairy puzzles usually block your direct way to the Oxyd stones …
iblech/functional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions
iblech/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
iblech/llm-viz
3D Visualization of an GPT-style LLM
iblech/media
Qt Media Library Abstraction
iblech/nixpkgs
Nix Packages collection
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/thonny
Python IDE for beginners
iblech/voicy
@voicybot Telegram bot main repository
iblech/whitebophir
Online collaborative Whiteboard that is simple, free, easy to use and to deploy