Discover nikomatsakis/concurrency-tutorial Open Source project

Discovering and describing Rust's design axioms

rust-design-axioms

fields-in-traits-rfc

An (experimental) RFC repo devoted to the "fields in traits" RFC.

gnome-class

Some experimental macros for GNOME integration

Non-lexical lifetimes RFC.

nll-rfc

bidir-type-infer

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

Experimental persistent collections in Rust

dogged

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

rust-redex

Racket

perf-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.

A not-yet-functional Rust parser written in LALRPOP.

rustypop

A fuzzing tool for incremental compilation that walks git history

cargo-incremental

Experimenting with ergonomic dyn types

dyner

babysteps

Babysteps blog

Keynote versions of my Rust tutorials.

rust-tutorials-keynote

HTML

rust-etags

Exuberant ctags language definition for Rust.

Shell

plmw-2022

Talk to be given at PLMW 2022

experimental datalog rules for a next gen polonius

polonius.next

ctags definition for Rust

rust-ctags

Shell

rust-skill-tree

A (WIP) skill tree for Rust

HTML

mutable

Tinkering with a more ergonomic cell abstraction

rusty-peg

Exploring awesome PL papers in redex

great-pl-papers

Racket

rust-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.

Type theory for busy engineers

rustnl-2024

Polonius talk at RBR 2019

rust-belt-rust-2019

ppl-2023

Talk for PPL2023

Concurrency and parallelism in async Rust

lsrtm

A draft design document / RFC describing the plan for incremental and "on-demand"

context-capabilities-initiative

rustc-on-demand-incremental-design-doc

rust-name-resolution-algorithm

A prototype of my proposed name resolution algorithm for Rust.

experimental variant of nll analysis based on datalog

nll-souffle

rustconf-2021

Talk for RustConf 2021

pliss-2019

Slides for PLISS 2019

Port of the code from Typing Haskell in Haskell to Rust

typing-haskell-in-rust

eurorust-2023

Talk for EuroRust 2023

An experimental flashcard program.

mathema

Code snippets for Rust discussions

learn-some-rust-this-month

Chalk 2.0: a design document and planning repository

chalk-it-up

A (very) simple graph library.

simple-graph

Some benchmarks for testing rustc performance.

rust-runtime-benchmarks

An iteration library for Rust

rust-iter

A repo to house plans to parallelize rustc.

rustc-parallelization

lsrtm-2022-05

Talking about async Rust

Featherweight Java for Rust

rust-formal

rustconf2019-solana

Talk for RustConf 2019 at Solana event

A rustup-compatible rustc toolchain that selects which version of `rustc` to use based on your local directory.

rustc-mux

Shell

rust-latam-2019

Keynote speech for Rust LATAM 2019

A little algorithm used in incremental compilation to compress graphs. Will move into rustc eventually.

graph-compress

A very simple demonstration of how a recursice descent parser works.

rust-recursive-descent-regex-parser

a cargo benchmarking tool

cargo-chrono

Prototype of PJS API based on typed objects.

pjs-polyfill

rustnation-24

An implementation of the Rete algorithm in Rust.

rusty-rete

2022-06-15-blogpost

"Rebnf" -- an extended form of EBNF, intended primarily for specifying Rust grammar

rebnf

A Rust implementation of the classic Warren Abstract Machine (WAM) for Prolog

boston-rust-artwork

Citgo sign forever

rusty-wam

iFood-Tech-Day-2022

Who *doesn't* want the computer to just do what they mean?!

dwim

yaccrpop

A hacky and quite incomplete program to convert YACC files into skeleton LALRPOP files.

crabcake

Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in Rust

plar-rs

A utility for writing type rules that are emitted as LaTeX.

Popsicle

Python

rust-trait-object-upcast

In-progress RFC around trait object upcasting

async-fn-in-traits

Playground for async fn in traits

rayon-plot

Plotting tool for Rayon logs (WIP)

rustverify2022

Presentation for Rust Verify 2022

A collection of rust files with lifetime errors

rust-lifetime-errors

Lathos

A generic debug log server.

Java

enimerosi

github notification manager (super megaduper experimental)

TypeScript

rust-grammar-toy

Toy model of Rust grammar, specifically targeted at exploring RFC 2250

A plugin for TextMate to create a Wiki-like environment.

SpanakopitaPlugin

Objective-C

genasynciter

sketching a possible approach to generator/iterator traits

tracking NLL crater run results

nll-crater-run-results

intorust.vscode

A VSCode extension for learning Rust

A TextMate bundle for Popsicle.

PopsicleBundle

Harmonic

Harmonic Programming Language

suspend

Experiments with suspension

Vision² -- the vision doc for vision docs.

vision-squared

patpar

Java prototype of the Patient Parent model for parallel programming

pjs-old

skillsmatter2022

SpanakopitaBundle

A TextMate bundle for Spanakopita.

Python

teyjus-rust-region-solver

Messing about with the "redction" of higher-ranked regions to simpler constraints in teyjus

AMPL

coq-a-doodle-do

messing around with "Certified Programming with Dependent Types"

Coq

talk-template

A template for talks I give

Experimental calendaring software

americano

SCSS

rust-safe-robinhood-map

An experimental safe version of robin hood map in Rust

Various pictures of myself that I have used as avatar pics.

dyn-vision-doc

Notes on dyn in Rust

parpipeline

Experimental parallel pipeline API for JS

A regex macro that creates compile-time macros.

rusty-regex