仓库

ldct 的仓库

214 个支持的仓库

只显示包含已索引 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)
ldct/monorepoTypeScript

Home for all packages related to the Counterfactual project

最近提交 2019年8月2日

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

Get your ocw courses emailed to you!

最近提交 2013年6月8日

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

mperf is a CLI for collecting performance data on mobile devices

最近提交 2026年3月29日

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

Allows multiple parties to agree on transactions before execution.

最近提交 2018年3月20日

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

Fork of Mooshak

最近提交 2014年3月24日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/myourtual-realityJavaScript

最近提交 2014年10月29日

 (2 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
ldct/natural_number_gameLean

Building the natural numbers in Lean.

最近提交 2020年5月22日

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

NNG4 fork for the lean-ios on-device port: GameServer shim, no lean4game dependency (see ldct/lean-ios docs/nng4-port-plan.md)

最近提交 2026年7月4日

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

The Noperthedron does not have Rupert Property: a proof in Lean4

最近提交 2026年2月17日

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

Wordle game for music industry

最近提交 2022年1月26日

 (1 star) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
ldct/onlisp-racket

On Lisp in Racket (scheme)

最近提交 2016年1月1日

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

最近提交 2017年5月13日

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