Repositórios

Repositórios de ldct

214 repositórios suportados

Mostrar repositórios com issues indexadas
ldct/lean4Lean

Lean 4 programming language and theorem prover

Último commit 19 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Último commit 3 de fev. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/leancertLean

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

Último commit 7 de jul. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Último commit 25 de dez. de 2024

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

Hosts the website for mathlib and other Lean community infrastructure.

Último commit 13 de abr. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Último commit 18 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Último commit 18 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Último commit 25 de jul. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lensPython

Último commit 19 de mai. de 2011

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lets-dev-demoJavaScript

Último commit 14 de jul. de 2017

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Último commit 31 de mar. de 2013

 (2 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/libgit2.jsC

libgit2 compiled to js

Último commit 31 de mai. de 2013

 (13 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lightning-rfcPython

Lightning Network Specifications

Último commit 20 de mar. de 2018

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

Lean Companion to Axler's Linear Algebra Done Right

Último commit 16 de mai. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/llm-research-sandboxLean

Último commit 27 de jun. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/llm-sandboxLean

Último commit 17 de fev. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lnTeX

latex notes

Último commit 27 de jan. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/lstmJavaScript

Último commit 27 de ago. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/mapJavaScript

Último commit 22 de jan. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/matharenaPython

Evaluation of LLMs on latest math competitions

Último commit 15 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)