Pinned Repositories
elm-pwa-boilerplate
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
llvm-hs-examples
Examples for Haskell bindings to LLVM
plt-study
A path to Programming Language Theory enlightenment
stm
Scanning Tunneling Microscope
TypeTheory
The mathematical study of type theories, in univalent foundations
heath's Repositories
heath/appdb
heath/elm-pwa-boilerplate
heath/llvm-hs-examples
Examples for Haskell bindings to LLVM
heath/TypeTheory
The mathematical study of type theories, in univalent foundations
heath/bitcoin
Bitcoin Core integration/staging tree
heath/bitcore
A bitcoin library.
heath/counterpartyd
Counterparty reference client
heath/distributed-process-client-server
Cloud Haskell - gen_server implementation
heath/egol
implementation of Conway's Game of Life
heath/electron-markdownify
:closed_book: A minimal Markdown editor desktop app
heath/elm-mdl
Elm-port of the Material Design Lite CSS/JS library
heath/elm-return
Writer powered pipelining for `(model, Cmd msg)`
heath/elm-select
A selection input with auto-complete
heath/elm_web_components_playground
Playing with Elm and Polymer / Web Components
heath/hs-webdriver
A Haskell client for the Selenium WebDriver protocol.
heath/hyper
Type-safe, statically checked composition of HTTP servers
heath/ircbrowse
An IRC analysis server.
heath/kafka_ex
Kafka client library for Elixir
heath/miso
:ramen: A tasty Haskell front-end framework
heath/morpheus-examples
heath/nengo
A Python library for creating and simulating large-scale brain models
heath/nixpkgs
Nix Packages collection
heath/open-assets-protocol
Technical specification for the Open Assets protocol, a Bitcoin based colored coins implementation.
heath/peatio
An open-source crypto currency exchange
heath/rethinkdb-elixir
Rethinkdb client in pure elixir (JSON protocol)
heath/servant-auth-and-elm-example
heath/supervisor-logging
Logging plugin for Supervisor
heath/talib
TA-Lib bindings
heath/theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
heath/wiwinwlh
What I Wish I Knew When Learning Haskell