Repository

Repository di ldct

214 repository supportati

Mostra repository con issue indicizzate
ldct/lensPython

Ultimo commit 19 mag 2011

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lets-dev-demoJavaScript

Ultimo commit 14 lug 2017

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Ultimo commit 31 mar 2013

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/libgit2.jsC

libgit2 compiled to js

Ultimo commit 31 mag 2013

 (13 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/lightning-rfcPython

Lightning Network Specifications

Ultimo commit 20 mar 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

Ultimo commit 16 mag 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/llm-research-sandboxLean

Ultimo commit 27 giu 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/llm-sandboxLean

Ultimo commit 17 feb 2026

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

latex notes

Ultimo commit 27 gen 2025

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

Ultimo commit 27 ago 2018

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

Ultimo commit 22 gen 2016

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

Evaluation of LLMs on latest math competitions

Ultimo commit 15 mag 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/mathlib-phrasebookLean

How to say it using Mathlib.

Ultimo commit 1 lug 2026

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

The math library of Lean 4

Ultimo commit 21 lug 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/mathlib4-docs-pinnedShell

Version-pinned rendered Mathlib 4 HTML documentation

Ultimo commit 12 lug 2026

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

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

Ultimo commit 16 feb 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/metamath-syntax-highlighting

Ultimo commit 26 mag 2023

 (3 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/meteor-hackathonJavaScript

Ultimo commit 9 ago 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/mgw-topologyLean

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

Ultimo commit 22 apr 2026

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

A proof of concept trustless ethereum mixer

Ultimo commit 1 mag 2018

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