Repositories

ldct repositories

209 supported repositories

Show repositories with indexed issues
ldct/193pSwift

Last commit Jul 27, 2020

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

Write your own AI for 2048

Last commit Apr 21, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/240-codePython

code for implementations of cs 240 algorithms and data structures

Last commit Dec 22, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/6.854-Final-Paper

Last commit Dec 14, 2011

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

Useful sample code for various Ethereum smart contracts

Last commit Mar 26, 2018

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

LLMs as Copilots for Theorem Proving in Lean

Last commit Dec 25, 2024

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

Lean 4 library for pretty printing expressions as LaTeX

Last commit May 18, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Last commit May 18, 2025

 (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/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/PitchDetectJavaScript

Naive pitch detection

Last commit Mar 20, 2014

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

Formal prime certificates in Lean 4

Last commit Mar 20, 2026

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

Blueprint for the PNT+ Project

Last commit May 24, 2026

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

⚡ Competitive Programming Library

Last commit Dec 18, 2020

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

Ethereum Solidity language syntax for SublimeText

Last commit Nov 7, 2017

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

A tool to enforce Swift style and conventions.

Last commit Jan 31, 2026

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

Generates a quiz for a Wikipedia page using parts of speech and text chunking.

Last commit Feb 19, 2017

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

Last commit Nov 3, 2014

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

Last commit Apr 20, 2019

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