Library to support contract programming in C++
☆62Oct 16, 2025Updated 9 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
- Minimal SML-based web server☆14Jun 19, 2015Updated 11 years ago
- Certifiably globally optimal unit quaternion rotation averaging via Sparse Bounded-degree sum of squares optimization.☆17Apr 4, 2019Updated 7 years ago
- Java Api для сервиса РУЗ СПБПУ https://ruz.spbstu.ru/☆11Feb 16, 2021Updated 5 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
- 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 simple tooltip system for QML☆21Apr 14, 2014Updated 12 years ago
- Immutable persistent data structures for C++☆12Nov 24, 2013Updated 12 years ago
- OpenGL interop example using WGL_NV_DX_interop2☆10Mar 8, 2018Updated 8 years ago
- OpenABLE is an open toolbox that contributes different solutions and functionalities to the research community in the topic of life-long …☆41Nov 30, 2017Updated 8 years ago
- Example code for generating pybind11 bindings with Boost.Hana.☆21Nov 9, 2018Updated 7 years ago
- A C/C++ library and an utility to compare and manipulate versions numbers complying with Semantic Versioning 2.0.0☆14Jan 3, 2025Updated last year
- Generic C++14 Database Construction Library☆16Jul 12, 2018Updated 8 years ago
- Miscellaneous Useful Utilities for C++.☆29Dec 20, 2023Updated 2 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- BON - Binary Object Notation☆20Oct 26, 2017Updated 8 years ago
- Safe integer utilities for C++11☆16Jun 17, 2014Updated 12 years ago
- Play multimedia files from org-mode☆12Updated this week
- The opentheory tool processes higher order logic theory packages☆18Jun 19, 2026Updated last month
- Store private data inside a git repository.☆25May 18, 2023Updated 3 years ago
- ☆12Oct 12, 2016Updated 9 years ago
- CxxProf is a manual instrumented Profiling library for C++. It's goal is to provide easy integration into existing projects with just as …☆57Sep 29, 2016Updated 9 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Feb 13, 2018Updated 8 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 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.
- 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
- Helper scripts for C++ static analysis☆20Jul 20, 2021Updated 5 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- Benchmark comparing various data serialization libraries (thrift, protobuf etc.) for C++☆36Oct 21, 2016Updated 9 years ago
- This tool generate minimal reflection info about classes and enums based on clang 3.2☆24Jun 28, 2015Updated 11 years ago
- C++ header-only lib for extracting local patches☆15Nov 3, 2020Updated 5 years ago
- another c#-like property accessor for C++11 and above.☆16May 6, 2026Updated 2 months ago
- 🕸️ Glue C++ to your browser! Universal bindings for JavaScript/Wasm using Glue and Embind.☆22Jan 7, 2024Updated 2 years ago
- how to avoid implicit conversion in c++☆14Aug 11, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SML Parser Combinator Library☆28Apr 30, 2016Updated 10 years ago
- C++11 template meta-programming library.☆49Feb 25, 2015Updated 11 years ago
- Demontrates the power and simplicity of writing C++ programs in the data abstraction-style.☆42Oct 15, 2018Updated 7 years ago
- ☆20Mar 12, 2026Updated 4 months ago
- contiguous container library - arrays with customizable allocation, small buffer optimization and more☆259Mar 25, 2020Updated 6 years ago
- Stream Processing ToolKit☆17Aug 14, 2015Updated 10 years ago
- Contract programming for C++☆41Jul 13, 2026Updated 2 weeks ago