A simple validation.

The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL is a text based language that provides constraint and object query expressions that cannot be expressed by a meta modelling language.

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

🐉 Modular version of Draco visualization recommendation engine

An open-source data logging library for machine learning models and data pipelines. 📚 Provides visibility into data quality & model performance over time. 🛡️ Supports privacy-preserving data collection, ensuring safety & robustness. 📈

An open-source Java library for Constraint Programming

Embeddable Lambda Prolog Interpreter

The expressive validation library for Kotlin

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

policy-password is a Node library written in Typescript to generate passwords according to policies and constraints.

Protocol Buffer Validation - Being replaced by github.com/bufbuild/protovalidate

Introduction to modern Prolog

High-level UAV managers in ROS, part of the "mrs_uav_core" package.

A Kubernetes controller designed to manage add-on compliance for a fleet of clusters.

Conjure: The Automated Constraint Modelling Tool

Clustering with connectivity (regionalization) and/or minimum-maximum size constraints

Constraint Solver ACE

Mixed set of PMD rules regarding basic bugs, design principles, junit test, naming etc.

Incremental computation through constrained memoization.

A Python Library for modeling combinatorial constrained problems

Python packages providing a library for Verification Stimulus and Coverage

Structured Query Language

gophersat, a SAT solver in Go

A Python validator for SHACL

Autolayout DSL

Applies a patch from a local or remote file to any package that is part of a given composer project. Patches can be defined both on project and on package level. Optional support for patch versioning, sequencing, custom patch applier configuration and composer command for testing/troubleshooting patches.

A python Linear Programming API

Composer plugin to automatically update all packages to newest version for specified package constraints

This repository contains the project's PowerPoint presentation - with codes inside.

Convenience functions and template haskell for working with constraints