Repositórios

Repositórios de ldct

214 repositórios suportados

Mostrar repositórios com issues indexadas
ldct/flamebearerJavaScript

Blazing fast flame graph tool for V8 and Node 🔥

Último commit 19 de fev. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/flask-adminPython

Simple and extensible administrative interface framework for Flask

Último commit 9 de abr. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/formal-conjecturesLean

A collection of formalized statements of conjectures in Lean.

Último commit 27 de jun. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/formalising-mathematics-2024Lean

Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.

Último commit 7 de jan. de 2025

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/formulae.brew.shHTML

🏎 An online formulae browser for Homebrew

Último commit 24 de mai. de 2018

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

filesystem music player

Último commit 5 de out. de 2012

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

climbing scoreboard

Último commit 9 de ago. de 2021

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/geometry-parser

parses geometry problems

Sem dados de commit recente

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/gist-notesElixir

Último commit 5 de fev. de 2017

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

Último commit 11 de ago. de 2016

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/github-ethereum-highlightingJavaScript

Último commit 11 de nov. de 2017

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/gnosis-safe-contractsJavaScript

Gnosis Safe allows secure management of privately owned blockchain assets.

Último commit 14 de jan. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/go-ethereumGo

Official Go implementation of the Ethereum protocol

Último commit 28 de mar. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/goodreads-wallPython

Creates a "wall of books" using your Goodreads shelf and Google Books API

Último commit 10 de fev. de 2014

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

Interactive version of Gradus ad Parnassum

Último commit 4 de mai. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/grunt-typescriptJavaScript

Último commit 26 de out. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/highlight.jsJavaScript

Javascript syntax highlighter

Último commit 22 de jul. de 2018

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/historical-airfare

Último commit 13 de set. de 2015

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

Último commit 16 de ago. de 2015

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
ldct/image-serverJavaScript

serves image

Último commit 13 de set. de 2015

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