Discover @sdiehl Open Source projects

Stephen Diehl (@sdiehl)

sdiehl

Stars
10,847
Global Rank 1,874 (Top 0.07 %)
Followers 3,051
Following 879
Registered about 14 years ago
Most used languages

Haskell
48.6 %

Python
21.4 %

C
8.6 %

Vim Script
5.7 %

JavaScript
5.7 %

HTML
4.3 %

TeX
2.9 %

Jupyter Notebook
1.4 %

WebAssembly 1.4 %
Location 🇬🇧 United Kingdom
Country Total Rank 104
Country Ranking

Haskell
1

WebAssembly 1

TeX
29

Vim Script
31

Jupyter Notebook
58

HTML
85

Python
449

C
647

JavaScript
3,094

write-you-a-haskell

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

wiwinwlh

What I Wish I Knew When Learning Haskell

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

numpile

A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

Jupyter Notebook

gevent-tutorial

Gevent tutorial for the Working Python Developer

wasm

Haskell compiler infastructure for WebAssembly

tinyjit

minichat

Minimal realtime chat application ( Tutorial )

kaylee

MapReduce with ZeroMQ

repline

Haskeline wrapper for GHCi-like REPL interfaces

papers

popping-the-crypto-bubble

A no holds barred and unrelenting hatchet job of the crypto community, with all its bad ideas and bad actors put into a historical context of market manias and financial populism.

dive-into-ghc

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell

cabal-edit

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

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

haskell-vim-proto

Basic starter config for Vim and Haskell

double-ratchet

Double ratchet algorithm for E2E encryption

pairing

Optimised bilinear pairings over elliptic curves

zeromq-chat

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

galois-field

Finite field and algebraic extension field arithmetic

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures

pynanomsg

Python bindings for nanomsg

sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

subpy

elliptic-curve

A polymorphic interface for elliptic curve operations

vim-ormolu

Plugin for formatting Haskell source code

llvm-tutorial-standalone

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

oblivious-transfer

Oblivious transfer for multiparty computation

cats

Generate commutative diagrams inside of Pandoc with Tikz

hakyll-bootstrap

Basic Hakyll + Bootstrap site

paris-fp

Paris Functional Programming Meetup

pyrewrite

Python term rewriting

dotfiles

My config files

numpush

Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )

llvm-codegen

Code generation utils for LLVM

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

shamir

Shamir Secret Sharing

datetime

Financial datetimes and holiday recurrence rules

haskell-picosat

Haskell bindings for PicoSAT solver

haskell-warp-rest

A Haskell web application using acid-state and scotty

vim-cabalfmt

Cabal-fmt vim plugin for formatting Cabal package files

picologic

Symbolic logic expressions

jquery-mathml

Superset of jQuery for working with MathML

cooking-generics

http://www.stephendiehl.com/posts/generics.html

print

Simple printing with Text

beamer_template

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

haskell-linenoise

Lightweight readline library for Haskell

llvm-pp

A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )

gevent_viz

Visualize gevent Greenlet context switches

bnlc

Binary lambda calculus

pycraig

Python library for scraping data from Craigslist

commentary

ts

validation

Applicative data validation

cfrac

Continued fractions for arithmetic

concurrent-timer

Concurrent timer

websocket-logger

A in-browser logging console for debugging realtime communication

agents-experiment

unirewrite

Generic term rewriting

tipy

Preprocessor for Python tutorials

equation-editor

A lightweight extensible Javascript equation editor

pretty-latex

Utilities for pretty printing LaTeX from Haskell

py-control-flow

Visualize python control flow

church-numbers

Lambda Calculus in Python

pure-python

Cython interface for Pure

vector-eigenvalues

pymathml

Fork of sourceforge.net/projects/pymathml

rpygtk

A GTK based frontend for R