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:
- Boilerplate for auth using Type-graphql, typeORM, Postgres and Redis☆20Sep 17, 2022Updated 3 years ago
- couple of smart contracts written in solidity☆15Oct 5, 2019Updated 6 years ago
- My personal website☆14Jun 1, 2026Updated last week
- A simple Java WebSocket chat application developed with Java, Java JSONB.☆11Mar 25, 2024Updated 2 years ago
- Highly customizable and extendable bar for the i3 window manager.☆16Aug 1, 2025Updated 10 months 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.
- This lua script for mpv media player will use zenity and youtube-dl for search youtube video.☆26Dec 12, 2025Updated 6 months ago
- Educational collection of LLVM obfuscation passes. (Feel free to use it for your course)☆35Apr 22, 2026Updated last month
- Practice typing and improve your typing speed (WPM).☆10Aug 20, 2020Updated 5 years ago
- Algorithms, data structures & math !☆23Dec 1, 2025Updated 6 months ago
- Experimental PoC for unhooking API functions using in-memory patching, without VirtualProtect, for one specific EDR.☆14Jul 9, 2023Updated 2 years ago
- Solutions to problems from contest INSEA Game of codes 20222☆19May 26, 2022Updated 4 years ago
- Offensive toolkit and BloodHound graph creator for DPAPI blobs and master key files☆18Jan 10, 2026Updated 5 months ago
- ☆20Sep 8, 2019Updated 6 years ago
- [mirror] UPower-powered power alerter (https://sr.ht/~kennylevinsen/poweralertd/)☆16Apr 20, 2024Updated 2 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.
- A Chrome extension that lets you see through the LinkedIn jargon. Inspired by John Carpenter's They Live.☆10Feb 22, 2018Updated 8 years ago
- 42 cursus (2020/02/24~)☆69Apr 12, 2022Updated 4 years ago
- Bash wrapper for NetExec to quickly validate compromised credentials across SMB, WinRM, RDP, MSSQL, and FTP☆87May 1, 2026Updated last month
- This guide provides comprehensive techniques for penetration testing Active Directory environments. It covers everything from initial rec…☆22Jul 3, 2025Updated 11 months ago
- Solutions of xchg rax,rax☆14Jun 2, 2020Updated 6 years ago
- A simple injector that uses LoadLibraryA☆18Jun 14, 2020Updated 6 years ago
- WinGPG is a tray-based classical Windows application, Windows NT Explorer shell extension, and a classic GPGv2 distribution. Secure your …☆13Jul 31, 2021Updated 4 years ago
- A tool for deploying and benchmarking Ethereum Clients☆10Nov 23, 2021Updated 4 years ago
- linux debugger☆11Sep 29, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.☆11Dec 1, 2023Updated 2 years ago
- ☆10Mar 1, 2024Updated 2 years ago
- My experience using Windows API for offensive purposes☆17Jul 10, 2021Updated 4 years ago
- Template to get you started in a dev environment with next/typescript/tailwind☆10Jan 6, 2023Updated 3 years ago
- The game created during the TypeScript Game Tutorial Series☆15Jan 7, 2023Updated 3 years ago
- A cross-platform tool to work with Security Identifiers (SID) formats.☆17Jun 21, 2025Updated 11 months ago
- Using continual sentiment analysis of social content (twitter, reddit, news, etc), perform profitable trades by following the sentiment/p…☆14Dec 9, 2019Updated 6 years ago
- Realtime model synchronization between Vuex (VueJs) and Eloquent (Laravel).☆11Jul 30, 2018Updated 7 years ago
- personal site at https://adam.dev☆12Jan 15, 2026Updated 4 months 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.
- Support for judge0 API to run/judge code in different languages☆10Sep 17, 2021Updated 4 years ago
- Crafting System [ESX] [QB]☆10May 1, 2024Updated 2 years ago
- Textbook website forked from minimal mistakes☆16Jun 1, 2026Updated last week
- An imperative, statically but weakly typed systems programming language with manual memory management.☆14Jul 15, 2023Updated 2 years ago
- The purpose of this repo is to showcase deploying and testing various proxy patterns with forge☆13Jul 12, 2022Updated 3 years ago
- Cleanup Docker objects periodically☆13Jan 7, 2023Updated 3 years ago
- ☆14Nov 23, 2025Updated 6 months ago