do-notation DSL for C++
☆16Mar 10, 2026Updated 4 months ago
Alternatives and similar repositories for do_let_is
Users that are interested in do_let_is 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 Python bot for Telegram that hosts mafia games.☆14Jan 17, 2017Updated 9 years ago
- A header only job-based parallelism framework for C++☆15May 17, 2022Updated 4 years ago
- A self-contained, minimal runtime for parallel task execution in C++20. Finished. No more improvments will be.☆16Apr 14, 2026Updated 3 months ago
- A telegram bot that tags all the users in a group.☆13Oct 29, 2021Updated 4 years ago
- Air raid Sirens in Ukraine Linux widget☆19May 9, 2022Updated 4 years 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.
- A set of tutorials that demonstrates how to write a video player based on FFmpeg☆12Jun 5, 2024Updated 2 years ago
- Control the CPU affinity of WSL2☆20Apr 8, 2021Updated 5 years ago
- Virtual Machine and Compiler☆20Jan 6, 2023Updated 3 years ago
- DarkTitle enforces dark window titlebars for all Win32 top-level windows.☆18Aug 15, 2024Updated last year
- A bash script for searching Troy Hunt's pwnedpasswords☆22May 28, 2019Updated 7 years ago
- python module to manipulate text, strings and list of strings☆21May 10, 2022Updated 4 years ago
- A structured, fast C and C++ reference built on cppreference data.☆16Mar 6, 2026Updated 4 months ago
- OpenWeatherMap api client in C++☆23May 1, 2026Updated 2 months ago
- A Library That Makes Programming in C Sane☆25Oct 20, 2022Updated 3 years 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.
- Simple json parser☆25Apr 20, 2026Updated 3 months ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- A KDE Plasma widget inspired from Cleartext Rainmeter widget☆42Jul 12, 2026Updated last week
- Awesome list dedicated to Windows Subsystem for Linux☆24Sep 26, 2023Updated 2 years ago
- Grids for Delphi, Lazarus.☆11Jun 29, 2026Updated 3 weeks ago
- Public issue tracker for Stalcraft API☆16Jun 17, 2026Updated last month
- PwnHub is a CTF collaboration platform written in Bash, originally built as a response to a joke about the Bash Stack by yousuckatprogram…☆20Jun 13, 2025Updated last year
- performance counters in C++☆28Apr 24, 2026Updated 2 months ago
- Snobol3 from V6 Unix ported to modern OSes☆10Jan 3, 2017Updated 9 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.
- SDN-IP solution with BGP protocol☆14Feb 1, 2016Updated 10 years ago
- Use Git as an npm registry // Mirror of https://git.chor.date/Conduitry/npm2git☆13May 19, 2019Updated 7 years ago
- A demonstration of tracing dynamic library loading and unloading on Linux.☆20Jul 15, 2017Updated 9 years ago
- SLIME extension for Lisp Critic☆10Jul 2, 2023Updated 3 years ago
- Some examples to understand the workflow of using Go C Bindings☆10May 22, 2016Updated 10 years ago
- Qt application for testing OpenCV filters☆22Sep 4, 2024Updated last year
- ☆12Feb 28, 2026Updated 4 months ago
- ShellGPT analogue for use with russian GigaChat☆12Jan 14, 2024Updated 2 years ago
- mtag is the command-line tool for media files tagging☆10Jun 16, 2023Updated 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 modern, cross-platform functional-first shell programming☆28Jul 14, 2026Updated last week
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated 2 years ago
- Simple Top-Down 2D RPG game with Raylib☆14Feb 1, 2022Updated 4 years ago
- An UE5 plugin that integrates Discord's GameSDK.☆24May 17, 2025Updated last year
- a library for building type-erasing wrappers☆15Apr 20, 2026Updated 3 months ago
- Create FORTH code for register definitions of ARM Cortex-M devices based on its CMSIS SVD XML description☆10Aug 8, 2014Updated 11 years ago
- a simearth clone☆14Jun 25, 2020Updated 6 years ago