仓库

ldct 的仓库

214 个支持的仓库

只显示包含已索引 issue 的仓库
ldct/lensPython

最近提交 2011年5月19日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lets-dev-demoJavaScript

最近提交 2017年7月14日

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

Playground for porcelain commands built on libgit2

最近提交 2013年3月31日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/libgit2.jsC

libgit2 compiled to js

最近提交 2013年5月31日

 (13 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/lightning-rfcPython

Lightning Network Specifications

最近提交 2018年3月20日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

最近提交 2026年5月16日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/llm-research-sandboxLean

最近提交 2026年6月27日

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

最近提交 2026年2月17日

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

latex notes

最近提交 2025年1月27日

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

最近提交 2018年8月27日

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

最近提交 2016年1月22日

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

Evaluation of LLMs on latest math competitions

最近提交 2025年5月15日

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

How to say it using Mathlib.

最近提交 2026年7月1日

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

The math library of Lean 4

最近提交 2026年7月21日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/mathlib4-docs-pinnedShell

Version-pinned rendered Mathlib 4 HTML documentation

最近提交 2026年7月12日

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

Associated code for http://jamie-wong.com/2014/08/19/metaballs-and-marching-squares/

最近提交 2020年2月16日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/metamath-syntax-highlighting

最近提交 2023年5月26日

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

最近提交 2015年8月9日

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

Mathlib-free Lean 4 port of the real-free topology content from the Megalodon formalization (mgwiki/mgw_test, arxiv 2601.03298)

最近提交 2026年4月22日

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

A proof of concept trustless ethereum mixer

最近提交 2018年5月1日

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