Pinned Repositories
rust-smt-ir
srv-rs
Rust client for communicating with services located by DNS SRV records.
church
Modeling (primitive) recursive functions
CRAC
Critical Review at CAB: an extension to integrate Courses@Brown with The Critical Review.
cs1951x-final-project
cs2950x-project
mdbook-pandoc
A mdbook backend powered by Pandoc.
rags
Rust Alias Generator for Shells
tested-trait
Associate tests with Rust traits
tracing-syslog
Syslog support for tracing
max-heller's Repositories
max-heller/mdbook-pandoc
A mdbook backend powered by Pandoc.
max-heller/tested-trait
Associate tests with Rust traits
max-heller/tracing-syslog
Syslog support for tracing
max-heller/church
Modeling (primitive) recursive functions
max-heller/CRAC
Critical Review at CAB: an extension to integrate Courses@Brown with The Critical Review.
max-heller/cs1951x-final-project
max-heller/lfs-final-project
Modeling and comparing data types with Alloy Analyzer
max-heller/cargo-semver-check
Scan your Rust crate for semver violations.
max-heller/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
max-heller/CS2951O-leaderboard
max-heller/derive_less
Macro for templating item declarations.
max-heller/dotfiles
max-heller/effing-mad
Algebraic effects for Rust
max-heller/governor
A rate-limiting library for Rust (f.k.a. ratelimit_meter)
max-heller/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
max-heller/many-framework
A series of servers and modules that supports the MANY protocol
max-heller/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
max-heller/miri
An interpreter for Rust's mid-level intermediate representation
max-heller/pandoc
Universal markup converter
max-heller/pandoc-ast
max-heller/patterns
A catalogue of Rust design patterns, anti-patterns and idioms
max-heller/peloton-to-garmin
Convert workout data from Peloton into JSON/TCX/FIT files and automatically upload to Garmin Connect
max-heller/pulldown-cmark
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
max-heller/pulldown-cmark-to-cmark
Convert pulldown-cmark Events back to the string they were parsed from
max-heller/release-plz
Publish Rust crates from CI with a Release PR.
max-heller/rust
Empowering everyone to build reliable and efficient software.
max-heller/rust-analyzer
A Rust compiler front-end for IDEs
max-heller/rust-cache
A GitHub Action that implements smart caching for rust/cargo projects
max-heller/rust-pandoc
max-heller/rustc-dev-guide
A guide to how rustc works and how to contribute to it.