Ingo Blechschmidt's repositories
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)
constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
homologische-algebra
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
mathematik-der-vorhersagen
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
agda-categories
A new Categories library for Agda
agda-quotients
Examples of quotient types in Agda
agda-stdlib
The Agda standard library
bits-und-baeume.org
bits-und-baueme.org
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.
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!
cubical
An experimental library for Cubical Agda
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 …
functional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions
Generic
A library for doing generic programming in Agda
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
llm-viz
3D Visualization of an GPT-style LLM
nlab
Source code for the nLab
TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
thonny
Python IDE for beginners
whitebophir
Online collaborative Whiteboard that is simple, free, easy to use and to deploy