Hacker GitHub

← All repos

nikomatsakis/rust-redex

View on GitHub ↗ ★ 41 Racket

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

4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2014-02-14 · latest 2014-10-08

Mentions per year 4 mentions · busiest year 2014 (4)
20082026
AllStoriesComments NewestTopOldest
  1. https://github.com/nikomatsakis/rust-redex
    comment by dbaupp · 2014-10-08 · in Rust means never having to close a socket
  2. https://github.com/nikomatsakis/rust-redex is a theoretical model of the interesting part of Rust (by one of the core-developers). I don't think it's complete though.
    comment by dbaupp · 2014-10-01 · in A Fresh Look at Rust
  3. This is the only one that I know of, not sure if it's the one pcwalton was referring to: https://github.com/nikomatsakis/rust-redex
    comment by kibwen · 2014-03-18 · in Announcing the new Rust package manager, Cargo
  4. …type system to prove its soundness. Not sure how much of it is published yet, but I did find this: https://github.com/nikomatsakis/rust-redex
    comment by kibwen · 2014-02-14 · in Servo Layout Engine: Parallelizing the Browser [video]