Mutexes that only use two bits. Either stored in a byte, or in the bottom bits of a pointer
☆28Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for two_bit_mutex
Users that are interested in two_bit_mutex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Aug 27, 2020Updated 6 years ago
- Emscripten port of libffi☆13Jun 21, 2023Updated 3 years ago
- A binary tree based memory allocator in C.☆11Nov 22, 2017Updated 8 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- 🌳 A compressed rank/select dictionary exploiting approximate linearity and repetitiveness.☆15Jun 28, 2022Updated 4 years ago
- C++ Memory allocator for packet queues that free() in roughly the same order that they alloc().☆17Mar 15, 2018Updated 8 years ago
- unrolled skip list library for C☆22May 25, 2019Updated 7 years ago
- ☆13Jan 30, 2017Updated 9 years ago
- Wicked fast, thread safe in-memory key/object store for C++☆11Dec 8, 2016Updated 9 years ago
- implement similar functionalities using different java concurrency utilities and compare the performance☆12Dec 7, 2016Updated 9 years ago
- ☆10Sep 28, 2026Updated 3 weeks ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Indexed Allocator C++ lib☆13Nov 6, 2019Updated 6 years ago
- Fast C header-only library for popcnt, pospopcnt, and set algebraic operations☆45Dec 16, 2019Updated 6 years ago
- ☆11Oct 21, 2024Updated 2 years ago
- Inspect floating point computations☆144Jul 25, 2021Updated 5 years ago
- External memory suffix array construction using inducing☆12Jul 27, 2020Updated 6 years ago
- Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)☆37Oct 14, 2026Updated last week
- wrappers for tarantool small allocated objects☆12Dec 13, 2019Updated 6 years ago
- GPU-Accelerated Faster Decoding of Integer Lists☆13Aug 20, 2019Updated 7 years ago
- Data structures for ASTs☆14Dec 6, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 5 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 8 years ago
- C++ Implementation of Zip Trees☆14Nov 5, 2022Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Customisable, thread-safe C11 memory allocator based off the K&R "storage allocator"☆13Jul 5, 2024Updated 2 years ago
- Minimal implementation of malloc and free for demo purposes.☆13Mar 21, 2022Updated 4 years ago
- AVX-2 vectorised 8-bit positional popcount for Go☆23Aug 28, 2020Updated 6 years ago
- The NCBI SARS-CoV-2 Variant Calling (SC2VC) Pipeline allows calling high-confidence variants from SARS-CoV-2 NGS data in a standardized f…☆14Apr 21, 2023Updated 3 years ago
- A modern C++-RAII utility library, based on the C++20 proposal☆12Mar 28, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Easy to use custom allocators in a single-header, public domain C/C++ library☆63Aug 8, 2018Updated 8 years ago
- A useful tool to edit and visualize shaders in real time.☆10Aug 5, 2021Updated 5 years ago
- Comparing and combining multiple metagenomic datasets☆16Oct 12, 2022Updated 4 years ago
- fast open addressing hash table☆42Nov 8, 2025Updated 11 months ago
- Implementation of Real-Time Polygonal-Light Shading with Linearly Transformed Cosines by Eric Heitz et al for the course TSBK03 Advanced …☆20Dec 12, 2016Updated 9 years ago
- AS3 ByteArray class for lua.☆19Oct 9, 2020Updated 6 years ago
- In order to solve the actual vehicle routing problem, an intelligent order allocation algorithm for booking trips online between cities i…☆10May 5, 2020Updated 6 years ago