Projects in Awesome Lists by iblech
A curated list of projects in awesome lists by iblech .
https://github.com/iblech/internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
algebraic-geometry categorical-logic mathematics sheaf-theory topos-theory
Last synced: 02 Mar 2025
https://github.com/iblech/sshlatex
A collection of hacks to efficiently run LaTeX via ssh
Last synced: 06 May 2025
https://github.com/iblech/scheme-theory-in-agda
A formalization of synthetic algebraic geometry in Agda
Last synced: 02 Mar 2025
https://github.com/iblech/mathe-notizen
Random notes on mathematics (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-haskell
Slides for an introductory talk about Haskell (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Last synced: 02 Mar 2025
https://github.com/iblech/constructive-algebra
Haskell library for dealing with algebraic numbers and Galois groups
Last synced: 02 Mar 2025
https://github.com/iblech/mathematik-der-vorhersagen
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
Last synced: 06 May 2025
https://github.com/iblech/talk-physics-of-sounds
The physics of sounds: experiments with basic Linux tools
Last synced: 02 Mar 2025
https://github.com/iblech/talk-constructive-mathematics
Talks about constructive mathematics
Last synced: 02 Mar 2025
https://github.com/iblech/hardlink-deduplication
Tiny Perl program to deduplicate files using hardlinks
Last synced: 02 Mar 2025
https://github.com/iblech/homologische-algebra
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
Last synced: 02 Mar 2025
https://github.com/iblech/latex2png
A short shell script to compile LaTeX sources to cropped PNG images
Last synced: 02 Mar 2025
https://github.com/iblech/talk-hott
Introductory talk on homotopy type theory
Last synced: 02 Mar 2025
https://github.com/iblech/talk-pugs-retrospective
A retrospective on Pugs, the experimental Perl 6 platform of 2005 and 2006
Last synced: 02 Mar 2025
https://github.com/iblech/modellkategorien
Exercise sheets for a course on Model Categories at the University of Augsburg
Last synced: 02 Mar 2025
https://github.com/iblech/algebraische-zahlentheorie
Exercise sheets for a one-semester course on Algebraic Number Theory
Last synced: 02 Mar 2025
https://github.com/iblech/zufall-als-ressource
Wenn die Sonne über Monte-Carlo scheint: wie mathematische Zufallsmethoden Simulationen physikalischer Naturphänomene ermöglichen (notes for a German math course)
Last synced: 02 Mar 2025
https://github.com/iblech/mathezirkel
Organization of the Augsburger Matheschülerzirkel
Last synced: 02 Mar 2025
https://github.com/iblech/pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
Last synced: 02 Mar 2025
https://github.com/iblech/talk-homological-algebra
A quickstart guide to derived functors and spectral sequences
Last synced: 02 Mar 2025
https://github.com/iblech/algebra
Exercise sheets for several courses on Algebra
Last synced: 02 Mar 2025
https://github.com/iblech/instiki-cli
Tiny tool to edit Instiki wikis locally
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-typographie
Slides for a crash course on typography (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/higher-direct-images
Higher direct images of sheaves for dummies
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-git
Kurzvortrag zu Git und GitHub am Januartreffen 2015 der LUGA
Last synced: 02 Mar 2025
https://github.com/iblech/talk-hilbert-schemes
A one-parsec overview of the Hilbert scheme of points
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-sandstorm
Lightning talk on Sandstorm (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-wireshark
Using Wireshark to sharpen your safety awareness (slides in German)
Last synced: 02 Mar 2025
https://github.com/iblech/wie-ward-licht
Wie ward Licht? Mathematische Simulationen physikalischer Systeme (notes for a German math course)
Last synced: 02 Mar 2025
https://github.com/iblech/vortrag-jugend-hackt
Lightning talk on Jugend hackt (in German)
Last synced: 02 Mar 2025
https://github.com/iblech/scheme-programming-course
Notes for a two-week course on Scheme (in German)
Last synced: 02 Mar 2025