リポジトリ

ldct のリポジトリ

214 件の対応リポジトリ

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

Javascript/SVG Graph Layout

最終コミット 2012/12/29

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

Reading Chinese should be this easy.

最終コミット 2014/12/31

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

最終コミット 2013/06/02

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/klee-nushC++

Experimental fork of klee

最終コミット 2011/06/17

 (5 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/kpcbC++

kpcb

最終コミット 2015/11/01

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

最終コミット 2014/05/14

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

Kue is a priority job queue backed by redis, built for node.js.

最終コミット 2014/04/19

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/latex-compilerHTML

最終コミット 2016/10/08

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

最終コミット 2026/05/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-eval-chudnovskyLean

Axiom-clean Lean 4 / Mathlib proof of the Chudnovsky formula chudnovskySum = π⁻¹ (lean-eval submission)

最終コミット 2026/07/05

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-eval-two-plus-twoLean

最終コミット 2026/05/02

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-iosHTML

lean-ios with SwiftUI example (fork of paulcadman/lean-ios)

最終コミット 2026/08/07

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-monorepoHTML

Experiments in Lean

最終コミット 2026/08/07

 (3 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-poolLean

最終コミット 2026/06/12

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean-textbooksLean

最終コミット 2020/07/08

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

Lean 4 programming language and theorem prover

最終コミット 2025/05/19

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

最終コミット 2024/02/03

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

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked

最終コミット 2026/07/07

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

最終コミット 2026/04/13

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

最終コミット 2018/07/25

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