sdiehl

Stephen Diehl's repositories

write-you-a-haskell

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

Language:HaskellMIT3353 191 50

wiwinwlh

What I Wish I Knew When Learning Haskell

Language:HaskellNOASSERTION2578 930

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

Language:HaskellNOASSERTION1033 39 26

bulletproofs

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

Language:HaskellBSD-3-Clause536 30 3

numpile

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

Language:Jupyter NotebookMIT406 16 4

gevent-tutorial

Gevent tutorial for the Working Python Developer

Language:HTML382 14 13

kaylee

MapReduce with ZeroMQ

Language:PythonMIT121 40

repline

Haskeline wrapper for GHCi-like REPL interfaces

Language:HaskellMIT107 5 19

zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Language:HaskellNOASSERTION90 60

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

Language:HaskellMIT82 7 1

cabal-edit

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

Language:HaskellMIT74 6 3

pairing

Optimised bilinear pairings over elliptic curves

Language:HaskellMIT55 9 6

galois-field

Finite field and algebraic extension field arithmetic

Language:HaskellMIT50 11 12

sonic

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

Language:HaskellMIT45 90

tiny-graphrag

A tiny 1000 line implementation of GraphRAG in Python

Language:PythonMIT43 10

elliptic-curve

A polymorphic interface for elliptic curve operations

Language:HaskellMIT41 9 3

vim-ormolu

Plugin for formatting Haskell source code

Language:Vim ScriptMIT40 2 9

dotfiles

My config files

Language:Vim Script24 20

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

Language:HaskellMIT19 80

datetime

Financial datetimes and holiday recurrence rules

Language:HaskellApache-2.018 70

awesome-crypto-critique

Awesome critique of crypto / web3. Aim for this to be high quality and constructive (where possible!)

CC0-1.016 40

haskell-picosat

Haskell bindings for PicoSAT solver

Language:CMIT16 4 2

picologic

Symbolic logic expressions

Language:HaskellMIT14 50

vim-cabalfmt

Cabal-fmt vim plugin for formatting Cabal package files

Language:Vim scriptMIT14 40

validation

Applicative data validation

Language:HaskellMIT5 30

prm

Training transformers for process reward models

Language:PythonMIT400

located

Source location helpers

Language:HaskellBSD-3-Clause1 20

django-river

Django workflow library that supports on the fly changes ⛵

Language:PythonBSD-3-Clause020

haskellcosm

Collecting information about Haskell ecosystem - companies, communities, media, etc.

Language:HaskellApache-2.0030

snowflake-sqlalchemy

Snowflake SQLAlchemy

Language:PythonApache-2.0000