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/agda-vim
Agda interaction in vim
derekelkins/sws
A simple web server for serving directories.
derekelkins/ads
Authenticated Data Structures
derekelkins/tangohs
Reference implementation and visualization of Tango in Haskell/GHCJS.
derekelkins/buffon
Buffon Machines
derekelkins/envtrack
A simple utility that listens to a Consul key-value store and commits changes into Git.
derekelkins/splitmix
An implementation of the SplitMix algorithm for a splittable non-cryptographic random number generator in TypeScript.
derekelkins/derekelkins.github.io
derekelkins/ndjs
An in-browser interactive theorem prover for the sequent calculus
derekelkins/nullary
A package for working with nullary type classes in Haskell.
derekelkins/tangojs
My realization of the ideas from the Tango data store paper to work out some of the details.
derekelkins/czt
An implementation of the Chirp Z-transform in pure Kotlin.
derekelkins/galgebra
derekelkins/json-with-sharing
derekelkins/jsqc
A Javascript QuickCheck clone.
derekelkins/kafkacat
Generic command line non-JVM Apache Kafka producer and consumer
derekelkins/lattices
Fine-grained lattice primitives for Haskell
derekelkins/logspout
Log routing for Docker container logs
derekelkins/OnlyKey-Firmware
The OnlyKey Firmware runs on the OnlyKey itself and provides the core functionality of OnlyKey.
derekelkins/PdfViewer
A simple Pdf document viewer 💼
derekelkins/registrator
Service registry bridge for Docker
derekelkins/resqrunner
derekelkins/sd-webui-controlnet
WebUI extension for ControlNet
derekelkins/servant
Core servant package, with type combinators for describing webservice APIs
derekelkins/servant-jquery
Automatic generation of jquery-based javascript functions for querying servant webservices
derekelkins/simple-handshake
Simple Noise handshake state machine
derekelkins/slgjs
An embedding of tabled logic programming in TypeScript/JavaScript.
derekelkins/vim-salve
salve.vim: static support for Leiningen and Boot
derekelkins/wai
Haskell Web Application Interface
derekelkins/wai-middleware-static
WAI middleware that intercepts requests to static files and serves them if they exist.