Repositories

ldct Repositories

214 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
ldct/jssvggraphJavaScript

Javascript/SVG Graph Layout

Letzter Commit 29.12.2012

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/kanshuCSS

Reading Chinese should be this easy.

Letzter Commit 31.12.2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/kicksubsPython

Letzter Commit 02.06.2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/klee-nushC++

Experimental fork of klee

Letzter Commit 17.06.2011

 (5 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/kpcbC++

kpcb

Letzter Commit 01.11.2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/ksportsstylePython

Letzter Commit 14.05.2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/kueJavaScript

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

Letzter Commit 19.04.2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/latex-compilerHTML

Letzter Commit 08.10.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-evalLean

Comparator-based Lean formal mathematics eval

Letzter Commit 04.05.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-eval-chudnovskyLean

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

Letzter Commit 05.07.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-eval-two-plus-twoLean

Letzter Commit 02.05.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-iosHTML

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

Letzter Commit 07.08.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-monorepoHTML

Experiments in Lean

Letzter Commit 22.08.2026

 (3 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-poolLean

Letzter Commit 12.06.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean-textbooksLean

Letzter Commit 08.07.2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean4Lean

Lean 4 programming language and theorem prover

Letzter Commit 19.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Letzter Commit 03.02.2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/leancertLean

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

Letzter Commit 07.07.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Letzter Commit 13.04.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Letzter Commit 25.07.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)