Repository

Repository di sdiehl

172 repository supportati

Double ratchet algorithm for E2E encryption

Ultimo commit 22 nov 2018

 (60 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Examples of using egraphs for term-rewriting

Ultimo commit 12 feb 2025

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A polymorphic interface for elliptic curve operations

Ultimo commit 6 ott 2020

 (44 star) (12 fork) (0 issue indicizzate) (0 good first issue aperte)

A lightweight extensible Javascript equation editor

Ultimo commit 20 dic 2010

 (3 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Simple and extensible administrative interface framework for Flask

Ultimo commit 3 giu 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A Haskell library for guitar music composition.

Ultimo commit 17 mar 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Finite field polynomial arithmetic based on fast Fourier transforms

Ultimo commit 8 gen 2020

 (19 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)

Finite field and algebraic extension field arithmetic

Ultimo commit 3 feb 2024

 (53 star) (18 fork) (0 issue indicizzate) (0 good first issue aperte)

Gevent tutorial for the Working Python Developer

Ultimo commit 9 nov 2018

 (381 star) (101 fork) (0 issue indicizzate) (0 good first issue aperte)

Visualize gevent Greenlet context switches

Ultimo commit 30 gen 2012

 (7 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
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)

Ultimo commit 5 feb 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/gpu-offloadJupyter Notebook

Compile MLIR to PTX and execute it on NVIDIA GPUs

Ultimo commit 16 apr 2025

 (11 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

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

Ultimo commit 16 lug 2026

 (8 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

An introduction to ML for Hacklab at the Harvard Innovation Lab

Ultimo commit 6 ott 2015

 (1 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Basic Hakyll + Bootstrap site

Ultimo commit 23 nov 2017

 (29 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)

Lean <-> Rust test harness

Ultimo commit 26 feb 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Lightweight readline library for Haskell

Ultimo commit 22 nov 2017

 (9 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Haskell bindings for PicoSAT solver

Ultimo commit 6 mag 2020

 (17 star) (4 fork) (0 issue indicizzate) (0 good first issue aperte)

One-line Haskell Vim install

Ultimo commit 12 dic 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Basic starter config for Vim and Haskell

Ultimo commit 17 giu 2019

 (63 star) (25 fork) (0 issue indicizzate) (0 good first issue aperte)