iblech/vortrag-wireshark
Using Wireshark to sharpen your safety awareness (slides in German)
Developer Profile
iblech
Discovered public repositories for iblech in the GitHub catalog.
iblech/talk-constructive-mathematics
Talks about constructive mathematics
iblech/solved-by-flexbox
A showcase of problems once hard or impossible to solve with CSS alone, now made trivially easy with Flexbox.
iblech/talk-hilbert-schemes
A one-parsec overview of the Hilbert scheme of points
iblech/fish-shell
The user-friendly command line shell.
iblech/haskell-brainfuck
Haskel brainfuck interpreter
iblech/matplotlib.github.com
Public repository.
iblech/libcasimir
The Casimir Effect in the plane-sphere geometry
iblech/modellkategorien
Exercise sheets for a course on Model Categories at the University of Augsburg
iblech/hackercouch
Pledge your couch to hackers!
iblech/tmux-tail-f
A tool to view tail multiple files using tmux
iblech/vortrag-jugend-hackt
Lightning talk on Jugend hackt (in German)
iblech/vortrag-sandstorm
Lightning talk on Sandstorm (in German)
iblech/wxHaskell
wxWidgets wrapper for Haskell
iblech/mathezirkel-kurs-1
Public repository.
iblech/ponify
implementation of ponypipe in Haskell
iblech/constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
iblech/satzung
Satzung des OpenLabs in LaTeX
iblech/hl
Haskell web site
iblech/augsburgpm.github.com
Public repository.
iblech/talk-homological-algebra
A quickstart guide to derived functors and spectral sequences
iblech/bangbangcon.github.io
Public repository.
iblech/rust
a safe, concurrent, practical language
iblech/talk-pugs-retrospective
A retrospective on Pugs, the experimental Perl 6 platform of 2005 and 2006
iblech/uni-spicker
Summaries of my university classes (in German)
iblech/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
iblech/svd-image-compression-demo
Public repository.
iblech/stacks-project
Repository for the Stacks Project
iblech/operational-transformation.github.com
Public repository.
iblech/mathematik-der-vorhersagen
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
iblech/higher-direct-images
Higher direct images of sheaves for dummies
iblech/vortrag-git
Kurzvortrag zu Git und GitHub am Januartreffen 2015 der LUGA
iblech/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
iblech/stacks-website
The website for the Stacks project
iblech/polygons-de
German translation of Parable of the Polygons
iblech/talk-hott
Introductory talk on homotopy type theory
iblech/sandstorm
Personal Cloud Sandbox
iblech/vortrag-typographie
Slides for a crash course on typography (in German)
iblech/vortrag-haskell
Slides for an introductory talk about Haskell (in German)
iblech/homologische-algebra
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
iblech/internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
iblech/number5
Secrets of the number five (in German)
iblech/mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
iblech/mathezirkel
Organization of the Augsburger Matheschülerzirkel
iblech/book
A textbook on informal homotopy type theory
iblech/pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany