Pinned Repositories
ads
Authenticated Data Structures
agda-vim
Agda interaction in vim
buffon
Buffon Machines
derekelkins.github.io
envtrack
A simple utility that listens to a Consul key-value store and commits changes into Git.
ndjs
An in-browser interactive theorem prover for the sequent calculus
nullary
A package for working with nullary type classes in Haskell.
splitmix
An implementation of the SplitMix algorithm for a splittable non-cryptographic random number generator in TypeScript.
sws
A simple web server for serving directories.
tangohs
Reference implementation and visualization of Tango in Haskell/GHCJS.
derekelkins's Repositories
derekelkins/servant-server
Implementing wai/warp servers for servant webservice APIs
derekelkins/browserhub
A signalling intermediary for WebRTC.
derekelkins/Convergence
An agile, distributed, and secure alternative to the Certificate Authority system.
derekelkins/hs-certificate
Certificate and Key Reader/Writer in haskell
derekelkins/servant-docs
Automatic documentation generation for servant webservices