仓库

ldct 的仓库

214 个支持的仓库

只显示包含已索引 issue 的仓库
ldct/install.shC

monitored install scripts

最近提交 2016年2月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/isicpHTML

Interactive Structure and Interpretation of Computer Programs

最近提交 2018年5月20日

 (1,161 stars) (159 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/jest-ethers-bugJavaScript

最近提交 2019年3月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/js-scheme-stkJavaScript

Extension of js-scheme (from http://code.google.com/p/js-scheme/) to add Berkeley Stk scheme functionality

最近提交 2013年11月16日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/jsfeatJavaScript

JavaScript Computer Vision library.

最近提交 2015年6月28日

 (0 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first 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年6月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/klee-nushC++

Experimental fork of klee

最近提交 2011年6月17日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/kpcbC++

kpcb

最近提交 2015年11月1日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/ksportsstylePython

最近提交 2014年5月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年4月19日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/latex-compilerHTML

最近提交 2016年10月8日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

最近提交 2026年5月4日

 (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年7月5日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-eval-two-plus-twoLean

最近提交 2026年5月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-iosHTML

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

最近提交 2026年8月7日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-monorepoHTML

Experiments in Lean

最近提交 2026年8月23日

 (3 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-poolLean

最近提交 2026年6月12日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lean-textbooksLean

最近提交 2020年7月8日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)