Michael Goulet's Projects
a PLT redex model of MIR and its type system
Reimplementation of the Cheshire language, but featuring a demand-driven parser and revamping the language grammar
Combinator methods for `std::async_iter::AsyncIterator` using all the new `async` superpowers
Type erasure for async trait methods
Linphone.org mirror for bctoolbox (git://git.linphone.org/bctoolbox.git)
Home of the Rust and Inside Rust blogs
A miniature, Rust-like toy programming language. ⁂ "41. The whole point of Camp is to dethrone the serious. Camp is playful, anti-serious." - Susan Sontag
The Rust package manager
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
The standard reference compiler for the Cheshire Programming Language.
Derive macro for ergonomically creating a Diagnostic from an error macro
Github-hosted Page
Ray Tracer in Rust for CS011 at Caltech
Safe interop between Rust and C++
A small toy database written in Rust
Stack-allocated, fixed-size "Box" type for handling DSTs without an allocator
An open-source C++ library developed and used at Facebook.
Rust port of Google's SwissTable hash map
Github hooks to provide an encouraging atmosphere for new contributors
Mastering Apache Spark 2
Issues found in HIR typeck with the new solver
OBS Studio - Free and open source software for live streaming and screen recording
A Pebble graph watchface based off of a similar face for Android Wear