リポジトリ

ldct のリポジトリ

214 件の対応リポジトリ

索引済み issue があるリポジトリを表示
ldct/193pSwift

最終コミット 2020/07/27

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/2048CSS

Write your own AI for 2048

最終コミット 2014/04/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/03/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/05/18

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

最終コミット 2025/05/18

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/MultiSigWalletCSS

Allows multiple parties to agree on transactions before execution.

最終コミット 2018/03/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/07/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/NoperthedronLean

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

最終コミット 2026/02/17

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/NotWordleTypeScript

Wordle game for music industry

最終コミット 2022/01/26

 (1 star) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/PitchDetectJavaScript

Naive pitch detection

最終コミット 2014/03/20

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/PrimeCertLean

Formal prime certificates in Lean 4

最終コミット 2026/03/20

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/PrimeNumberTheoremAndLean

Blueprint for the PNT+ Project

最終コミット 2026/07/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/07

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/SwiftLintSwift

A tool to enforce Swift style and conventions.

最終コミット 2026/01/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/02/19

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/YHack14Java

最終コミット 2014/11/03

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)