Pinned Repositories
Baduk
An easy-to-use online Go gaming platform.
airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
monorepo
Home for all packages related to the Counterfactual project
hhvm
A virtual machine for executing programs written in Hack.
isicp
Interactive Structure and Interpretation of Computer Programs
klee-nush
Experimental fork of klee
libgit2.js
libgit2 compiled to js
options
python-drums
plays drum tablature
yamd
Yet Another MIPS Debugger
ldct's Repositories
ldct/formulae.brew.sh
🏎 An online formulae browser for Homebrew
ldct/algebra
ldct/audio-player
ldct/brew.sh
:bookmark: The Homebrew brew.sh page.
ldct/cbc-casper-paper
The paper for Correct-By-Construction Casper consenus protocols
ldct/cpython
The Python programming language
ldct/documentation
The documentation for the various Ethers libraries, applications and tools.
ldct/doxity
📑 Documentation Generator for Solidity
ldct/eth-tester
Tool suite for testing ethereum applications.
ldct/ethers.js
Complete Ethereum wallet implementation and library in JavaScript.
ldct/ethresear.ch
🤔Posts on ethresear.ch
ldct/fa-upload-script
ldct/flamebearer
Blazing fast flame graph tool for V8 and Node 🔥
ldct/highlight.js
Javascript syntax highlighter
ldct/jest-ethers-bug
ldct/learn-plasma
Learn all about Plasma with LearnPlasma!
ldct/lstm
ldct/pigi
:pig: M :heartpulse: O :carousel_horse: N :cherry_blossom: O :space_invader: R :cherry_blossom: E :carousel_horse: P :heartpulse: O :pig:
ldct/plasma-cash-2
ldct/pyethereum
Next generation cryptocurrency network
ldct/research
ldct/roll_up
scale ethereum with snarks
ldct/sai
Single Collateral Dai
ldct/simulink-argos
This is an in-progress proof-of-concept of Simulink C++ code generation to create controllers for the ARGoS multi-robot simulator.
ldct/solidity
The Solidity Contract-Oriented Programming Language
ldct/solidity-coverage
Code coverage for Solidity smart-contracts
ldct/topics-in-algebra
ldct/truffle
The most popular blockchain development framework
ldct/vyper
New experimental programming language
ldct/yellowpaper
The "Yellow Paper": Ethereum's formal specification