リポジトリ

sdiehl のリポジトリ

172 件の対応リポジトリ

索引済み issue があるリポジトリを表示
sdiehl/hblasHaskell

haskell bindings for blas and lapack

最終コミット 2014/05/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/homebrew-prismRuby

Homebrew formula for Prism

最終コミット 2026/08/16

 (2 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/human_matchPython

A human name matching engine

最終コミット 2025/06/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/01/18

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/jinfinote-experimentJavaScript

realtime collaborative editor with gevent + socket.io + jinfinote

最終コミット 2011/04/11

 (0 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/jquery-mathmlJavaScript

Superset of jQuery for working with MathML

最終コミット 2011/05/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/05/13

 (121 stars) (7 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/kitty-catsLean

Category theory but for kitty cats, meow 🐱🐈

最終コミット 2026/02/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/08/26

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/layout-rulesHaskell

Layout implementations

最終コミット 2020/03/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/04/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/02/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/05/04

 (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/03/17

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/list-utilsLean

Lemmas for proving properties about Lists

最終コミット 2026/04/16

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/llvm-codegenHaskell

Code generation utils for LLVM

最終コミット 2014/11/03

 (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/07/02

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)