Discover sdiehl/church-numbers Open Source project

What I Wish I Knew When Learning Haskell

3,347

wiwinwlh

Haskell LLVM JIT Compiler Tutorial

2,565

kaleidoscope

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

1,029

bulletproofs

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

535

numpile

Jupyter Notebook

403

gevent-tutorial

Gevent tutorial for the Working Python Developer

HTML

382

wasm

Haskell compiler infastructure for WebAssembly

tinyjit

minichat

Minimal realtime chat application ( Tutorial )

132

kaylee

MapReduce with ZeroMQ

Haskeline wrapper for GHCi-like REPL interfaces

121

repline

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.

107

papers

popping-the-crypto-bubble

TeX

dive-into-ghc

Dive into GHC

Arithmetic circuits for zero knowledge proof systems

arithmetic-circuits

Small minimal examples of modern cryptographic techniques in Haskell

zurihac-crypto

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

schnorr-nizk

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

cabal-edit

Basic starter config for Vim and Haskell

haskell-vim-proto

Double ratchet algorithm for E2E encryption

double-ratchet

Optimised bilinear pairings over elliptic curves

pairing

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

zeromq-chat

Finite field and algebraic extension field arithmetic

galois-field

Abe-Ohkubo-Suzuki Linkable Ring Signatures

aos-signature

Python bindings for nanomsg

pynanomsg

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

sonic

subpy

Python subsets

A polymorphic interface for elliptic curve operations

elliptic-curve

Plugin for formatting Haskell source code

vim-ormolu

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

llvm-tutorial-standalone

Oblivious transfer for multiparty computation

oblivious-transfer

Generate commutative diagrams inside of Pandoc with Tikz

cats

TeX

hakyll-bootstrap

Basic Hakyll + Bootstrap site

HTML

pyrewrite

Python term rewriting

Paris Functional Programming Meetup

paris-fp

dotfiles

My config files

Code generation utils for LLVM

llvm-codegen

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

numpush

shamir

Shamir Secret Sharing

Finite field polynomial arithmetic based on fast Fourier transforms

galois-fft

Financial datetimes and holiday recurrence rules

datetime

Haskell bindings for PicoSAT solver

haskell-picosat

haskell-warp-rest

A Haskell web application using acid-state and scotty

Cabal-fmt vim plugin for formatting Cabal package files

vim-cabalfmt

Symbolic logic expressions

picologic

Superset of jQuery for working with MathML

jquery-mathml

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

cooking-generics

Simple printing with Text

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

beamer_template

Lightweight readline library for Haskell

haskell-linenoise

llvm-pp

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

Visualize gevent Greenlet context switches

gevent_viz

bnlc

Binary lambda calculus

Python library for scraping data from Craigslist

pycraig

commentary

HTML

validation

Applicative data validation

Continued fractions for arithmetic

cfrac

concurrent-timer

Concurrent timer

A in-browser logging console for debugging realtime communication

websocket-logger

agents-experiment

Toy language

unirewrite

Generic term rewriting

Preprocessor for Python tutorials

tipy

A lightweight extensible Javascript equation editor

equation-editor

Utilities for pretty printing LaTeX from Haskell

pretty-latex

Visualize python control flow

py-control-flow

Cython interface for Pure

pure-python

vector-eigenvalues

pymathml

Fork of sourceforge.net/projects/pymathml

A GTK based frontend for R

rpygtk