Repository

Repository di ldct

214 repository supportati

Mostra repository con issue indicizzate
ldct/jssvggraphJavaScript

Javascript/SVG Graph Layout

Ultimo commit 29 dic 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/kanshuCSS

Reading Chinese should be this easy.

Ultimo commit 31 dic 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/kicksubsPython

Ultimo commit 2 giu 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/klee-nushC++

Experimental fork of klee

Ultimo commit 17 giu 2011

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/kpcbC++

kpcb

Ultimo commit 1 nov 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/ksportsstylePython

Ultimo commit 14 mag 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/kueJavaScript

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

Ultimo commit 19 apr 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/latex-compilerHTML

Ultimo commit 8 ott 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

Ultimo commit 4 mag 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-eval-chudnovskyLean

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

Ultimo commit 5 lug 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-eval-two-plus-twoLean

Ultimo commit 2 mag 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-iosHTML

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

Ultimo commit 7 ago 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-monorepoHTML

Experiments in Lean

Ultimo commit 7 ago 2026

 (3 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-poolLean

Ultimo commit 12 giu 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean-textbooksLean

Ultimo commit 8 lug 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean4Lean

Lean 4 programming language and theorem prover

Ultimo commit 19 mag 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Ultimo commit 3 feb 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/leancertLean

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

Ultimo commit 7 lug 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Ultimo commit 13 apr 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Ultimo commit 25 lug 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)