jvoigtlaender Goto Github PK

alloytools.github.io

Website for Alloytools

bidiragda

Bidirectionalization for Free in Agda.

call-alloy

circuits

exploring elm interactive graphics

core

Elm's core libraries

elm-drag

A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).

elm-gauss

The Gauss and Gauss-Jordan Elimination Algorithms in Elm.

elm-graphics

The graphical building blocks that inspired Elm in the first place

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-mdl

Elm-port of the Material Design Lite CSS/JS library

elm-memo

Most basic memoization functionality in Elm.

elm-package

Command line tool to share Elm libraries

elm-tutorium

Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/

elm-warshall

The Warshall Algorithm in Elm.

git-fix-whitespace

Fixes the whitespace issues that 'git-diff --check' complains about

hal2016-website

Webseite for Haskell in Leipzig 2016

hlint

Haskell source code suggestions

keyboard

Global keyboard events in Elm

lecture-notes

libsysconfcpus

A github mirror of http://www.kev.pulo.com.au/libsysconfcpus/

ll1

Demonstrating LL(1) analysis of context free grammars.

package.elm-lang.org

website for browsing packages and exploring documentation

pg

Problem rendering engine for WeBWorK

prolog

A prolog interpreter written in Haskell.

pumping-cfg

Demonstrating the pumping lemma for context free grammars.

pumping-regular

Demonstrating the pumping lemma for regular languages.