Repositories

sdiehl repositories

172 supported repositories

Double ratchet algorithm for E2E encryption

Last commit Nov 22, 2018

 (60 stars) (2 forks) (0 indexed issues) (0 open good first issues)

Examples of using egraphs for term-rewriting

Last commit Feb 12, 2025

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A polymorphic interface for elliptic curve operations

Last commit Oct 6, 2020

 (44 stars) (12 forks) (0 indexed issues) (0 open good first issues)

A lightweight extensible Javascript equation editor

Last commit Dec 20, 2010

 (3 stars) (2 forks) (0 indexed issues) (0 open good first issues)

Simple and extensible administrative interface framework for Flask

Last commit Jun 3, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A Haskell library for guitar music composition.

Last commit Mar 17, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Finite field polynomial arithmetic based on fast Fourier transforms

Last commit Jan 8, 2020

 (19 stars) (6 forks) (0 indexed issues) (0 open good first issues)

Finite field and algebraic extension field arithmetic

Last commit Feb 3, 2024

 (53 stars) (18 forks) (0 indexed issues) (0 open good first issues)

Gevent tutorial for the Working Python Developer

Last commit Nov 9, 2018

 (381 stars) (101 forks) (0 indexed issues) (0 open good first issues)

Visualize gevent Greenlet context switches

Last commit Jan 30, 2012

 (7 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/ghcHaskell

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)

Last commit Feb 5, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/gpu-offloadJupyter Notebook

Compile MLIR to PTX and execute it on NVIDIA GPUs

Last commit Apr 16, 2025

 (11 stars) (1 fork) (0 indexed issues) (0 open good first issues)

Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials

Last commit Jul 16, 2026

 (8 stars) (1 fork) (0 indexed issues) (0 open good first issues)

An introduction to ML for Hacklab at the Harvard Innovation Lab

Last commit Oct 6, 2015

 (1 star) (2 forks) (0 indexed issues) (0 open good first issues)

Basic Hakyll + Bootstrap site

Last commit Nov 23, 2017

 (29 stars) (6 forks) (0 indexed issues) (0 open good first issues)

Lean <-> Rust test harness

Last commit Feb 26, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Lightweight readline library for Haskell

Last commit Nov 22, 2017

 (9 stars) (2 forks) (0 indexed issues) (0 open good first issues)

Haskell bindings for PicoSAT solver

Last commit May 6, 2020

 (17 stars) (4 forks) (0 indexed issues) (0 open good first issues)

One-line Haskell Vim install

Last commit Dec 12, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Basic starter config for Vim and Haskell

Last commit Jun 17, 2019

 (63 stars) (25 forks) (0 indexed issues) (0 open good first issues)