Repository

Repository di ldct

214 repository supportati

Mostra repository con issue indicizzate
ldct/193pSwift

Ultimo commit 27 lug 2020

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

Write your own AI for 2048

Ultimo commit 21 apr 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/240-codePython

code for implementations of cs 240 algorithms and data structures

Ultimo commit 22 dic 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/6.854-Final-Paper

Ultimo commit 14 dic 2011

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

Useful sample code for various Ethereum smart contracts

Ultimo commit 26 mar 2018

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

LLMs as Copilots for Theorem Proving in Lean

Ultimo commit 25 dic 2024

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

Lean 4 library for pretty printing expressions as LaTeX

Ultimo commit 18 mag 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Ultimo commit 18 mag 2025

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

Allows multiple parties to agree on transactions before execution.

Ultimo commit 20 mar 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
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)

Ultimo commit 4 lug 2026

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

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

Ultimo commit 17 feb 2026

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

Wordle game for music industry

Ultimo commit 26 gen 2022

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

Naive pitch detection

Ultimo commit 20 mar 2014

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

Formal prime certificates in Lean 4

Ultimo commit 20 mar 2026

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

Blueprint for the PNT+ Project

Ultimo commit 18 lug 2026

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

⚡ Competitive Programming Library

Ultimo commit 18 dic 2020

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

Ethereum Solidity language syntax for SublimeText

Ultimo commit 7 nov 2017

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

A tool to enforce Swift style and conventions.

Ultimo commit 31 gen 2026

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

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

Ultimo commit 19 feb 2017

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

Ultimo commit 3 nov 2014

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