Pinned Repositories
IOTasks
Specification language for Haskell programs of type 'IO ()'
modelling-tasks
circuits
exploring elm interactive graphics
elm-drag
A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).
elm-highscore-example
Elm (0.16) example showing how to work with Firebase.
Elm-Kurs
Elm course held for high school students.
elm-labyrinth
A small game implemented to play around with Elm (up to version 0.16).
elm-memo
Most basic memoization functionality in Elm.
Elm-Tutorium
Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/
jvoigtlaender's Repositories
jvoigtlaender/circuits
exploring elm interactive graphics
jvoigtlaender/elm-drag
A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).
jvoigtlaender/elm-memo
Most basic memoization functionality in Elm.
jvoigtlaender/Elm-Kurs
Elm course held for high school students.
jvoigtlaender/Elm-Tutorium
Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/
jvoigtlaender/elm-highscore-example
Elm (0.16) example showing how to work with Firebase.
jvoigtlaender/elm-labyrinth
A small game implemented to play around with Elm (up to version 0.16).
jvoigtlaender/elm-warshall
The Warshall Algorithm in Elm.
jvoigtlaender/elm-gauss
The Gauss and Gauss-Jordan Elimination Algorithms in Elm.
jvoigtlaender/ll1
Demonstrating LL(1) analysis of context free grammars.
jvoigtlaender/pumping-cfg
Demonstrating the pumping lemma for context free grammars.
jvoigtlaender/alloytools.github.io
Website for Alloytools
jvoigtlaender/bidiragda
Bidirectionalization for Free in Agda.
jvoigtlaender/call-alloy
jvoigtlaender/core
Elm's core libraries
jvoigtlaender/elm-graphics
The graphical building blocks that inspired Elm in the first place
jvoigtlaender/elm-mdl
Elm-port of the Material Design Lite CSS/JS library
jvoigtlaender/elm-package
Command line tool to share Elm libraries
jvoigtlaender/git-fix-whitespace
Fixes the whitespace issues that 'git-diff --check' complains about
jvoigtlaender/hal2016-website
Webseite for Haskell in Leipzig 2016
jvoigtlaender/hlint
Haskell source code suggestions
jvoigtlaender/keyboard
Global keyboard events in Elm
jvoigtlaender/lecture-notes
jvoigtlaender/libsysconfcpus
A github mirror of http://www.kev.pulo.com.au/libsysconfcpus/
jvoigtlaender/package.elm-lang.org
website for browsing packages and exploring documentation
jvoigtlaender/pg
Problem rendering engine for WeBWorK
jvoigtlaender/prolog
A prolog interpreter written in Haskell.
jvoigtlaender/pumping-regular
Demonstrating the pumping lemma for regular languages.