There are no reviews yet. Be the first to send feedback to the community and the maintainers!
quantities
Type-safe physical computations and unit conversions in Idris β π‘ β² π πsvd-image-compression-demo
Demonstration of low rank matrix approximations via singular value decompositionsketchup-threejs
[OBSOLETE] Export your Google SketchUp models to web page using three.jsaeson-schema
[OBSOLETE] Haskell JSON schema validator and parser generatoruni-spicker
Summaries of my university courses (in German)tlpi-exercises
My solutions to the problems in "The Linux Programming Interface"halma
Chinese Checkers Haskell library, GUI application and Telegram botnode-ardrone-web
A web interface to control your Parrot AR.Dronediagrams-rubiks-cube
Haskell library for drawing the Rubik's Cubecolortriangle
[UNMAINTAINED] HSL based color picker.haskell-timsort
[OBSOLETE] An adaptive, stable, natural mergesort implemented on mutable vectors.idris-pfds
Purely functional data structures in Idrisrobot-karel
A clone of Robot Karol in JavaScriptdotfiles
My config files.set-theory-prover
Simple LCF-style proof assistant for ZFCbachelorarbeit
Der Satz von Serre ΓΌber die Endlichkeit der Homotopiegruppen der SphΓ€ren (Bachelorarbeit)pfds-visualizations
Visualization of purely functional queues πΆπΆπΆdtypes
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *meisterhirn
clone of a popular board gameeine
Clone of a popular card gameminesweeper-solver
Constraints-based algorithm for solving MineSweepertelegram-sendmessage
Using the Telegram Bot API to send messages to myselfMooSweeper
[OBSOLETE] Costumizable Minesweeper clone for MooTools.tagged-union
presentations
alphacolor
[OBSOLETE] CSS-Hack to get cross-browser semi-transparent backgroundsmathezirkel-kurs
reroute-talk
Talk about type-safe routing with reroute presented at Curry Club Augsburginformatikheft
Meine Mitschriftenmath-ide
Love Open Source and this site? Check out how you can help us