David Renshaw

seer. symbolic execution engine for Rust

compfiles. Catalog Of Math Problems Formalized In Lean

gj. event loop and promises in Rust

animate-lean-proofs. tool for turning Lean proofs into Blender animations

lean4-maze. maze game encoded in Lean 4 syntax

fuzz-rustc. setup for fuzzing the Rust compiler

tryAtEachStep. Try a tactic at each step in a Lean proof.

Chess.lean. Chess in Lean 4

sandstorm-rawapi-example-rust. Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.

acronymy-assistant. interactive backronym composition tool

acronymy. user-editable, acronym-only dictionary

sharelatex. A web-based collaborative LaTeX editor

gitlab-sandstorm. GitLab as a Sandstorm app

Rupert.lean. Formalization of the Rupert Problem for convex polyhedra.

acronymy.net. collaborative website asking: can we define every word as an acronym?

gjio. asynchronous I/O in Rust

wordpress-sandstorm. wordpress as a sandstorm app

capnp-zmq-rust. Rust library for using ZeroMQ with Cap'n Proto serialization

groovebasin. Music player server with a web-based user interface.

duoludo. a game whose purpose is games

sandstorm-rust. Sandstorm Cap'n Proto interfaces, packaged for Rust

math-puzzles-in-lean. math puzzles from various sources, formalized in Lean

zillions. toy chat server spec and example implementations

BrowserQuest. A HTML5/JavaScript multiplayer game experiment

gitweb-sandstorm. git repo as Sandstorm app

nicer-trees. JavaScript

capnp-gj. Rust

fuzz-capnproto. C++

z3-rs. Rust

WordPress. WordPress, Git-ified. Synced via SVN every 15 minutes, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please do not send pull requests. Submit patches to http://core.trac.wordpress.org/ instead.

robotrevolutiondance. Game for Ludum Dare 25.

config. configuration files

aione. game for ludum dare 22