rwlock with writer priority and optimistic reads
☆33Feb 1, 2015Updated 11 years ago
Alternatives and similar repositories for seqloq
Users that are interested in seqloq are comparing it to the libraries listed below
Sorting:
- Tiny RPC framework for Rust☆33Sep 16, 2015Updated 10 years ago
- Communication primitives☆69Oct 15, 2017Updated 8 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 10 years ago
- A Rust implementation of the PCG PRNG.☆24May 29, 2017Updated 8 years ago
- ☆16Apr 14, 2016Updated 9 years ago
- A drop-in replacement for the Rust standard library TCP listener with TLSv1.2 enabled.☆18Aug 18, 2016Updated 9 years ago
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 years ago
- ☆20Jun 21, 2015Updated 10 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.☆12Jul 4, 2015Updated 10 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- DEPRICATED☆32May 21, 2018Updated 7 years ago
- StemJail: Dynamic Role Compartmentalization☆46Oct 1, 2016Updated 9 years ago
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 10 years ago
- Timekeeping tests☆12Feb 10, 2020Updated 6 years ago
- Put a program in your program, so you can program while you program.☆46Jan 2, 2016Updated 10 years ago
- And I'll look down and whisper "GNO."☆59Aug 11, 2016Updated 9 years ago
- Benchmarks of various hashers☆31Jul 31, 2024Updated last year
- Cryptographic signatures for auditing unsafe code in Rust☆55Jan 19, 2015Updated 11 years ago
- WIP - Don't look!☆11Dec 14, 2014Updated 11 years ago
- event loop and promises in Rust☆111Jan 8, 2017Updated 9 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- Implements a Rust ordered map as a BurstTrie.☆30May 26, 2017Updated 8 years ago
- Noise and World Generation library for Rust☆34Dec 2, 2022Updated 3 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- A typification of Robert Plutchik's "Wheel of Emotions".☆17Oct 21, 2015Updated 10 years ago
- An XML element-tree library for Rust.☆18Jun 3, 2020Updated 5 years ago
- A modern asynchronous HTTP server for Rust.☆63Jan 5, 2017Updated 9 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- Rust library for parsing regular languages☆16Feb 12, 2016Updated 10 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- HardCaml example designs☆18Jun 13, 2018Updated 7 years ago
- EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.☆59Dec 15, 2014Updated 11 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- Rust task graph library☆15Mar 24, 2015Updated 10 years ago
- ☆24Aug 30, 2018Updated 7 years ago
- A future & stream abstraction for Rust☆244Aug 24, 2016Updated 9 years ago