Repositórios

Repositórios de ldct

209 repositórios suportados

Mostrar repositórios com issues indexadas
ldct/193pSwift

Último commit 27 de jul. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/2048CSS

Write your own AI for 2048

Último commit 21 de abr. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/240-codePython

code for implementations of cs 240 algorithms and data structures

Último commit 22 de dez. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/6.854-Final-Paper

Último commit 14 de dez. de 2011

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/EthereumJavaScript

Useful sample code for various Ethereum smart contracts

Último commit 26 de mar. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Último commit 25 de dez. de 2024

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Último commit 18 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Último commit 18 de mai. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/MultiSigWalletCSS

Allows multiple parties to agree on transactions before execution.

Último commit 20 de mar. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/NoperthedronLean

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

Último commit 17 de fev. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/NotWordleTypeScript

Wordle game for music industry

Último commit 26 de jan. de 2022

 (1 star) (1 fork) (0 issues indexadas) (0 good first issues abertas)
ldct/PitchDetectJavaScript

Naive pitch detection

Último commit 20 de mar. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/PrimeCertLean

Formal prime certificates in Lean 4

Último commit 20 de mar. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/PrimeNumberTheoremAndLean

Blueprint for the PNT+ Project

Último commit 24 de mai. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/PyRivalPython

⚡ Competitive Programming Library

Último commit 18 de dez. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/SublimeEthereum

Ethereum Solidity language syntax for SublimeText

Último commit 7 de nov. de 2017

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/SwiftLintSwift

A tool to enforce Swift style and conventions.

Último commit 31 de jan. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/WikiQuizCSS

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

Último commit 19 de fev. de 2017

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/YHack14Java

Último commit 3 de nov. de 2014

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/algebraTeX

Último commit 20 de abr. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)