nu-rust-course / code
Code that we write in class.
☆28Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for code
- Rust crate to support allocation in contexts☆15Updated 2 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- Lockfree resizeable concurrent hash table.☆53Updated 2 years ago
- Let's (possibly) build a JIT!☆29Updated 11 months ago
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- ☆75Updated 8 years ago
- Experimental persistent collections in Rust☆43Updated 7 years ago
- Miscellaneous Collections☆64Updated 9 years ago
- Libraries for declaring and using type-level values.☆11Updated 5 years ago
- Epoch-based garbage collection☆80Updated 6 years ago
- a small C++ lattice library☆14Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- Modeling NLL and the Rust borrowck☆79Updated 7 years ago
- The essence of Rust.☆123Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 2 years ago
- hybrid logical clock for Rust☆21Updated 8 years ago
- An MPMC journaled broadcast channel☆13Updated 4 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- a simple yet comprehensive scheme interpreter in rust☆76Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Abstract algebra for Rust (still very much a WIP!)☆60Updated 2 years ago
- A set of tools for working with datafrog☆22Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- An experimental asynchronous runtime based on `io-uring`.☆76Updated 3 years ago
- The Materialize SQL parser☆29Updated 4 years ago
- Greenspunning Rust's macro_rules!☆32Updated 6 years ago