sdiehl Goto Github PK

agents-experiment

Toy language

alex-tools

A Haskell library making it easier to write Alex lexers.

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

arithmoi

arithmoi is currently maintained here

aterm-utils

Utility functions for working with aterms as generated by Minitermite

awesome-crypto-critique

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

beamer_template

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

bitvec

Bit vectors library for Haskell

bnlc

Binary lambda calculus

bulletproofs

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

cabal-edit

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

cats

Generate commutative diagrams inside of Pandoc with Tikz

cfrac

Continued fractions for arithmetic

church-numbers

Lambda Calculus in Python

clif

A Clifford algebra number type for Haskell

commentary

commercialhaskell

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

concurrent-timer

Concurrent timer

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

datetime

Financial datetimes and holiday recurrence rules

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

django-river

Django workflow library that supports on the fly changes ⛵

dotfiles

My config files