Library to support contract programming in C++
☆62Oct 16, 2025Updated 8 months ago
Alternatives and similar repositories for contract
Users that are interested in contract 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 little tool to substitute the missing windeployqt from mxe☆13Jan 11, 2022Updated 4 years ago
- Easy to use, fast and lightweight C++17 signals and slots library, drop-in replacement for the Boost.Signals2☆34Sep 8, 2023Updated 2 years ago
- Certifiably globally optimal unit quaternion rotation averaging via Sparse Bounded-degree sum of squares optimization.☆17Apr 4, 2019Updated 7 years ago
- A simple tooltip system for QML☆21Apr 14, 2014Updated 12 years ago
- Immutable persistent data structures for C++☆12Nov 24, 2013Updated 12 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.
- Java Api для сервиса РУЗ СПБПУ https://ruz.spbstu.ru/☆11Feb 16, 2021Updated 5 years ago
- Interface for Surf under exwm☆12May 26, 2018Updated 8 years ago
- This is a fast and reliable persistent (immutable) vector class for C++. You can safely share these vectors between threads in multi-thre…☆18Nov 8, 2015Updated 10 years ago
- C++ header-only lib for extracting local patches☆15Nov 3, 2020Updated 5 years ago
- project construction made easy (with SCons) starter tutorial☆10Dec 22, 2020Updated 5 years ago
- Contract programming for C++☆41Apr 27, 2026Updated last month
- A simple and safe C++ plugin system as a header-only library☆16Aug 12, 2021Updated 4 years ago
- Stream Processing ToolKit☆17Aug 14, 2015Updated 10 years ago
- Basic C++ library☆13Mar 21, 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.
- Some tools for Plan9's acme☆15Apr 17, 2025Updated last year
- Simple reinterpretation of the Promise pattern for Haxe☆12Dec 29, 2017Updated 8 years ago
- Your one-stop C and C++ library for URI parsing.☆32Jan 31, 2019Updated 7 years ago
- gitk in your terminal.☆15Mar 6, 2013Updated 13 years ago
- A CLI tool for generating Boost.Python/pybind11 bindings from C/C++☆16Aug 22, 2020Updated 5 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Large-Scale Structure from Motion with Semantic Constraints of Aerial Images, PRCV 2018☆48Mar 24, 2023Updated 3 years ago
- BON - Binary Object Notation☆20Oct 26, 2017Updated 8 years ago
- Hopefully updated status of all my github repositories☆13Nov 23, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Display QML Window frame rate (FPS)☆12Mar 21, 2017Updated 9 years ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago
- A plugin for esbuild to import local shader fragments via #include pragma from GLSL files with .glsl, .vert, .frag, .vs, .fs extensions.☆14Sep 7, 2021Updated 4 years ago
- AsWing is an Open Source Haxe Openfl GUI framework and library that allows programmers to App. Its usage is similar to Java Swing. It pro…☆14Jan 3, 2014Updated 12 years ago
- Plan 9 from User Space (plan9port) configuration☆16Jul 21, 2024Updated last year
- ☆11Jan 10, 2019Updated 7 years ago
- Formatting library for Haxe.☆21May 1, 2023Updated 3 years ago
- Systemd Robot Initialization☆13Oct 31, 2019Updated 6 years ago
- Type declaration for Duktape☆10Apr 8, 2019Updated 7 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.
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 11 years ago
- Record ROS for web-animation☆35Jan 24, 2019Updated 7 years ago
- MOVED: https://github.com/eliasku/ekx☆11Mar 23, 2023Updated 3 years ago
- Prototype compiler from AWS CloudFormation IaC templates into Logic.☆13Dec 5, 2023Updated 2 years ago
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- Implementation of [Understanding and Improving Kernel Local Descriptors](https://arxiv.org/abs/1811.11147) using PyTorch.☆18Jan 6, 2021Updated 5 years ago
- realtime pipeline processing engine☆62Aug 6, 2014Updated 11 years ago