Repositories

ldct repositories

214 supported repositories

Show repositories with indexed 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 7, 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)
ldct/lean4Lean

Lean 4 programming language and theorem prover

Last commit May 19, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Last commit Feb 3, 2024

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

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

Last commit Jul 7, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Last commit Apr 13, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Last commit Jul 25, 2018

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