リポジトリ

ldct のリポジトリ

214 件の対応リポジトリ

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

最終コミット 2011/05/19

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lets-dev-demoJavaScript

最終コミット 2017/07/14

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

Playground for porcelain commands built on libgit2

最終コミット 2013/03/31

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

libgit2 compiled to js

最終コミット 2013/05/31

 (13 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/lightning-rfcPython

Lightning Network Specifications

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

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

最終コミット 2026/06/27

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

最終コミット 2026/02/17

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

latex notes

最終コミット 2025/01/27

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

最終コミット 2018/08/27

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

最終コミット 2016/01/22

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

Evaluation of LLMs on latest math competitions

最終コミット 2025/05/15

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

How to say it using Mathlib.

最終コミット 2026/07/01

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

The math library of Lean 4

最終コミット 2026/07/21

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

Version-pinned rendered Mathlib 4 HTML documentation

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

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

最終コミット 2023/05/26

 (3 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
ldct/meteor-hackathonJavaScript

最終コミット 2015/08/09

 (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/04/22

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

A proof of concept trustless ethereum mixer

最終コミット 2018/05/01

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