Modeling futexes in TLA+
☆21Oct 6, 2024Updated 2 years ago
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:
- Advent of Code built with Redbean☆11Oct 27, 2023Updated 3 years ago
- C23 Checked Arithmetic☆10Nov 14, 2025Updated 11 months ago
- Local, offline AI for RimWorld. Runs Phi-3 on your own machine to generate in-game content. No API keys, no cloud.☆10Oct 15, 2026Updated 2 weeks ago
- Swift wrapper for @jart's bestline, an ANSI Standard X3.64 teletypewriter command session library☆18Jul 24, 2025Updated last year
- A python web application in a single binary☆15Oct 6, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TheGlobalSquare PC app☆10Mar 15, 2013Updated 13 years ago
- A GCC plugin to help build C code with Cosmopolitan Libc☆19Sep 24, 2023Updated 3 years ago
- Bazel toolchain that is backed by cosmopolitan☆18Feb 5, 2024Updated 2 years ago
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆29Oct 12, 2024Updated 2 years ago
- A build-once run-anywhere GTK program.☆23Jan 11, 2025Updated last year
- 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
- Compare openresty vs nginx + PUC_lua☆18Nov 3, 2023Updated 3 years ago
- A fork of llama3.c used to do some R&D on inferencing☆24Dec 20, 2024Updated last year
- Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc☆26Apr 27, 2025Updated last year
- 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.
- ☆21May 15, 2024Updated 2 years ago
- Example programs written for SectorLISP☆24Aug 3, 2022Updated 4 years ago
- Cross-platform binary launcher with Cosmopolitan libc☆34Apr 12, 2025Updated last year
- micro-CMS built with redbean☆31Feb 8, 2026Updated 8 months ago
- Ruby 3.4.7/4.0.0 port to Cosmopolitan Libc - Actually Portable Ruby☆35Mar 27, 2026Updated 7 months ago
- A build-once run-anywhere SDL2 program.☆28Nov 30, 2023Updated 2 years ago
- Project starter template for building cross-platform applications in C using the Cosmopolitan toolchain☆30Aug 30, 2026Updated 2 months ago
- Cross-platform Hybrid Interpreted Meta-Program☆30Oct 16, 2026Updated 2 weeks ago
- Actually portable Zen-C☆28Jan 25, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆21May 30, 2024Updated 2 years ago
- CalcPad served with redbean☆15Aug 18, 2022Updated 4 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- A Discord bot for the Robert Miles AI server☆41Oct 28, 2026Updated last week
- A makefile project to demonstrate building a portable Hello World executable with Cosmopolitan Libc☆14Sep 6, 2022Updated 4 years ago
- Serve assets in zipfiles inside or outside of Redbean☆17Sep 1, 2022Updated 4 years ago
- Attempt at Neuralink's Compression Challenge☆90May 27, 2024Updated 2 years ago
- Archive of Blocktronics Releases☆68Aug 21, 2020Updated 6 years ago
- GNU Assembler x86 language support for Visual Studio Code☆20Nov 7, 2023Updated 2 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.
- A new city of code on a cosmopolitan foundation.☆20Mar 19, 2021Updated 5 years ago
- Create a single-file cross-platform server within an executable ZIP, powered by redbean 🦞☆19Dec 5, 2023Updated 2 years ago
- Pure Rust implementation of LZ4 compression and decompression as a library☆17Jun 9, 2020Updated 6 years ago
- Compiling C to FlipJump☆98Jun 23, 2026Updated 4 months ago
- A collection of lambda calculus interpreters and development tools☆17Oct 9, 2022Updated 4 years ago
- Multiplatform system monitoring tool using Cosmopolitan Libc☆73May 10, 2026Updated 5 months ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆11Nov 26, 2020Updated 5 years ago