michaelbeaumont/rust
a safe, concurrent, practical language
Homework for CS1156x from CaltechX (Edx)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
a safe, concurrent, practical language
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Universal markup converter
Leader key for Awesome WM