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/isicp
Interactive Structure and Interpretation of Computer Programs
ldct/cp
solutions for usaco, uva, noi etc
ldct/metamath-syntax-highlighting
ldct/NotWordle
Wordle game for music industry
ldct/retired_MiFaFaOvO
ldct/193p
ldct/chordplayer
ldct/djvujs-standalone
ldct/djvujs-test-ios
ldct/drawbox
ldct/ethresear.ch
🤔Posts on ethresear.ch
ldct/flask-admin
Simple and extensible administrative interface framework for Flask
ldct/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
ldct/gamba
climbing scoreboard
ldct/grunt-typescript
ldct/lean-textbooks
ldct/lean4-no_mathlib
lean4-no_mathlib
ldct/ln
latex notes
ldct/metaballs
Associated code for http://jamie-wong.com/2014/08/19/metaballs-and-marching-squares/
ldct/monorepo
Home for all packages related to the Counterfactual project
ldct/natural_number_game
Building the natural numbers in Lean.
ldct/plasma-cash-2
ldct/PyRival
⚡ Competitive Programming Library
ldct/python-string
ldct/resume
ldct/rust-tutorial
ldct/spyfall
Simple website implementation of the card game Spyfall
ldct/swift-book
The Swift Programming Language book
ldct/too-many-lists
Learn Rust by writing Entirely Too Many linked lists
ldct/uw-gitlab