Repositórios

Repositórios de ldct

214 repositórios suportados

Mostrar repositórios com issues indexadas
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)
ldct/mathlib-phrasebookLean

How to say it using Mathlib.

Último commit 1 de jul. de 2026

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

The math library of Lean 4

Último commit 21 de jul. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/mathlib4-docs-pinnedShell

Version-pinned rendered Mathlib 4 HTML documentation

Último commit 12 de jul. de 2026

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

Associated code for http://jamie-wong.com/2014/08/19/metaballs-and-marching-squares/

Último commit 16 de fev. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/metamath-syntax-highlighting

Último commit 26 de mai. de 2023

 (3 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
ldct/meteor-hackathonJavaScript

Último commit 9 de ago. de 2015

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/mgw-topologyLean

Mathlib-free Lean 4 port of the real-free topology content from the Megalodon formalization (mgwiki/mgw_test, arxiv 2601.03298)

Último commit 22 de abr. de 2026

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

A proof of concept trustless ethereum mixer

Último commit 1 de mai. de 2018

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