倉庫

sdiehl 的倉庫

172 個支援的倉庫

只顯示包含已索引 issue 的倉庫
sdiehl/hblasHaskell

haskell bindings for blas and lapack

最近提交 2014年5月4日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/homebrew-prismRuby

Homebrew formula for Prism

最近提交 2026年8月16日

 (2 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/human_matchPython

A human name matching engine

最近提交 2025年6月13日

 (4 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/ipythonPython

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

最近提交 2012年1月18日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/jinfinote-experimentJavaScript

realtime collaborative editor with gevent + socket.io + jinfinote

最近提交 2011年4月11日

 (0 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/jquery-mathmlJavaScript

Superset of jQuery for working with MathML

最近提交 2011年5月16日

 (12 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/kaleidoscopeHaskell

Haskell LLVM JIT Compiler Tutorial

最近提交 2017年12月27日

 (1,040 stars) (126 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/kayleePython

MapReduce with ZeroMQ

最近提交 2013年5月13日

 (121 stars) (7 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/kitty-catsLean

Category theory but for kitty cats, meow 🐱🐈

最近提交 2026年2月16日

 (40 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/language-pythonHaskell

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

最近提交 2014年8月26日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/layout-rulesHaskell

Layout implementations

最近提交 2020年3月27日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/lean-actionShell

GitHub action for standard CI in Lean projects

最近提交 2025年12月24日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/lean-runtimeRust

A Lean 4.27 runtime in Rust

最近提交 2026年4月22日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/lean4Lean

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

最近提交 2026年2月25日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/lean4-rustLean

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

最近提交 2026年5月4日

 (2 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/lean4-templateLean

Boilerplate project for Lean 4 projects

最近提交 2025年11月11日

 (0 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/liquidhaskellHaskell

Liquid Types For Haskell

最近提交 2016年3月17日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/list-utilsLean

Lemmas for proving properties about Lists

最近提交 2026年4月16日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/llvm-codegenHaskell

Code generation utils for LLVM

最近提交 2014年11月3日

 (23 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
sdiehl/llvm-generalHaskell

Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)

最近提交 2013年7月2日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)