Repositories

sdiehl repositories

172 supported repositories

Show repositories with indexed issues
sdiehl/haskell-warp-restJavaScript

A Haskell web application using acid-state and scotty

Last commit Apr 14, 2013

 (16 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/haskellcosmHaskell

Collecting information about Haskell ecosystem - companies, communities, media, etc.

Last commit May 18, 2020

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

haskell bindings for blas and lapack

Last commit May 4, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/homebrew-prismRuby

Homebrew formula for Prism

Last commit Aug 16, 2026

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

A human name matching engine

Last commit Jun 13, 2025

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

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Last commit Jan 18, 2012

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/jinfinote-experimentJavaScript

realtime collaborative editor with gevent + socket.io + jinfinote

Last commit Apr 11, 2011

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/jquery-mathmlJavaScript

Superset of jQuery for working with MathML

Last commit May 16, 2011

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

Haskell LLVM JIT Compiler Tutorial

Last commit Dec 27, 2017

 (1,040 stars) (126 forks) (0 indexed issues) (0 open good first issues)
sdiehl/kayleePython

MapReduce with ZeroMQ

Last commit May 13, 2013

 (121 stars) (7 forks) (0 indexed issues) (0 open good first issues)
sdiehl/kitty-catsLean

Category theory but for kitty cats, meow 🐱🐈

Last commit Feb 16, 2026

 (40 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/language-pythonHaskell

A parser for Python 2.x and 3.x written in Haskell

Last commit Aug 26, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/layout-rulesHaskell

Layout implementations

Last commit Mar 27, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/lean-actionShell

GitHub action for standard CI in Lean projects

Last commit Dec 24, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/lean-runtimeRust

A Lean 4.27 runtime in Rust

Last commit Apr 22, 2026

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

An experimental fork of the Lean 4 compiler to add a Rust backend

Last commit Feb 25, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/lean4-rustLean

Experimental fork of the Lean 4.27 compiler to add a Rust backend

Last commit May 4, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/lean4-templateLean

Boilerplate project for Lean 4 projects

Last commit Nov 11, 2025

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

Liquid Types For Haskell

Last commit Mar 17, 2016

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/list-utilsLean

Lemmas for proving properties about Lists

Last commit Apr 16, 2026

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