This riddle describes a difficult readlock problem in a multi-agent system. Enjoy the riddle ;)
☆23Mar 5, 2024Updated 2 years ago
Alternatives and similar repositories for thirsty_men_problem
Users that are interested in thirsty_men_problem 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 collection of smart contract tools and interfaces used by ApeSwap.☆12Jul 7, 2023Updated 3 years ago
- CTF writeups with challenge files (when available), details, and solutions☆60Sep 2, 2026Updated last month
- Boilerplate for auth using Type-graphql, typeORM, Postgres and Redis☆20Sep 17, 2022Updated 4 years ago
- My personal website☆14Jun 1, 2026Updated 4 months ago
- ☆20Jan 21, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool to get NT system shell .☆11Jun 29, 2021Updated 5 years ago
- Experimental PoC for unhooking API functions using in-memory patching, without VirtualProtect, for one specific EDR.☆14Jul 9, 2023Updated 3 years ago
- 💎 Starter Template using Rails 6, React JS, Bootstrap and Contentful as a headless CMS.☆10Jan 19, 2023Updated 3 years ago
- ESI Linux is a linux distribution made for ESI-SBA ( Ecole supérieure d'informatique - Sidi Bel Abbes) students particularly, it provides…☆24Dec 18, 2017Updated 8 years ago
- ☆10Aug 29, 2023Updated 3 years ago
- Write great documents with markdown, then execute in the shell.☆10Sep 1, 2017Updated 9 years ago
- Implementation of classic distributed algorithms: membership, failure detection, quorum, replication etc.☆12Jan 12, 2020Updated 6 years ago
- ☆20Sep 8, 2019Updated 7 years ago
- 📈 PerfTop: A client for the OpenSearch Performance Analyzer☆17Jun 2, 2026Updated 4 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.
- [mirror] UPower-powered power alerter (https://sr.ht/~kennylevinsen/poweralertd/)☆18Apr 20, 2024Updated 2 years ago
- 42 cursus (2020/02/24~)☆72Apr 12, 2022Updated 4 years ago
- linux debugger☆12Sep 29, 2023Updated 3 years ago
- Fileless ELF execution☆83Sep 12, 2026Updated last month
- A tool for deploying and benchmarking Ethereum Clients☆10Nov 23, 2021Updated 4 years ago
- Solutions of xchg rax,rax☆14Jun 2, 2020Updated 6 years ago
- ☆16Apr 29, 2026Updated 5 months ago
- Squareboat's best practices for building highly secure websites and apps.☆42Dec 11, 2020Updated 5 years ago
- WinGPG is a tray-based classical Windows application, Windows NT Explorer shell extension, and a classic GPGv2 distribution. Secure your …☆12Jul 31, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a small curation of created/stolen scripts for reverse engineering☆12May 3, 2024Updated 2 years ago
- Support for judge0 API to run/judge code in different languages☆10Sep 17, 2021Updated 5 years ago
- A curated list of resources about SOLID, the future of the Web!☆16Apr 25, 2019Updated 7 years ago
- A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.☆11Dec 1, 2023Updated 2 years ago
- Simple Assault cube external hack written in C☆13Apr 26, 2021Updated 5 years ago
- The Hack3r News B'darija☆18Jan 1, 2023Updated 3 years ago
- My resume written in Markdown, with publishing script for various formats.☆13Oct 2, 2026Updated last week
- PlanetMapper: An open source Python package for visualising, navigating and mapping Solar System observations☆16Oct 1, 2026Updated last week
- World's 📮SUSSIEST📮 sorting algorithm☆15May 7, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The game created during the TypeScript Game Tutorial Series☆15Jan 7, 2023Updated 3 years ago
- Netwhat will allow you to discover the network and to learn about its inner workings.☆34May 8, 2021Updated 5 years ago
- ☆12Jul 14, 2020Updated 6 years ago
- auto-ropper☆17Jul 7, 2022Updated 4 years ago
- personal site at https://adam.dev☆12Jan 15, 2026Updated 8 months ago
- A cross-platform tool to work with Security Identifiers (SID) formats.☆17Jun 21, 2025Updated last year
- Crafting System [ESX] [QB]☆10May 1, 2024Updated 2 years ago