derekelkins Goto Github PK

ads

Authenticated Data Structures

agda-vim

Agda interaction in vim

browserhub

A signalling intermediary for WebRTC.

buffon

Buffon Machines

convergence

An agile, distributed, and secure alternative to the Certificate Authority system.

czt

An implementation of the Chirp Z-transform in pure Kotlin.

derekelkins.github.io

envtrack

A simple utility that listens to a Consul key-value store and commits changes into Git.

galgebra

hs-certificate

Certificate and Key Reader/Writer in haskell

json-with-sharing

jsqc

A Javascript QuickCheck clone.

kafkacat

Generic command line non-JVM Apache Kafka producer and consumer

lattices

Fine-grained lattice primitives for Haskell

logspout

Log routing for Docker container logs

ndjs

An in-browser interactive theorem prover for the sequent calculus

nullary

A package for working with nullary type classes in Haskell.

onlykey-firmware

The OnlyKey Firmware runs on the OnlyKey itself and provides the core functionality of OnlyKey.

pdfviewer

A simple Pdf document viewer 💼

registrator

Service registry bridge for Docker

resqrunner

sd-webui-controlnet

WebUI extension for ControlNet

servant

Core servant package, with type combinators for describing webservice APIs

servant-docs

Automatic documentation generation for servant webservices

servant-jquery

Automatic generation of jquery-based javascript functions for querying servant webservices

servant-server

Implementing wai/warp servers for servant webservice APIs

simple-handshake

Simple Noise handshake state machine

slgjs

An embedding of tabled logic programming in TypeScript/JavaScript.

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.