Discover @sdiehl Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

HTML

C++

F#

Groovy

C

PHP

Python

Perl

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Elixir

Python

Nix

PowerShell

MATLAB

Perl

Scala

Erlang

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇳🇬 Nigeria

🇪🇷 Eritrea

🇹🇳 Tunisia

🇦🇿 Azerbaijan

🇲🇨 Monaco

🇻🇺 Vanuatu

🇱🇨 Saint Lucia

🇲🇲 Myanmar (Burma)

All Countries Compare Countries

Stephen Diehl (@sdiehl)

sdiehl

Stars
10,952
Global Rank 1,932 (Top 0.07 %)
Followers 3,095
Following 879
Registered over 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 %

WebAssembly 1.4 %

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

Haskell
1

WebAssembly 1

Vim Script
30

TeX
33

Jupyter Notebook
60

HTML
88

Python
472

C
681

JavaScript
3,110

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

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

cabal-edit

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

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

pyrewrite

Python term rewriting

paris-fp

Paris Functional Programming Meetup

dotfiles

My config files

llvm-codegen

Code generation utils for LLVM

numpush

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

shamir

Shamir Secret Sharing

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

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

pure-python

Cython interface for Pure

church-numbers

Lambda Calculus in Python

vector-eigenvalues

pymathml

Fork of sourceforge.net/projects/pymathml

rpygtk

A GTK based frontend for R