quaestor

Pinned Repositories

fjmap
Visualisation of climbable rock in the Frankenjura
Language:R1 3 00
Graphs
Language:Haskell10
Haskell-SS2011
Funktionale Programmierung mit Haskell, Übungen SS2011
Language:Haskell1 4 00
KompAlg
1 4 00
Krypto
Kryptographie und Gitter WS2010/11
Language:Python1 4 00
KS-WS2011
Language:Java1 3 00
RandAlg-SS2011
Randomisierte Algorithmen SS2011
1 3 00
shader-inc
Everything looks better with Glow!
Language:Objective-C1 4 00
Sprachverarbeitung
Language:Python1 3 00

quaestor's Repositories

quaestor/fjmap
Visualisation of climbable rock in the Frankenjura
Language:R1 3 00
quaestor/Graphs
Language:Haskell10
quaestor/Haskell-SS2011
Funktionale Programmierung mit Haskell, Übungen SS2011
Language:Haskell1 4 00
quaestor/KompAlg
1 4 00
quaestor/Krypto
Kryptographie und Gitter WS2010/11
Language:Python1 4 00
quaestor/KS-WS2011
Language:Java1 3 00
quaestor/RandAlg-SS2011
Randomisierte Algorithmen SS2011
1 3 00
quaestor/shader-inc
Everything looks better with Glow!
Language:Objective-C1 4 00
quaestor/Sprachverarbeitung
Language:Python1 3 00
quaestor/applied-fp-course
Language:Haskell
quaestor/categories
Categories parametrized by morphism equality, in Agda
Language:Agda3 0
quaestor/COD1
Codierung und Information Wintersemester 2009/2010
quaestor/COD2
Quantencomputing und Quanteninformation Sommersemester 2010
quaestor/doom-emacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp2 0
quaestor/mu4e-column-faces
Language:Emacs Lisp1 0
quaestor/nixpkgs
Nix Packages collection
quaestor/ontosweb
OntoSWeb
quaestor/org-html-themes
How to export Org mode files into awesome HTML in 2 minutes
Language:CSS2 0
quaestor/tfbook