Repositories

ldct repositories

214 supported repositories

Show repositories with indexed issues
ldct/install.shC

monitored install scripts

Last commit Feb 15, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/isicpHTML

Interactive Structure and Interpretation of Computer Programs

Last commit May 20, 2018

 (1,161 stars) (159 forks) (0 indexed issues) (0 open good first issues)
ldct/jest-ethers-bugJavaScript

Last commit Mar 28, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/js-scheme-stkJavaScript

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

Last commit Nov 16, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/jsfeatJavaScript

JavaScript Computer Vision library.

Last commit Jun 28, 2015

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ldct/jssvggraphJavaScript

Javascript/SVG Graph Layout

Last commit Dec 29, 2012

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/kanshuCSS

Reading Chinese should be this easy.

Last commit Dec 31, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/kicksubsPython

Last commit Jun 2, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/klee-nushC++

Experimental fork of klee

Last commit Jun 17, 2011

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/kpcbC++

kpcb

Last commit Nov 1, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/ksportsstylePython

Last commit May 14, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/kueJavaScript

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

Last commit Apr 19, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/latex-compilerHTML

Last commit Oct 8, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

Last commit May 4, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-eval-chudnovskyLean

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

Last commit Jul 5, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-eval-two-plus-twoLean

Last commit May 2, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-iosHTML

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

Last commit Aug 7, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-monorepoHTML

Experiments in Lean

Last commit Aug 23, 2026

 (3 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ldct/lean-poolLean

Last commit Jun 12, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean-textbooksLean

Last commit Jul 8, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)