There are no reviews yet. Be the first to send feedback to the community and the maintainers!
intorust
Learn Rust real good.how-to-rust
A collection of blog posts and links that talk about how to successfully use Rust.moro
Experiments with structured concurrency in Rustrustacean-principles
skill-tree
Skill-tree renderingoffice-hours
Help me help you!borrowck
Modeling NLL and the Rust borrowckrust-design-axioms
Discovering and describing Rust's design axiomsfields-in-traits-rfc
An (experimental) RFC repo devoted to the "fields in traits" RFC.gnome-class
Some experimental macros for GNOME integrationnll-rfc
Non-lexical lifetimes RFC.bidir-type-infer
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rustdogged
Experimental persistent collections in Rustperf-focus
A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.rustypop
A not-yet-functional Rust parser written in LALRPOP.cargo-incremental
A fuzzing tool for incremental compilation that walks git historydyner
Experimenting with ergonomic dyn typesbabysteps
Babysteps blogrust-tutorials-keynote
Keynote versions of my Rust tutorials.rust-etags
Exuberant ctags language definition for Rust.plmw-2022
Talk to be given at PLMW 2022polonius.next
experimental datalog rules for a next gen poloniusconcurrency-tutorial
Rust concurrency tutorial examplesrust-ctags
ctags definition for Rustrust-skill-tree
A (WIP) skill tree for Rustmutable
Tinkering with a more ergonomic cell abstractionrusty-peg
great-pl-papers
Exploring awesome PL papers in redexrust-tutorializer
A very basic framework for publishing and experimenting with sample code for Rust tutorials. Also includes a collection of lecture plans. Currently for my own personal use, but maybe evolvable into something byeond that.rustnl-2024
Type theory for busy engineersrust-belt-rust-2019
Polonius talk at RBR 2019context-capabilities-initiative
ppl-2023
Talk for PPL2023lsrtm
Concurrency and parallelism in async Rustrustc-on-demand-incremental-design-doc
A draft design document / RFC describing the plan for incremental and "on-demand"rust-name-resolution-algorithm
A prototype of my proposed name resolution algorithm for Rust.nll-souffle
experimental variant of nll analysis based on datalogrustconf-2021
Talk for RustConf 2021pliss-2019
Slides for PLISS 2019typing-haskell-in-rust
Port of the code from Typing Haskell in Haskell to Rusteurorust-2023
Talk for EuroRust 2023mathema
An experimental flashcard program.learn-some-rust-this-month
Code snippets for Rust discussionschalk-it-up
Chalk 2.0: a design document and planning repositorysimple-graph
A (very) simple graph library.rust-runtime-benchmarks
Some benchmarks for testing rustc performance.rust-iter
An iteration library for Rustrustc-parallelization
A repo to house plans to parallelize rustc.lsrtm-2022-05
Talking about async Rustrust-formal
Featherweight Java for Rustrustconf2019-solana
Talk for RustConf 2019 at Solana eventrustc-mux
A rustup-compatible rustc toolchain that selects which version of `rustc` to use based on your local directory.rust-latam-2019
Keynote speech for Rust LATAM 2019graph-compress
A little algorithm used in incremental compilation to compress graphs. Will move into rustc eventually.rust-recursive-descent-regex-parser
A very simple demonstration of how a recursice descent parser works.cargo-chrono
a cargo benchmarking toolpjs-polyfill
Prototype of PJS API based on typed objects.rustnation-24
rusty-rete
An implementation of the Rete algorithm in Rust.2022-06-15-blogpost
rebnf
"Rebnf" -- an extended form of EBNF, intended primarily for specifying Rust grammarboston-rust-artwork
Citgo sign foreverrusty-wam
A Rust implementation of the classic Warren Abstract Machine (WAM) for PrologiFood-Tech-Day-2022
dwim
Who *doesn't* want the computer to just do what they mean?!squared
yaccrpop
A hacky and quite incomplete program to convert YACC files into skeleton LALRPOP files.crabcake
plar-rs
Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in RustPopsicle
A utility for writing type rules that are emitted as LaTeX.async-fn-in-traits
Playground for async fn in traitsrust-trait-object-upcast
In-progress RFC around trait object upcastingrustverify2022
Presentation for Rust Verify 2022rust-lifetime-errors
A collection of rust files with lifetime errorsLathos
A generic debug log server.enimerosi
github notification manager (super megaduper experimental)rust-grammar-toy
Toy model of Rust grammar, specifically targeted at exploring RFC 2250SpanakopitaPlugin
A plugin for TextMate to create a Wiki-like environment.genasynciter
sketching a possible approach to generator/iterator traitsnll-crater-run-results
tracking NLL crater run resultsintorust.vscode
A VSCode extension for learning RustPopsicleBundle
A TextMate bundle for Popsicle.Harmonic
Harmonic Programming Languagesuspend
Experiments with suspensionvision-squared
VisionΒ² -- the vision doc for vision docs.patpar
Java prototype of the Patient Parent model for parallel programmingpjs-old
skillsmatter2022
Skills Matter 2022SpanakopitaBundle
A TextMate bundle for Spanakopita.coq-a-doodle-do
messing around with "Certified Programming with Dependent Types"teyjus-rust-region-solver
Messing about with the "redction" of higher-ranked regions to simpler constraints in teyjustalk-template
A template for talks I giveamericano
Experimental calendaring softwarerust-safe-robinhood-map
An experimental safe version of robin hood map in Rustme
Various pictures of myself that I have used as avatar pics.dyn-vision-doc
Notes on dyn in Rustparpipeline
Experimental parallel pipeline API for JSrusty-regex
A regex macro that creates compile-time macros.nikomatsakis-babysteps-theme
Theme for my babysteps blogpjs-pipeline
Experimental API.Love Open Source and this site? Check out how you can help us