Double ratchet algorithm for E2E encryption
Repositories
sdiehl repositories
Examples of using egraphs for term-rewriting
A polymorphic interface for elliptic curve operations
A lightweight extensible Javascript equation editor
Simple and extensible administrative interface framework for Flask
A Haskell library for guitar music composition.
Finite field polynomial arithmetic based on fast Fourier transforms
Finite field and algebraic extension field arithmetic
Gevent tutorial for the Working Python Developer
Visualize gevent Greenlet context switches
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)
Compile MLIR to PTX and execute it on NVIDIA GPUs
Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials
An introduction to ML for Hacklab at the Harvard Innovation Lab
Basic Hakyll + Bootstrap site
Lean <-> Rust test harness
Lightweight readline library for Haskell
Haskell bindings for PicoSAT solver
One-line Haskell Vim install
Basic starter config for Vim and Haskell