Pinned Repositories
AbstractMusic
music!
AILib
A large collection of mostly reinforcement learning agents.
betterchatgpt
camlistore
Camlistore is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
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
ejacs
go-ipfs
IPFS implementation in go
aslakg's Repositories
aslakg/camlistore
Camlistore is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
aslakg/go-ipfs
IPFS implementation in go
aslakg/AbstractMusic
music!
aslakg/betterchatgpt
aslakg/cl-competitive
Common Lisp implementation of algorithms
aslakg/compiler
Compiler for Elm, a functional language for reliable webapps.
aslakg/CompleteTranscription
Code for the paper "Transcribing Human Piano Performances into Music Notation" accepted at ISMIR 2016
aslakg/dafny-sandbox
Dafny for Metatheory of Programming Languages
aslakg/ejacs
aslakg/elm-ast
A parser for Elm in Elm.
aslakg/elm-bytes
aslakg/elm-components
A component-based approach to building UI in Elm
aslakg/elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
aslakg/elm-make
A build tool for Elm projects
aslakg/elm-mode
Elm mode for emacs
aslakg/elm-package
Command line tool to share Elm libraries
aslakg/elm-reactor
Interactive development tool that makes it easy to develop and debug Elm programs.
aslakg/elm-repl
A REPL for Elm
aslakg/elm-style-animation
The style animation library for Elm!
aslakg/fsutils
Haskell file manipulation utilities.
aslakg/hmf
A copy of Daan Leijen's reference implementation of HMF (type inference)
aslakg/koka
Koka language compiler and interpreter
aslakg/megaparsec
Industrial-strength monadic parser combinator library
aslakg/MK2020
aslakg/mlsub
Prototype type inference engine
aslakg/propagators
The Art of the Propagator. See also:
aslakg/staged-miniKanren
explorations of multi-stage logic programming in miniKanren
aslakg/SwiftMultihash
Swift implementation of multihash
aslakg/thih
Attempt to make THIH to compile with stack on modern GHC
aslakg/unison
A friendly programming language from the future