Repositories

ldct repositories

214 supported repositories

Show repositories with indexed 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/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Last commit Dec 25, 2024

 (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/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Last commit May 18, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Last commit May 18, 2025

 (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)
ldct/lensPython

Last commit May 19, 2011

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/lets-dev-demoJavaScript

Last commit Jul 14, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Last commit Mar 31, 2013

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/libgit2.jsC

libgit2 compiled to js

Last commit May 31, 2013

 (13 stars) (2 forks) (0 indexed issues) (0 open good first issues)
ldct/lightning-rfcPython

Lightning Network Specifications

Last commit Mar 20, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

Last commit May 16, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/llm-research-sandboxLean

Last commit Jun 27, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/llm-sandboxLean

Last commit Feb 17, 2026

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

latex notes

Last commit Jan 27, 2025

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

Last commit Aug 27, 2018

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

Last commit Jan 22, 2016

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

Evaluation of LLMs on latest math competitions

Last commit May 15, 2025

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