A compiler for my educational research programming language that supports homogeneous metaprogramming
☆20Jun 1, 2017Updated 8 years ago
Alternatives and similar repositories for swy
Users that are interested in swy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- pushmi project☆50Mar 12, 2019Updated 7 years ago
- Native runtime library equipped with Java/JavaScript-like API☆31Jan 1, 2016Updated 10 years ago
- Modern C++ bindings for the Win32 API.☆16Aug 22, 2014Updated 11 years ago
- Easy WebSocket server and client library implemented using C++14 and Boost.Beast.☆14Sep 30, 2020Updated 5 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Feb 9, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Use functors, lambdas and std::chrono to schedule tasks in the near future☆94Aug 12, 2021Updated 4 years ago
- sandbox for my c++ functional programming experiments☆33Jul 3, 2013Updated 12 years ago
- Filesystem changes monitor using boost::asio © Boris Schaeling☆89Mar 16, 2025Updated last year
- Support for С++20 std::stop_token to interrupt the blocking Linux syscalls without throwing any exception.☆20Jul 6, 2020Updated 5 years ago
- An OpenMP runtime implemented using HPX☆25Aug 4, 2022Updated 3 years ago
- A small cheat sheet of what one needs to remember about the coroutines☆11May 22, 2020Updated 5 years ago
- A prototype implementation of the executors proposal☆87Feb 8, 2019Updated 7 years ago
- Boost.Proto, rewritten and redesigned for C++11☆28Oct 7, 2013Updated 12 years ago
- A proposal for a futures programming model for ISO C++☆23Aug 1, 2018Updated 7 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.
- Smart pointer for any movable objects. When trackable object moved/destroyed, trackers updated with new object's pointer.☆25May 18, 2019Updated 6 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆20Apr 23, 2021Updated 4 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- emailverifier-kt is a composable, pluggable Kotlin library for validating email addresses beyond just their syntax. It's built with a cle…☆28Jul 31, 2025Updated 7 months ago
- A proposal for a executor programming model for ISO C++☆142Sep 10, 2020Updated 5 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Knot is a lightweight and simple TCP networking C++ library with no dependencies.☆29Sep 10, 2015Updated 10 years ago
- Usefull cmake macros☆22Apr 11, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- C++ async operations☆100May 1, 2015Updated 10 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- ☆16Feb 18, 2025Updated last year
- Small snippets of async code that solve specific async problems.☆13Feb 18, 2019Updated 7 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 2 months ago
- ☆15Nov 29, 2019Updated 6 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- 即构语音SDKDemo☆10Dec 20, 2016Updated 9 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 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.
- Tool to automatically fix some issues reported by flake8 (previously forked from autoflake).☆23Jul 29, 2023Updated 2 years ago
- ☆21Feb 26, 2019Updated 7 years ago
- CMake plugin composer.☆43Feb 6, 2023Updated 3 years ago
- Compile Time Turing Machine☆16Mar 27, 2016Updated 9 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- 두물머리의 새 동료를 찾습니다.☆14Jan 18, 2019Updated 7 years ago