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/install.shC

monitored install scripts

Dernier commit 15 févr. 2016

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

Interactive Structure and Interpretation of Computer Programs

Dernier commit 20 mai 2018

 (1 161 stars) (159 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/jest-ethers-bugJavaScript

Dernier commit 28 mars 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/js-scheme-stkJavaScript

Extension of js-scheme (from http://code.google.com/p/js-scheme/) to add Berkeley Stk scheme functionality

Dernier commit 16 nov. 2013

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/jsfeatJavaScript

JavaScript Computer Vision library.

Dernier commit 28 juin 2015

 (0 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
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 23 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)