aslakg's repositories
camlistore
Camlistore is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
AbstractMusic
music!
cl-competitive
Common Lisp implementation of algorithms
compiler
Compiler for Elm, a functional language for reliable webapps.
CompleteTranscription
Code for the paper "Transcribing Human Piano Performances into Music Notation" accepted at ISMIR 2016
dafny-sandbox
Dafny for Metatheory of Programming Languages
elm-ast
A parser for Elm in Elm.
elm-components
A component-based approach to building UI in Elm
elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
elm-make
A build tool for Elm projects
elm-mode
Elm mode for emacs
elm-package
Command line tool to share Elm libraries
elm-reactor
Interactive development tool that makes it easy to develop and debug Elm programs.
elm-repl
A REPL for Elm
elm-style-animation
The style animation library for Elm!
fsutils
Haskell file manipulation utilities.
grokking-sc
Artifact for the Functional Pearl "Grokking the Sequent Calculus"
hmf
A copy of Daan Leijen's reference implementation of HMF (type inference)
megaparsec
Industrial-strength monadic parser combinator library
mlsub
Prototype type inference engine
propagators
The Art of the Propagator. See also:
staged-miniKanren
explorations of multi-stage logic programming in miniKanren
unison
A friendly programming language from the future