Repositories

ldct Repositories

214 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
ldct/lensPython

Letzter Commit 19.05.2011

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lets-dev-demoJavaScript

Letzter Commit 14.07.2017

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Letzter Commit 31.03.2013

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/libgit2.jsC

libgit2 compiled to js

Letzter Commit 31.05.2013

 (13 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lightning-rfcPython

Lightning Network Specifications

Letzter Commit 20.03.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

Letzter Commit 16.05.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/llm-research-sandboxLean

Letzter Commit 27.06.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/llm-sandboxLean

Letzter Commit 17.02.2026

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

latex notes

Letzter Commit 27.01.2025

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

Letzter Commit 27.08.2018

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

Letzter Commit 22.01.2016

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

Evaluation of LLMs on latest math competitions

Letzter Commit 15.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/mathlib-phrasebookLean

How to say it using Mathlib.

Letzter Commit 01.07.2026

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

The math library of Lean 4

Letzter Commit 21.07.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/mathlib4-docs-pinnedShell

Version-pinned rendered Mathlib 4 HTML documentation

Letzter Commit 12.07.2026

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

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

Letzter Commit 16.02.2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/metamath-syntax-highlighting

Letzter Commit 26.05.2023

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

Letzter Commit 09.08.2015

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/mgw-topologyLean

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

Letzter Commit 22.04.2026

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

A proof of concept trustless ethereum mixer

Letzter Commit 01.05.2018

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