nikomatsakis/pjs-pipeline
Experimental API.
Developer Profile
nikomatsakis
Discovered public repositories for nikomatsakis in the GitHub catalog.
nikomatsakis/rust-name-resolution-algorithm
A prototype of my proposed name resolution algorithm for Rust.
nikomatsakis/rust-safe-robinhood-map
An experimental safe version of robin hood map in Rust
nikomatsakis/agendas
TC39 meeting agendas
nikomatsakis/typed-objects-es7
ES7 typed objects spec draft
nikomatsakis/rfcs
RFCs for changes to Rust
nikomatsakis/arewefastyet
arewefastyet.com
nikomatsakis/parpipeline
Experimental parallel pipeline API for JS
nikomatsakis/wpmvp2014
https://sites.google.com/site/wpmvp2014/
nikomatsakis/ledger
Double-entry accounting system with a command-line reporting interface
nikomatsakis/gecko-dev
Public repository.
nikomatsakis/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
nikomatsakis/typing-haskell-in-rust
Port of the code from Typing Haskell in Haskell to Rust
nikomatsakis/pjs-polyfill
Prototype of PJS API based on typed objects.
nikomatsakis/rust-recursive-descent-regex-parser
A very simple demonstration of how a recursice descent parser works.
nikomatsakis/babysteps
Babysteps blog
nikomatsakis/trait-matching-algorithm
A prototype of a proposed Rust trait matching algorithm.
nikomatsakis/taocp-rust
Various TAOCP exercises implemented in rust.
nikomatsakis/rustled
Experiments with Mozilla's Rust programming language
nikomatsakis/iontrail
A git clone of mozilla-central, with full history.
nikomatsakis/rt-benchmark
Rivertrail benchmarks (very experimental)
nikomatsakis/Drachma
A little Python script for munging up the CSVs, QIFs, etc that I get from various sources.
nikomatsakis/rust-sdl
SDL bindings for Rust
nikomatsakis/patpar
Java prototype of the Patient Parent model for parallel programming
nikomatsakis/rust-iter
An iteration library for Rust
nikomatsakis/rustray
Sebastian Sylvan's Rust ray-tracer
nikomatsakis/pjs-old
Public repository.
nikomatsakis/rust-formal
Featherweight Java for Rust
nikomatsakis/mozilla-assertion-analyzer
A heuristic designed to examine the kinds of ways that assertions are used in mozilla codebase
nikomatsakis/rust-etags
Exuberant ctags language definition for Rust.
nikomatsakis/rust
A work-in-progress programming language; not yet suitable for users
nikomatsakis/Harmonic
Harmonic Programming Language
nikomatsakis/PopsicleBundle
A TextMate bundle for Popsicle.
nikomatsakis/Popsicle
A utility for writing type rules that are emitted as LaTeX.
nikomatsakis/Lathos
A generic debug log server.
nikomatsakis/SpanakopitaBundle
A TextMate bundle for Spanakopita.
nikomatsakis/SpanakopitaPlugin
A plugin for TextMate to create a Wiki-like environment.