仓库

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

 (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)
ldct/lean4Lean

Lean 4 programming language and theorem prover

最近提交 2025年5月19日

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

lean4-no_mathlib

最近提交 2024年2月3日

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

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

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

Learn all about Plasma with LearnPlasma!

最近提交 2018年7月25日

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