Assistant professor of computer science. Bringing cognitive science to programming.
flowistry. Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
3.1ktyrade. A pure functional language for type-level programming in Rust
344lia. A high-level language for Rust
341terracuda. A high-level Lua API for GPU parallelism [15-418 final]
65indexical. Human-friendly indexed collections
57corrset-benchmark. A repository to test different performance optimizations in a sparse matrix computation.
47sevenwonders. The popular Seven Wonders board game on the web
40rabbot. Abstract binding tree code generator
37wordtree. A Python library for generating word tree diagrams
28inliner. Programmable, human-readable inlining of Python code
28rustc-type-metaprogramming. Rust
24learn-opengl-rust. Learn OpenGL in Rust with web compatibility
21cmu-grades. Gets your grades from CMU services
21model-js-workspace. My personal standard for how to set up a Javascript workspace
15rust-book-exercises. Rust
14types-over-strings. Rust
13pyro-under-the-hood. Jupyter Notebook
9layout-types. Lean
9cargo-single-pyo3. Generate a Python module from a single Rust file.
8hyperlapse. Open-source implementation of MSR Hyperlapse
8gcp-job-queue. Python
7rust-editor. Rust
7web-logger. A prototype Rust logger that uses the browser instead of the console.
6rust-api-type-patterns.
6r-autota. A tool to make R error messages easier to understand
5dotfiles. My emacs configuration
5example-analyzer. Rust
5cmu_auth. Simple Python methods for authenticating to CMU services
5411-rust-starter-code. Rust
5simple-bind. One-line non-exhaustive binds in Rust
4pickle-cache. Small utility for easily and efficiently saving/loading Python values to disk.
4algo-rs. Assorted algorithms implemented in Rust
4aoc2021. q
4willcrichton.github.io. Github site
4autoplan. Jupyter Notebook
4so-lang-diversity-analysis. Analysis of diversity in language communities based on the Stack Overflow Developer Survey 2022
3nota. JavaScript
3expressiveness-benchmark. Jupyter Notebook
3dml. Derma Markup Language, for HTML-style UI creation (for Garry's Mod)
3classity. Remote lecturing tool [hackathon project]
3tquery. jQuery, but for types
2bevy_egui. A plugin for Egui integration into Bevy
2chains.
1aquascope. Rust
1