Prevent whole classes of errors by constraining input parameters
☆25Jan 22, 2026Updated 8 months ago
Alternatives and similar repositories for snct-constraints
Users that are interested in snct-constraints are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Certifiable solvers for the relative pose problem (RPp) with known gravity vector☆13Feb 16, 2023Updated 3 years ago
- Hex Editor Neo Structure Definition File Library☆13Jul 4, 2025Updated last year
- C++1z variant, never empty, constexpr visit/multivisit (perfect forwarding for visitor and its parameters), delayed visitor, composite vi…☆13Nov 16, 2016Updated 9 years ago
- A C++ framework that implements generalised finite state machines☆11Mar 18, 2022Updated 4 years ago
- Struct Padding Optimizer☆21Oct 28, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Measures how parsing overweight the major STLs have become☆60Nov 4, 2020Updated 5 years ago
- A C++17 metaprogramming library. Strings, Parsing, Typelists, Aggregate to Tuple conversions and Constant integral literals☆52Jan 25, 2019Updated 7 years ago
- ☆14Nov 15, 2022Updated 3 years ago
- Time to #include standard library and other C++ headers.☆106Jun 24, 2021Updated 5 years ago
- A modern, safer alternative to the C++ Standard Library (for Linux/BSD)☆41Jan 23, 2026Updated 8 months ago
- C++ compatibility layer for porting existing Go code☆10Sep 16, 2026Updated last month
- A compile-time header-only C++17 library for dataflow programing.☆27Nov 29, 2023Updated 2 years ago
- A collection of generic, C++ Bloom Filter classes developed for the Boost C++ Libraries.☆25May 18, 2017Updated 9 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Frame-to-Frame Registration using Gaussian Mixture Models.☆23Mar 2, 2024Updated 2 years ago
- thin and lightweight, fast, ODBC API wrapper for modern C++ uses☆45Oct 8, 2026Updated last week
- ☆21Sep 15, 2024Updated 2 years ago
- String to Number conversion constexpr library, for char and wchar_t strings.☆21Apr 25, 2026Updated 5 months ago
- eigen-qld allow to use the QLD QP solver with the Eigen3 library.☆17Updated this week
- This project leverages TensorFlow Lite's body segmentation to replace the background in real-time on Android devices. Using deep learning…☆13Jun 2, 2026Updated 4 months ago
- Low memory overhead allocator☆33Nov 14, 2024Updated last year
- A migration path to C++ library extensions scope_exit, scope_fail, scope_success, unique_resource, C++ standard libraries extensions, ver…☆55Oct 10, 2026Updated last week
- Plugin to Eigen3 to initialize Matrices with C++11 Initializer_lists☆25Apr 24, 2017Updated 9 years 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.
- A small header-only library that simplifies Windows kernel-mode WDM and KMDF driver development using C++ and STL.☆16Oct 29, 2025Updated 11 months ago
- HlsKit provides strong HLS video conversion features backed by ffmpeg. Prepare your mp4 files for streaming.☆13Aug 8, 2025Updated last year
- Schematics, footprints and scripts I've made and tested for KiCad☆13Jun 24, 2020Updated 6 years ago
- Cpp-Python library for state estimation in 2D and 3D by solving graph optimization☆25Sep 14, 2026Updated last month
- OpenTelemetry layer for HTTP/gRPC services☆14Updated this week
- Standards-compliant HTTP caching transport for Go clients (RFC 9111).☆47Aug 11, 2026Updated 2 months ago
- Simple mutation-testing☆48Apr 10, 2024Updated 2 years ago
- Go package with more powerful, flexible, and safe API for regular expressions based on lazy iterators☆15Apr 14, 2025Updated last year
- A MCP (Model Context Protocol) server to allow code security reviews using https://osv.dev (Open Source Vulnerabilities Database)☆15Dec 24, 2025Updated 9 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.
- std::optional for C++20☆32Jan 10, 2024Updated 2 years ago
- An unofficial pure Rust rewritten kiss-icp, A LiDAR odometry pipeline that just works☆26Feb 6, 2024Updated 2 years ago
- ModernCOM - define, implement and use COM interfaces in pure C++☆20Jul 23, 2020Updated 6 years ago
- Dispatch Toasts, Navigation & Permissions from KMP shared ViewModels to Android/iOS — zero memory leaks, survives screen rotation. Works …☆14Oct 1, 2026Updated 2 weeks ago
- Plotting and exporting of variables from GDB☆27Sep 27, 2026Updated 3 weeks ago
- [TIM'2024] Official codes of AM-Align: Globally Optimal Estimation of Accelerometer-Magnetometer Misalignment☆33Feb 23, 2025Updated last year
- Example implementation for std::synchronized_value☆29Dec 25, 2024Updated last year