frosch03/CongressChecklist
A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.
Developer Profile
frosch03
Discovered public repositories for frosch03 in the GitHub catalog.
frosch03/Nutri
A littel library to calculate with the macro-nutritients of various foods
frosch03/xmonad-configuration
my .xmonad/* configuration file
frosch03/ImageProcessingComplex
simple functional library for image processing (morphological)
frosch03/ProgrammingContest2013
our Public repository for the ICFP Programming Contest of the Year 2013
frosch03/diss
Public repository.
frosch03/trainit
little couchdb app to track training results (weight training)
frosch03/AoE2ResSim
an AoE2 Resources Simulator that plots out charts which show the resources
frosch03/flylatex
FlyLatex: A Real time collaborative Environment (with a concurrent editor and compiler) in node-js.
frosch03/Hahjong
little Haskell Mahjong engine
frosch03/VectorArrows-Agda
Experiments in defining an Arrow-Like interface for fixed-size-Vectors in Agda
frosch03/frosch03.github.com
Blog Repository
frosch03/Hardware-Modeling-with-Arrows2
Public repository.
frosch03/ircnest
Public repository.
frosch03/VArrows
Vector Arrows (instead of Tuple Arrows)
frosch03/arrowVHDL
ArrowVHDL: A library to generate Netlist code from Arrow descriptions.
frosch03/demo_app
just testing
frosch03/gps2pln
Converts a tab-seperated gps waypoint file into a .pln file, readable by Microsoft Flight Simulator X
frosch03/frogblog
Yet another blogging tool written in Haskel
frosch03/happstack-auth
An auth module to provide drop-in session capability with Happstack.
frosch03/happstackBlog
A simple bloggin software for my website