Ingo Blechschmidt

icon indicating a website link https://www.ingo-blechschmidt.eu/ icon indicating an email [email protected]

icon company University of Padova icon location Augsburg, Germany icon location Mathematician working in applied topos theory. Also interested in functional programming.

Results 3 repositories owned by Ingo Blechschmidt

agdapad

27
Stars
4
Forks
Watchers

Agda as a collaborative multiplayer game

verified publisher icon iblech

internal-methods

50
Stars
3
Forks
Watchers

Notes on how to use the internal language of toposes in algebraic geometry

verified publisher icon iblech

sshlatex

36
Stars
4
Forks
Watchers

A collection of hacks to efficiently run LaTeX via ssh

verified publisher icon iblech