Repositories

sdiehl repositories

172 supported repositories

Show repositories with indexed issues
sdiehl/validationHaskell

Applicative data validation

Last commit Jun 30, 2020

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/vector-eigenvaluesC

Last commit Apr 26, 2014

 (2 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/vim-cabalfmtVim Script

Cabal-fmt vim plugin for formatting Cabal package files

Last commit Jun 30, 2020

 (15 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/vim-ormoluVim Script

Plugin for formatting Haskell source code

Last commit Nov 25, 2020

 (41 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/wasmWebAssembly

Haskell compiler infastructure for WebAssembly

Last commit Dec 24, 2017

 (354 stars) (14 forks) (0 indexed issues) (0 open good first issues)
sdiehl/websocket-loggerJavaScript

A in-browser logging console for debugging realtime communication

Last commit Jun 17, 2011

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/wiwinwlhHaskell

What I Wish I Knew When Learning Haskell

Last commit Sep 13, 2025

 (2,665 stars) (241 forks) (0 indexed issues) (0 open good first issues)
sdiehl/write-you-a-haskellHaskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Last commit Apr 19, 2017

 (3,481 stars) (256 forks) (0 indexed issues) (0 open good first issues)
sdiehl/zero-to-qedLean

From Zero to QED: An informal introduction to formality with Lean 4

Last commit Jul 5, 2026

 (122 stars) (20 forks) (0 indexed issues) (0 open good first issues)
sdiehl/zeromq-chatPython

A gevent + Django + Socket.IO + ZeroMQ chat example

Last commit Jun 27, 2011

 (53 stars) (8 forks) (0 indexed issues) (0 open good first issues)
sdiehl/zkpHaskell

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Last commit Aug 13, 2020

 (89 stars) (10 forks) (0 indexed issues) (0 open good first issues)
sdiehl/zurihac-cryptoHaskell

Small minimal examples of modern cryptographic techniques in Haskell

Last commit Nov 27, 2019

 (77 stars) (4 forks) (0 indexed issues) (0 open good first issues)