Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
extension-restore-sanity
A Chrome extension to eliminate some classes of bullshit political stories from news sites.
fotm
World of Warcraft arena FotM monitor.
HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
midnighttherapy
Pathery.com assist tool
nvTrees
nvTrees is a calculator for computation in n-dimensional Thompson groups
rob_miles_transcriptions
Transcriptions of Robert Miles' videos
Spectator
World of Warcraft Spectator UI
daterangepicker
Date range picker component for the modern web
youtube-dl
Command-line program to download videos from YouTube.com and other video sites
diziet's Repositories
diziet/rob_miles_transcriptions
Transcriptions of Robert Miles' videos
diziet/Spectator
World of Warcraft Spectator UI
diziet/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
diziet/extension-restore-sanity
A Chrome extension to eliminate some classes of bullshit political stories from news sites.
diziet/fotm
World of Warcraft arena FotM monitor.
diziet/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
diziet/js-framework-benchmark
A comparison of the perfomance of a few popular javascript frameworks
diziet/midnighttherapy
Pathery.com assist tool
diziet/nvTrees
nvTrees is a calculator for computation in n-dimensional Thompson groups
diziet/parsimony
diziet/pathery_solver
Pathery Solver
diziet/pathology
Shortest path puzzle game