Modeling futexes in TLA+
☆21Oct 6, 2024Updated last year
Alternatives and similar repositories for futex-tla
Users that are interested in futex-tla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A blazing fast, MT-safe, lockfree and branchless circular byte buffer for SPSC in 50 loc☆13Sep 16, 2025Updated 10 months ago
- A friendly fork of TigerBeetle's `flag` module with added support for subcommand specific help and short options.☆10May 12, 2024Updated 2 years ago
- CalcPad served with redbean☆15Aug 18, 2022Updated 3 years ago
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆29Oct 12, 2024Updated last year
- Serve assets in zipfiles inside or outside of Redbean☆17Sep 1, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A python web application in a single binary☆15Nov 14, 2023Updated 2 years ago
- Example of using SDL2 with Cosmopolitan Libc☆39Mar 20, 2024Updated 2 years ago
- Library for bidirectional communication between Cosmopolitan Libc and native shared library plugins.☆17Nov 16, 2025Updated 8 months ago
- ☆11Apr 28, 2024Updated 2 years ago
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆25Apr 1, 2024Updated 2 years ago
- ☆24Mar 23, 2026Updated 4 months ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆22Oct 10, 2023Updated 2 years ago
- Pure Rust implementation of LZ4 compression and decompression as a library☆17Jun 9, 2020Updated 6 years ago
- A fork of llama3.c used to do some R&D on inferencing☆23Dec 20, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Generate a stub for any C library for use with Cosmopolitan☆16Nov 28, 2025Updated 7 months ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated 2 years ago
- Universal Scala.js executable☆22Aug 21, 2022Updated 3 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- JSON Web Token for redbean☆25Jul 3, 2024Updated 2 years ago
- ☆21May 15, 2024Updated 2 years ago
- experimental port of nervana neon kernels in OpenCL☆11Jul 24, 2016Updated 10 years ago
- build-once run-anywhere c library☆16Jul 14, 2023Updated 3 years ago
- Compare openresty vs nginx + PUC_lua☆19Nov 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- ☆13Oct 6, 2022Updated 3 years ago
- A set of fuzzers for fuzzing various parts of the Zig standard library☆53Aug 16, 2025Updated 11 months ago
- Example programs written for SectorLISP☆24Aug 3, 2022Updated 3 years ago
- OpenSearch custom lucene codecs for providing different on-disk index encoding (e.g., compression).☆14Updated this week
- Parallel programming library in C++11☆13Jan 2, 2020Updated 6 years ago
- A Binary Ninja plugin for demangling Rust symbols.☆14Jul 9, 2023Updated 3 years ago
- a port of the melange-nvim colorscheme to helix☆11Mar 20, 2025Updated last year
- pwning challenge with a minimal hypervisor on apple hypervisor framework☆13May 13, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cross-platform binary launcher with Cosmopolitan libc☆34Apr 12, 2025Updated last year
- ☆14Apr 26, 2022Updated 4 years ago
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Jul 10, 2026Updated 2 weeks ago
- Baremetal Backtracing on RISC-V☆16Jun 22, 2021Updated 5 years ago
- Gave a talk on Vectorized emulation at Recon Montreal 2019, here are the slides☆19Jun 28, 2019Updated 7 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆13Apr 29, 2018Updated 8 years ago
- Binding OCaml for NodeJS (main functions) using gen_js_api☆19Aug 29, 2016Updated 9 years ago