Repositories

ldct repositories

214 supported repositories

Show repositories with indexed issues
ldct/flamebearerJavaScript

Blazing fast flame graph tool for V8 and Node 🔥

Last commit Feb 19, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/flask-adminPython

Simple and extensible administrative interface framework for Flask

Last commit Apr 9, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/formal-conjecturesLean

A collection of formalized statements of conjectures in Lean.

Last commit Jun 27, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/formalising-mathematics-2024Lean

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

Last commit Jan 7, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/formulae.brew.shHTML

🏎 An online formulae browser for Homebrew

Last commit May 24, 2018

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/fsmPython

filesystem music player

Last commit Oct 5, 2012

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/gambaHTML

climbing scoreboard

Last commit Aug 9, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/geometry-parser

parses geometry problems

No recent commit data

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/gist-notesElixir

Last commit Feb 5, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/gitfusePython

Last commit Aug 11, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/github-ethereum-highlightingJavaScript

Last commit Nov 11, 2017

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/gnosis-safe-contractsJavaScript

Gnosis Safe allows secure management of privately owned blockchain assets.

Last commit Jan 14, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/go-ethereumGo

Official Go implementation of the Ethereum protocol

Last commit Mar 28, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/goodreads-wallPython

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

Last commit Feb 10, 2014

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/gradus

Interactive version of Gradus ad Parnassum

Last commit May 4, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/grunt-typescriptJavaScript

Last commit Oct 26, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/highlight.jsJavaScript

Javascript syntax highlighter

Last commit Jul 22, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/historical-airfare

Last commit Sep 13, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/htpHaskell

Last commit Aug 16, 2015

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ldct/image-serverJavaScript

serves image

Last commit Sep 13, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)