Dépôts

Dépôts de ldct

214 dépôts pris en charge

Afficher les dépôts avec des issues indexées
ldct/jssvggraphJavaScript

Javascript/SVG Graph Layout

Dernier commit 29 déc. 2012

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/kanshuCSS

Reading Chinese should be this easy.

Dernier commit 31 déc. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/kicksubsPython

Dernier commit 2 juin 2013

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/klee-nushC++

Experimental fork of klee

Dernier commit 17 juin 2011

 (5 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/kpcbC++

kpcb

Dernier commit 1 nov. 2015

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/ksportsstylePython

Dernier commit 14 mai 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/kueJavaScript

Kue is a priority job queue backed by redis, built for node.js.

Dernier commit 19 avr. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/latex-compilerHTML

Dernier commit 8 oct. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

Dernier commit 4 mai 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-eval-chudnovskyLean

Axiom-clean Lean 4 / Mathlib proof of the Chudnovsky formula chudnovskySum = π⁻¹ (lean-eval submission)

Dernier commit 5 juil. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-eval-two-plus-twoLean

Dernier commit 2 mai 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-iosHTML

lean-ios with SwiftUI example (fork of paulcadman/lean-ios)

Dernier commit 7 août 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-monorepoHTML

Experiments in Lean

Dernier commit 7 août 2026

 (3 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-poolLean

Dernier commit 12 juin 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean-textbooksLean

Dernier commit 8 juil. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean4Lean

Lean 4 programming language and theorem prover

Dernier commit 19 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Dernier commit 3 févr. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/leancertLean

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked

Dernier commit 7 juil. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Dernier commit 13 avr. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Dernier commit 25 juil. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)