graydon / submerge
experimental databasey thing
☆10Updated this week
Related projects: ⓘ
- Experimenting with Rust's fundamental data model☆46Updated 8 months ago
- Ed25519 suitable for use in consensus-critical contexts.☆44Updated last month
- Library for building stateful property tests using the proptest crate☆23Updated 3 months ago
- ☆14Updated 2 months ago
- Provides a Refl encoding in Rust☆67Updated last year
- A library for deadlock-free multiparty session-typed communication in Rust.☆25Updated last month
- DRAT proof processor☆13Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆21Updated this week
- A partial actor pattern with a global orchestrator.☆26Updated last month
- trigger io::Error's in test, and annotate their source☆29Updated last year
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- Provide expansion of proc-macros, in a way that rustc directs you directly to the issues at hand☆22Updated 3 months ago
- small distributed database protocol☆30Updated 3 years ago
- Memory validation framework for Rust☆64Updated last week
- This is a project to learn how to implement instruction dispatch in Rust.☆18Updated 2 months ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆11Updated last year
- Rust traits for key comparison in maps.☆14Updated last year
- Check that a crate builds without libstd☆24Updated 3 years ago
- Callgrind-based benchmark harness written in Rust☆24Updated last year
- Heap memory usage estimation☆17Updated 8 months ago
- A synchronous message passing channel that only retains the most recent value.☆13Updated last year
- ☆22Updated 2 years ago
- An implementation of the Austral language compiler in Rust☆14Updated 4 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆26Updated last month
- An experimental columnar arena☆41Updated 9 months ago
- ☆15Updated last year
- Collection of examples for showcasing various Rust graph data structure libraries.☆18Updated last month
- A highly experiment portable runtime☆18Updated 5 months ago
- Rust closures you can transfer over an FFI boundary☆25Updated 3 years ago