nikomatsakis

shuttle

Build & ship backends without writing any infrastructure files.

amp

A complete text editor for your terminal.

eglot

A client for Language Server Protocol servers

xargo

The sysroot manager that lets you build and customize `std`

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE

mozilla-central

DEPRECATED - Note: this repo has been shut down, see http://bit.ly/17U3eMC

rust-sdl

SDL bindings for Rust

simple-sub

Alternative algorithm for algebraic subtyping.

project-ffi-unwind

rust-etags

Exuberant ctags language definition for Rust.

rustray

Sebastian Sylvan's Rust ray-tracer

pjs

INACTIVE - A git clone of mozilla-central, with full history.

rust

A work-in-progress programming language; not yet suitable for users

rust-iter

An iteration library for Rust

rust-formal

Featherweight Java for Rust

eth-intervals-java

Java implementation of Intervals.

Lathos

A generic debug log server.

Popsicle

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

Flash2

Mac Flashcard program.

Harmonic

Harmonic Programming Language

patpar

Java prototype of the Patient Parent model for parallel programming

pjs-old

PopsicleBundle

A TextMate bundle for Popsicle.

rust-sdl

SDL bindings for Rust

SpanakopitaBundle

A TextMate bundle for Spanakopita.

SpanakopitaPlugin

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

mozilla-assertion-analyzer

A heuristic designed to examine the kinds of ways that assertions are used in mozilla codebase

rustray

Sebastian Sylvan's Rust ray-tracer

eth-intervals-c

Implementation of Intervals for C