Repositories

sdiehl repositories

172 supported repositories

Show repositories with indexed issues
sdiehl/offsidesRust

Layout-sensitive lexer adapter for logos + lalrpop grammars

Last commit Aug 12, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pairingHaskell

Optimised bilinear pairings over elliptic curves

Last commit Feb 3, 2024

 (55 stars) (7 forks) (0 indexed issues) (0 open good first issues)
sdiehl/papers

Last commit Dec 18, 2014

 (95 stars) (11 forks) (0 indexed issues) (0 open good first issues)
sdiehl/paris-fpHaskell

Paris Functional Programming Meetup

Last commit Mar 21, 2020

 (27 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/patternkitRust

Maranget's matrix algorithm for pattern match exhaustiveness and reachability

Last commit Jun 19, 2026

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/picologicHaskell

Symbolic logic expressions

Last commit Jul 1, 2020

 (16 stars) (5 forks) (0 indexed issues) (0 open good first issues)
sdiehl/polyHaskell

Fast polynomial arithmetic in Haskell

Last commit Sep 30, 2019

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/polynomialHaskell

Haskell library for manipulating and evaluating polynomials

Last commit Jun 13, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pretty-latexHaskell

Utilities for pretty printing LaTeX from Haskell

Last commit Mar 16, 2014

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/printHaskell

Simple printing with Text

Last commit Jan 3, 2017

 (10 stars) (3 forks) (0 indexed issues) (0 open good first issues)
sdiehl/prismRust

A functional language with algebraic effects, multishot continuations, and native codegen

Last commit Aug 16, 2026

 (159 stars) (8 forks) (0 indexed issues) (0 open good first issues)
sdiehl/prism-in-prism

Bootstrapping Prism

No recent commit data

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/prismupRust

Install and manage versions of the Prism language on Unix-like OS

Last commit Aug 10, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/prmPython

Library for training process reward models

Last commit Jun 3, 2025

 (29 stars) (4 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pure-pythonC

Cython interface for Pure

Last commit Jan 10, 2011

 (2 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/py-control-flowPython

Visualize python control flow

Last commit Jun 25, 2012

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pycraigC

Python library for scraping data from Craigslist

Last commit Aug 26, 2011

 (6 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pymathmlPython

Fork of sourceforge.net/projects/pymathml

Last commit Aug 22, 2011

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pynanomsgPython

Python bindings for nanomsg

Last commit Sep 6, 2013

 (46 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/pyrewritePython

Python term rewriting

Last commit Feb 13, 2013

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