Pinned Repositories
borrowck
Modeling NLL and the Rust borrowck
fields-in-traits-rfc
An (experimental) RFC repo devoted to the "fields in traits" RFC.
gnome-class
Some experimental macros for GNOME integration
how-to-rust
A collection of blog posts and links that talk about how to successfully use Rust.
moro
Experiments with structured concurrency in Rust
office-hours
Help me help you!
rayon
Rayon: A data parallelism library for Rust
rust-design-axioms
Discovering and describing Rust's design axioms
rustacean-principles
skill-tree
Skill-tree rendering
nikomatsakis's Repositories
nikomatsakis/moro
Experiments with structured concurrency in Rust
nikomatsakis/babysteps
Babysteps blog
nikomatsakis/rust-of-my-dreams
A playground for thinking about what Rust could be like
nikomatsakis/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
nikomatsakis/rust-runtime-benchmarks
Some benchmarks for testing rustc performance.
nikomatsakis/latex-paper
Template for latex papers published online.
nikomatsakis/rustconf-2024
nikomatsakis/squared
nikomatsakis/rusty-logic
nikomatsakis/www.family-tree
Rendering and public presentation for my family tree
nikomatsakis/rfc-merge-tool
A tool to merge RFCs, which I hate doing.
nikomatsakis/rfcs
RFCs for changes to Rust
nikomatsakis/talk-template
A template for talks I give
nikomatsakis/wasm-vscode-experiment
nikomatsakis/www.rust-lang.org
The home of the Rust website
nikomatsakis/a-mir-formality-ndm
a model of MIR and the Rust type/trait system
nikomatsakis/append-only-vec
nikomatsakis/dada
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
nikomatsakis/dafny-translation-example
nikomatsakis/fls
Ferrocene Language Specification
nikomatsakis/guides-source
This repository contains the Ember.js Guides
nikomatsakis/hackmd.io
Documents sync'd from hackmd
nikomatsakis/OPLSS-2024
nikomatsakis/wg-async-foundations
Working group dedicated to improving the foundations of Async I/O in Rust
nikomatsakis/blog.rust-lang.org
nikomatsakis/duchess-ndm
Experiments with Java-Rust interop
nikomatsakis/intorust.vscode
A VSCode extension for learning Rust
nikomatsakis/rust-project-goals-ndm
Rust Project Goals tracker
nikomatsakis/team
Rust teams structure
nikomatsakis/triagebot
Triage Bot