Dépôts

Dépôts de ldct

209 dépôts pris en charge

Afficher les dépôts avec des issues indexées
ldct/193pSwift

Dernier commit 27 juil. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/2048CSS

Write your own AI for 2048

Dernier commit 21 avr. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/240-codePython

code for implementations of cs 240 algorithms and data structures

Dernier commit 22 déc. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/6.854-Final-Paper

Dernier commit 14 déc. 2011

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/EthereumJavaScript

Useful sample code for various Ethereum smart contracts

Dernier commit 26 mars 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Dernier commit 25 déc. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Dernier commit 18 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Dernier commit 18 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/MultiSigWalletCSS

Allows multiple parties to agree on transactions before execution.

Dernier commit 20 mars 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/NoperthedronLean

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

Dernier commit 17 févr. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/NotWordleTypeScript

Wordle game for music industry

Dernier commit 26 janv. 2022

 (1 star) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
ldct/PitchDetectJavaScript

Naive pitch detection

Dernier commit 20 mars 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/PrimeCertLean

Formal prime certificates in Lean 4

Dernier commit 20 mars 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/PrimeNumberTheoremAndLean

Blueprint for the PNT+ Project

Dernier commit 24 mai 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/PyRivalPython

⚡ Competitive Programming Library

Dernier commit 18 déc. 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/SublimeEthereum

Ethereum Solidity language syntax for SublimeText

Dernier commit 7 nov. 2017

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/SwiftLintSwift

A tool to enforce Swift style and conventions.

Dernier commit 31 janv. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/WikiQuizCSS

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

Dernier commit 19 févr. 2017

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/YHack14Java

Dernier commit 3 nov. 2014

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/algebraTeX

Dernier commit 20 avr. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)