Discover nikomatsakis/parpipeline Open Source project

Stars
1
Language
JavaScript
Created over 10 years ago
Updated over 10 years ago

nikomatsakis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Experimental parallel pipeline API for JS

intorust

Learn Rust real good.

HTML

306

how-to-rust

A collection of blog posts and links that talk about how to successfully use Rust.

285

moro

Experiments with structured concurrency in Rust

rustacean-principles

skill-tree

office-hours

borrowck

Modeling NLL and the Rust borrowck

Rust

rust-design-axioms

Discovering and describing Rust's 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

Rust

nll-rfc

Non-lexical lifetimes RFC.

bidir-type-infer

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

Rust

dogged

Experimental persistent collections in Rust

Rust

rust-redex

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

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.

Rust

rustypop

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

Rust

cargo-incremental

A fuzzing tool for incremental compilation that walks git history

Rust

dyner

Experimenting with ergonomic dyn types

Rust

babysteps

Babysteps blog

JavaScript

rust-tutorials-keynote

Keynote versions of my Rust tutorials.

HTML

rust-etags

Exuberant ctags language definition for Rust.

Shell

plmw-2022

Talk to be given at PLMW 2022

CSS

polonius.next

experimental datalog rules for a next gen polonius

Rust

concurrency-tutorial

Rust concurrency tutorial examples

Rust

rust-ctags

ctags definition for Rust

Shell

rust-skill-tree

A (WIP) skill tree for Rust

HTML

mutable

Tinkering with a more ergonomic cell abstraction

Rust

rusty-peg

Rust

great-pl-papers

Exploring awesome PL papers in redex

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.

Rust

rustnl-2024

Type theory for busy engineers

Rust

rust-belt-rust-2019

Polonius talk at RBR 2019

CSS

ppl-2023

Talk for PPL2023

CSS

lsrtm

Concurrency and parallelism in async Rust

CSS

context-capabilities-initiative

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

Rust

nll-souffle

experimental variant of nll analysis based on datalog

Rust

rustconf-2021

Talk for RustConf 2021

CSS

pliss-2019

Slides for PLISS 2019

CSS

typing-haskell-in-rust

Port of the code from Typing Haskell in Haskell to Rust

Rust

eurorust-2023

Talk for EuroRust 2023

CSS

mathema

An experimental flashcard program.

Rust

learn-some-rust-this-month

Code snippets for Rust discussions

Rust

chalk-it-up

Chalk 2.0: a design document and planning repository

JavaScript

simple-graph

A (very) simple graph library.

Rust

rust-runtime-benchmarks

Some benchmarks for testing rustc performance.

Rust

rust-iter

An iteration library for Rust

Rust

rustc-parallelization

A repo to house plans to parallelize rustc.

lsrtm-2022-05

Talking about async Rust

CSS

rust-formal

Featherweight Java for Rust

rustconf2019-solana

Talk for RustConf 2019 at Solana event

CSS

rustc-mux

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

Shell

rust-latam-2019

Keynote speech for Rust LATAM 2019

CSS

graph-compress

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

Rust

rust-recursive-descent-regex-parser

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

Rust

cargo-chrono

a cargo benchmarking tool

Rust

pjs-polyfill

Prototype of PJS API based on typed objects.

JavaScript

rustnation-24

CSS

rusty-rete

An implementation of the Rete algorithm in Rust.

Rust

2022-06-15-blogpost

Rust

rebnf

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

Rust

boston-rust-artwork

Citgo sign forever

rusty-wam

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

Rust

iFood-Tech-Day-2022

CSS

dwim

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

yaccrpop

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

Rust

crabcake

Rust

plar-rs

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

Rust

Popsicle

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

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

CSS

rust-lifetime-errors

A collection of rust files with 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

Rust

SpanakopitaPlugin

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

Objective-C

genasynciter

sketching a possible approach to generator/iterator traits

Rust

nll-crater-run-results

tracking NLL crater run results

intorust.vscode

A VSCode extension for learning Rust

CSS

PopsicleBundle

A TextMate bundle for Popsicle.

Harmonic

Harmonic Programming Language

suspend

Experiments with suspension

Rust

vision-squared

Vision² -- the vision doc for vision docs.

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

CSS

americano

Experimental calendaring software

SCSS

rust-safe-robinhood-map

An experimental safe version of robin hood map in Rust

Rust

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

dyn-vision-doc

Notes on dyn in Rust

rusty-regex

A regex macro that creates compile-time macros.

Rust

nikomatsakis-babysteps-theme

Theme for my babysteps blog

pjs-pipeline

nikomatsakis/parpipeline

nikomatsakis

Reviews

Repository Details

More Repositories