Beast code in Giters

Eric Reed's repositories

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

Language:Racket7 20

Proofs about Patina, the Rust formalization

Language:Agda400

Language:CNOASSERTION300

FInal project for CSSE 453

Language:Python3 40

Senior Thesis at Rose-Hulman

Language:Haskell1 20

a safe, concurrent, practical language

Language:RustNOASSERTION1 20

Language:C++000

Paxos implementation in Ruby (Advanced Databases project)

Language:Ruby000

An Actor library for Rust, and the associated research documents going into it.

Language:Rust000

Compiler for CSE 501

Language:Haskell000

Version Control Paradigms project

000