Stephen Diehl

Results 46 repositories owned by Stephen Diehl

double-ratchet

59
Stars
3
Forks
Watchers

Double ratchet algorithm for E2E encryption

repline

107
Stars
26
Forks
Watchers

Haskeline wrapper for GHCi-like REPL interfaces

haskell-vim-proto

64
Stars
25
Forks
Watchers

Basic starter config for Vim and Haskell

zkp

90
Stars
10
Forks
Watchers

A framework to execute and verify algorithms using Groth16 zkSNARKs.

cabal-edit

74
Stars
3
Forks
Watchers

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

cats

35
Stars
5
Forks
Watchers

Generate commutative diagrams inside of Pandoc with Tikz

dotfiles

23
Stars
1
Forks
Watchers

My config files

elliptic-curve

40
Stars
10
Forks
Watchers

A polymorphic interface for elliptic curve operations

galois-fft

20
Stars
6
Forks
Watchers

Finite field polynomial arithmetic based on fast Fourier transforms