仓库

ldct 的仓库

214 个支持的仓库

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

最近提交 2020年7月27日

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

Write your own AI for 2048

最近提交 2014年4月21日

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

code for implementations of cs 240 algorithms and data structures

最近提交 2016年12月22日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
ldct/6.854-Final-Paper

最近提交 2011年12月14日

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

Useful sample code for various Ethereum smart contracts

最近提交 2018年3月26日

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

LLMs as Copilots for Theorem Proving in Lean

最近提交 2024年12月25日

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

Lean 4 library for pretty printing expressions as LaTeX

最近提交 2025年5月18日

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

LeanTeX pretty printers for mathlib

最近提交 2025年5月18日

 (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/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/PitchDetectJavaScript

Naive pitch detection

最近提交 2014年3月20日

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

Formal prime certificates in Lean 4

最近提交 2026年3月20日

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

Blueprint for the PNT+ Project

最近提交 2026年7月18日

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

⚡ Competitive Programming Library

最近提交 2020年12月18日

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

Ethereum Solidity language syntax for SublimeText

最近提交 2017年11月7日

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

A tool to enforce Swift style and conventions.

最近提交 2026年1月31日

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

Generates a quiz for a Wikipedia page using parts of speech and text chunking.

最近提交 2017年2月19日

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

最近提交 2014年11月3日

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