eamsden/eamsden.github.io
Writings/bloggings
Developer Profile
eamsden
Discovered public repositories for eamsden in the GitHub catalog.
eamsden/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
eamsden/github
The github API for Haskell
eamsden/DocBook-Sigplan
A DocBook XSL template for Sigplan submissions
eamsden/sf-vector
Vectorized signal-function FRP
eamsden/Idris-dev
A Dependently Typed Functional Programming Language
eamsden/sf-until
Signal functions with the "until" type(s).
eamsden/time-flies
A push-pull signal-function FRP system in Haskell
eamsden/nettle-openflow
Public repository.
eamsden/network-data
Network data structures in Haskell (IP, UDP, TCP headers, etc)
eamsden/pushbasedFRP
TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)
eamsden/Animas
a fork of the Yampa combinator library for FRP