Repository

Repository di sdiehl

172 repository supportati

Mostra repository con issue indicizzate
sdiehl/haskell-warp-restJavaScript

A Haskell web application using acid-state and scotty

Ultimo commit 14 apr 2013

 (16 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/haskellcosmHaskell

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

Ultimo commit 18 mag 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/hblasHaskell

haskell bindings for blas and lapack

Ultimo commit 4 mag 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/homebrew-prismRuby

Homebrew formula for Prism

Ultimo commit 16 ago 2026

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/human_matchPython

A human name matching engine

Ultimo commit 13 giu 2025

 (4 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/ipythonPython

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

Ultimo commit 18 gen 2012

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/jinfinote-experimentJavaScript

realtime collaborative editor with gevent + socket.io + jinfinote

Ultimo commit 11 apr 2011

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/jquery-mathmlJavaScript

Superset of jQuery for working with MathML

Ultimo commit 16 mag 2011

 (12 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/kaleidoscopeHaskell

Haskell LLVM JIT Compiler Tutorial

Ultimo commit 27 dic 2017

 (1040 star) (126 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/kayleePython

MapReduce with ZeroMQ

Ultimo commit 13 mag 2013

 (121 star) (7 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/kitty-catsLean

Category theory but for kitty cats, meow 🐱🐈

Ultimo commit 16 feb 2026

 (40 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/language-pythonHaskell

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

Ultimo commit 26 ago 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/layout-rulesHaskell

Layout implementations

Ultimo commit 27 mar 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/lean-actionShell

GitHub action for standard CI in Lean projects

Ultimo commit 24 dic 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/lean-runtimeRust

A Lean 4.27 runtime in Rust

Ultimo commit 22 apr 2026

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/lean4Lean

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

Ultimo commit 25 feb 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/lean4-rustLean

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

Ultimo commit 4 mag 2026

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/lean4-templateLean

Boilerplate project for Lean 4 projects

Ultimo commit 11 nov 2025

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/liquidhaskellHaskell

Liquid Types For Haskell

Ultimo commit 17 mar 2016

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/list-utilsLean

Lemmas for proving properties about Lists

Ultimo commit 16 apr 2026

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