Repositories

ldct Repositories

209 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
ldct/193pSwift

Letzter Commit 27. Juli 2020

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

Write your own AI for 2048

Letzter Commit 21. Apr. 2014

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/240-codePython

code for implementations of cs 240 algorithms and data structures

Letzter Commit 22. Dez. 2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/6.854-Final-Paper

Letzter Commit 14. Dez. 2011

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

Useful sample code for various Ethereum smart contracts

Letzter Commit 26. März 2018

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

LLMs as Copilots for Theorem Proving in Lean

Letzter Commit 25. Dez. 2024

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

Lean 4 library for pretty printing expressions as LaTeX

Letzter Commit 18. Mai 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Letzter Commit 18. Mai 2025

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

Allows multiple parties to agree on transactions before execution.

Letzter Commit 20. März 2018

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

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

Letzter Commit 17. Feb. 2026

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

Wordle game for music industry

Letzter Commit 26. Jan. 2022

 (1 Star) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
ldct/PitchDetectJavaScript

Naive pitch detection

Letzter Commit 20. März 2014

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

Formal prime certificates in Lean 4

Letzter Commit 20. März 2026

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

Blueprint for the PNT+ Project

Letzter Commit 24. Mai 2026

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

⚡ Competitive Programming Library

Letzter Commit 18. Dez. 2020

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

Ethereum Solidity language syntax for SublimeText

Letzter Commit 7. Nov. 2017

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

A tool to enforce Swift style and conventions.

Letzter Commit 31. Jan. 2026

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

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

Letzter Commit 19. Feb. 2017

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

Letzter Commit 3. Nov. 2014

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/algebraTeX

Letzter Commit 20. Apr. 2019

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