Repositories

ldct repositories

214 supported repositories

Show repositories with indexed issues
ldct/mathlib-phrasebookLean

How to say it using Mathlib.

Last commit Jul 1, 2026

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

The math library of Lean 4

Last commit Jul 21, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/mathlib4-docs-pinnedShell

Version-pinned rendered Mathlib 4 HTML documentation

Last commit Jul 12, 2026

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

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

Last commit Feb 16, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/metamath-syntax-highlighting

Last commit May 26, 2023

 (3 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ldct/meteor-hackathonJavaScript

Last commit Aug 9, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open 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)

Last commit Apr 22, 2026

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

A proof of concept trustless ethereum mixer

Last commit May 1, 2018

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

Home for all packages related to the Counterfactual project

Last commit Aug 2, 2019

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

Get your ocw courses emailed to you!

Last commit Jun 8, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/mperfKotlin

mperf is a CLI for collecting performance data on mobile devices

Last commit Mar 29, 2026

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

Allows multiple parties to agree on transactions before execution.

Last commit Mar 20, 2018

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

Fork of Mooshak

Last commit Mar 24, 2014

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/myourtual-realityJavaScript

Last commit Oct 29, 2014

 (2 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ldct/natural_number_gameLean

Building the natural numbers in Lean.

Last commit May 22, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/NNG4-iosLean

NNG4 fork for the lean-ios on-device port: GameServer shim, no lean4game dependency (see ldct/lean-ios docs/nng4-port-plan.md)

Last commit Jul 4, 2026

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

The Noperthedron does not have Rupert Property: a proof in Lean4

Last commit Feb 17, 2026

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

Wordle game for music industry

Last commit Jan 26, 2022

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)
ldct/onlisp-racket

On Lisp in Racket (scheme)

Last commit Jan 1, 2016

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

Last commit May 13, 2017

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