heath

@heathmatlock on gitlab

Pinned Repositories

elm-pwa-boilerplate
Language:Elm0 2 00
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Language:Haskell0 2 00
llvm-hs-examples
Examples for Haskell bindings to LLVM
Language:Haskell0 1 00
plt-study
A path to Programming Language Theory enlightenment
1 2 00
stm
Scanning Tunneling Microscope
Language:Python4 3 01
TypeTheory
The mathematical study of type theories, in univalent foundations
Language:Coq00

heath's Repositories

heath/Distributed-Haskell
Applications of CloudHaskell to distributed computing, especially MapReduce
Language:Haskell
heath/efene
Programming language with C-like syntax that runs on the Erlang platform
Language:Erlang
heath/jsc64
The JavaScript Commodore 64 emulator
Language:JavaScript
heath/node-rdf2json
node-rdf2json can help users in transforming RDF/XML (resource centric) into JSON (key-value centric)
Language:JavaScript
heath/USB-Gameboy-Dumper
Language:C