Stephen Diehl

Login: sdiehl

Company: null

Location: Boston, MA

Bio: Haskell, Types, Bits, Math, PGP: 0x427ceeebec793489

Blog: http://www.stephendiehl.com

Blog: http://www.stephendiehl.com

Member of

2. Adjoint Inc.
3. dataHaskell
4. Haskell WebAssembly
5. Python for Data

Repositories

agents-experiment

Toy language

aterm-utils

Utility functions for working with aterms as generated by Minitermite

beamer_template

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

bnlc

Binary lambda calculus

cats

Generate commutative diagrams inside of Pandoc with Tikz

church-numbers

Lambda Calculus in Python

commentary

null

commercialhaskell

A special interest group for companies and individuals interested in commercial usage of Haskell

ConstraintKinds

Implements common Haskell type classes using the constraint kinds pattern to allow constraints.

construct

Python binary parsing library

cooking-generics

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

coq

computer logic, cs195x

dbmigrations

A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.

distributed-process

Cloud Haskell Core Library

dive-into-ghc

Dive into GHC

django-piston

Fork of Django Piston

dotfiles

My config files

equation-editor

A lightweight extensible Javascript equation editor

fdg

null

flask-admin

Simple and extensible administrative interface framework for Flask

foundation

a new hope

fretted

A Haskell library for guitar music composition.

gevent-tutorial

Gevent tutorial for the Working Python Developer

gevent_viz

Visualize gevent Greenlet context switches

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)

hacklab-ml

An introduction to ML for Hacklab at the Harvard Innovation Lab

hakyll-bootstrap

Basic Hakyll + Bootstrap site

haskell-linenoise

Lightweight readline library for Haskell

haskell-picosat

Haskell bindings for PicoSAT solver

haskell-vim-now

One-line Haskell Vim install

haskell-vim-proto

Basic starter config for Vim and Haskell

haskell-warp-rest

A Haskell web application using acid-state and scotty

hblas

haskell bindings for blas and lapack

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

jinfinote-experiment

realtime collaborative editor with gevent + socket.io + jinfinote

jquery-mathml

Superset of jQuery for working with MathML

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

kaylee

MapReduce with ZeroMQ

language-python

A parser for Python 2.x and 3.x written in Haskell

libsnark

libsnark: a C++ library for zkSNARK proofs

liquidhaskell

Liquid Types For Haskell

llvm

Haskell bindings to the LLVM compiler infrastructure project.

llvm-codegen

Code generation utils for LLVM

llvm-general

Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)

llvm-hs

null

llvm-pp

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

llvm-tutorial-standalone

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

MathJax

Beautiful math in all browsers

minichat

Minimal realtime chat application ( Tutorial )

modules_over_monads

Modules over Monads and Initial Semantics

msgpack-haskell

Haskell implementation of MessagePack

nanocoin

A minimum viable cryptocurrency

numpile

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

numpush

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

papers

null

paris-fp

Paris Functional Programming Meetup

picologic

Logic expressions for PicoSAT solver

pretty-latex

Utilities for pretty printing LaTeX from Haskell

print

Simple printing with Text

protolude

A sensible starting Prelude template.

pure-python

Cython interface for Pure

py-control-flow

Visualize python control flow

pycraig

Python library for scraping data from Craigslist

pymathml

Fork of sourceforge.net/projects/pymathml

pynanomsg

Python bindings for nanomsg

pyrewrite

Python term rewriting

pyzmq

Py0MQ: Python bindings for zeromq

reinteract

Modifications to Owen Taylor's Reinteract

repline

Haskeline wrapper for GHCi-like REPL interfaces

rpygtk

A GTK based frontend for R

scheme

Write You a Scheme

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

simply_llvm

null

skeleton

Haskell Project Skeleton (Travis/Stack/Cabal/Docker)

stackage

"Stable Hackage": vetted consistent packages from Hackage

starch-ports

null

stephendiehl.com

Stephen Diehl's Blog & Website

subpy

Python subsets

time-recurrence

Generate recurring dates.

tinyjit

Haskell JIT

tipy

Preprocessor for Python tutorials

ts

null

unbound-generics

A reimplementation of Unbound using GHC Generics.

unirewrite

Generic term rewriting

vector-eigenvalues

null

websocket-logger

A in-browser logging console for debugging realtime communication

wiwinwlh

What I Wish I Knew When Learning Haskell

write-you-a-haskell

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

zeromq-chat

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

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell

Commits To