Marthog / rust-stmLinks
Software transactional memory
☆266Updated 3 years ago
Alternatives and similar repositories for rust-stm
Users that are interested in rust-stm are comparing it to the libraries listed below
Sorting:
- A fast monadic-style parser combinator designed to work on stable Rust.☆244Updated 3 years ago
- Monadic do notation for rust using macro and duck typing☆229Updated 6 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆527Updated 4 years ago
- Design by contract style assertions for Rust☆249Updated 4 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆109Updated 6 years ago
- A Persistent Map Implementation based on Hash Array Mapped Tries☆175Updated last year
- garbage collection☆323Updated 6 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- Allocators in Rust☆316Updated 5 years ago
- Easily hotswap functions in running executables☆142Updated 7 years ago
- Compile time numbers in Rust.☆563Updated this week
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- A Bounded SPSC queue for Rust☆161Updated 2 years ago
- Your favourite Haskell type classes for Rust☆264Updated 2 years ago
- Lazy Evaluation for Rust.☆135Updated 10 years ago
- In support of measuring heap allocations in Rust programs.☆101Updated 6 years ago
- A very small GC in Rust, with a safe API☆63Updated last year
- toy futures executor 🚒📖🔥☆235Updated 5 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- Functional Reactive Programming library for Rust☆418Updated 8 months ago
- A fast mpmc queue with broadcast capabilities☆208Updated 7 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- Markdown-based Literate programming in Rust, integrated with Cargo.☆178Updated 2 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆92Updated 4 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- Lightweight actor system built on top of Tokio☆73Updated 8 years ago
- Cargo subcommand to profile binaries☆448Updated 2 years ago