Repository

Repository di sdiehl

172 repository supportati

Mostra repository con issue indicizzate
sdiehl/validationHaskell

Applicative data validation

Ultimo commit 30 giu 2020

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/vector-eigenvaluesC

Ultimo commit 26 apr 2014

 (2 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/vim-cabalfmtVim Script

Cabal-fmt vim plugin for formatting Cabal package files

Ultimo commit 30 giu 2020

 (15 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/vim-ormoluVim Script

Plugin for formatting Haskell source code

Ultimo commit 25 nov 2020

 (41 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/wasmWebAssembly

Haskell compiler infastructure for WebAssembly

Ultimo commit 24 dic 2017

 (354 star) (14 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/websocket-loggerJavaScript

A in-browser logging console for debugging realtime communication

Ultimo commit 17 giu 2011

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/wiwinwlhHaskell

What I Wish I Knew When Learning Haskell

Ultimo commit 13 set 2025

 (2662 star) (241 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/write-you-a-haskellHaskell

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

Ultimo commit 19 apr 2017

 (3482 star) (256 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/zero-to-qedLean

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

Ultimo commit 5 lug 2026

 (123 star) (20 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/zeromq-chatPython

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

Ultimo commit 27 giu 2011

 (53 star) (8 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/zkpHaskell

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Ultimo commit 13 ago 2020

 (89 star) (10 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/zurihac-cryptoHaskell

Small minimal examples of modern cryptographic techniques in Haskell

Ultimo commit 27 nov 2019

 (77 star) (4 fork) (0 issue indicizzate) (0 good first issue aperte)