GitHub topics: constraints

Repositories

dry-rb/dry-types

Flexible type system for Ruby with coercions and constraints

Language: Ruby - Size: 2.26 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 877 - Forks: 136

OCamlPro/owi

Seamless bug-finding for C, C++, Rust, Wasm and Zig

Language: OCaml - Size: 25 MB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 268 - Forks: 33

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.

Language: TypeScript - Size: 4.15 MB - Last synced at: about 12 hours ago - Pushed at: 3 days ago - Stars: 57 - Forks: 10

typst/comemo

Incremental computation through constrained memoization.

Language: Rust - Size: 188 KB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 559 - Forks: 23

dry-rb/dry-struct

Typed struct and value objects

Language: Ruby - Size: 763 KB - Last synced at: 3 days ago - Pushed at: 6 days ago - Stars: 434 - Forks: 63

freshOS/Stevia

:leaves: Concise Autolayout code

Language: Swift - Size: 1.21 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 3,419 - Forks: 220

namin/holey

Python library for program synthesis and symbolic execution combining constraint solving and LLMs

Language: Python - Size: 4.08 MB - Last synced at: 4 days ago - Pushed at: 6 days ago - Stars: 31 - Forks: 4

mwalz365/prolog-kne

🧠 Enhance logic programming with Prolog-KNE, a toolkit for knowledge extraction and natural language understanding in Prolog environments.

Size: 1.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

samber/lo

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

Language: Go - Size: 4.98 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 20,684 - Forks: 919

roberthein/TinyConstraints

Nothing but sugar.

Language: Swift - Size: 35.7 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 4,085 - Forks: 199

dgg/testing-commons

Classes and extensions that help testing code in general and more specific areas such as configuration and web artifacts.

Language: C# - Size: 36.2 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 90.1 MB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 32 - Forks: 6

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 977 KB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 12 - Forks: 3

youngsoft/MyLinearLayout

MyLayout is a powerful iOS UI framework implemented by Objective-C. It integrates the functions with Android Layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,PathLayout,GridLayout,LayoutSizeClass to build your App 自动布局 UIView UITableView UICollectionView RTL

Language: Objective-C - Size: 40.3 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 4,417 - Forks: 896

SnapKit/SnapKit

A Swift Autolayout DSL for iOS & OS X

Language: Swift - Size: 2.76 MB - Last synced at: 9 days ago - Pushed at: 7 months ago - Stars: 20,299 - Forks: 2,038

Artityagi123456789/System_Verilog-Constraint_Solution

Language: SystemVerilog - Size: 12.7 KB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 4 - Forks: 0

xcsp3team/XCSP3-CPP-Parser

XCSP3 Core Parser in C++

Language: C++ - Size: 4.12 MB - Last synced at: 9 days ago - Pushed at: 13 days ago - Stars: 19 - Forks: 11

xcsp3team/PyCSP3-models

Models (and data) of constrained problems developped with the library PyCSP3

Language: Python - Size: 17.1 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 11 - Forks: 1

nandi-hope/MySQL-Employee-Database-Project

End-to-end MySQL project showcasing constraints, joins, and indexing for efficient relational database design.

Size: 657 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

andrewcmyers/constrain

Responsive, animated figures in JavaScript/HTML canvases

Language: JavaScript - Size: 3.31 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 137 - Forks: 2

bufbuild/protoc-gen-validate

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

Language: Go - Size: 14.1 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 4,062 - Forks: 598

fvutils/pyvsc

Python packages providing a library for Verification Stimulus and Coverage

Language: Python - Size: 7.17 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 130 - Forks: 30

cmudig/draco2

🐉 Modular version of Draco visualization recommendation engine

Language: Python - Size: 7.53 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 101 - Forks: 15

Firm4nN/verjail-pattern

verjail pattern | definisi | filosofi | dimensi | sebuah upaya membaca pola kebenaran yang dipenjara oleh diri, narasi, dan kekuasaan — dalam ketegangan abadi antara yang ideal dan realitas.

Language: HTML - Size: 1.49 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.8 MB - Last synced at: 20 days ago - Pushed at: 23 days ago - Stars: 738 - Forks: 149

RDFLib/pySHACL

A Python validator for SHACL

Language: Python - Size: 4.31 MB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 294 - Forks: 67

coin-or/pulp

A python Linear Programming API

Language: Python - Size: 95.4 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 2,364 - Forks: 422

acco32/Operations-Research

Operations Research in F#

Language: F# - Size: 2.36 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 12 - Forks: 1

xcsp3team/XCSP3-Java-Tools

XCSP3 Tools in Java

Language: Java - Size: 8.01 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 5

DawsonInstitute/coherence-gravity-coupling

Modified gravity framework exploring coherence-field coupling (ξRΦ²), curvature-EM coupling (κ_R RF²), and BSM parameter space (dark photon, axion). Validated 3D solver, null-result constraints, tabletop feasibility analysis.

Language: Python - Size: 4.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

galojix/roster-wizard

An automatic rostering system that can handle skill mix requirements, staff requests and shift sequence rules

Language: Python - Size: 1.29 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 52 - Forks: 11

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 110 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 108 - Forks: 22

svalver/arcade-macroevolution

Data and code for "The Cultural Macroevolution of Arcade Video Games: Innovation, Collaboration, and Collapse"

Language: Jupyter Notebook - Size: 25.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

nakiostudio/EasyPeasy

Auto Layout made easy

Language: Swift - Size: 9.48 MB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 1,940 - Forks: 117

LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Language: Prolog - Size: 43 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 329 - Forks: 43

xcsp3team/pycsp3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 213 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 74 - Forks: 10

fnando/ar-check

Enable PostgreSQL's CHECK constraints on ActiveRecord migrations

Language: Ruby - Size: 24.4 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 16 - Forks: 1

whylabs/whylogs

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. 📈

Language: Jupyter Notebook - Size: 181 MB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 2,764 - Forks: 134

chhailongsann/BXAnchor

BXAnchor is a Swift Package that simplifies NSLayoutConstraint creation in UIKit using a fluent, readable syntax. Designed for iOS apps that prefer programmatic layout over Interface Builder.

Language: Swift - Size: 33.2 KB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

apache/incubator-kie-optaplanner

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

Language: Java - Size: 233 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3,427 - Forks: 961

HotPotatoC/sture

🧱 Sture is a collection of data structures based on Go 1.18+ Generics (Stack, Queue, Linked List, etc.)

Language: Go - Size: 43.9 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 35 - Forks: 2

Rightpoint/BonMot

Beautiful, easy attributed strings in Swift

Language: Swift - Size: 4.79 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 3,562 - Forks: 200

mdiep/Logician

Logic programming in Swift

Language: Swift - Size: 86.9 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 198 - Forks: 9

lucas34/SwiftQueue

Job Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more

Language: Swift - Size: 778 KB - Last synced at: 10 days ago - Pushed at: 6 months ago - Stars: 420 - Forks: 44

kean/Align

Intuitive and powerful Auto Layout library

Language: Swift - Size: 2.72 MB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 354 - Forks: 15

lume/kiwi

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

Language: TypeScript - Size: 555 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 189 - Forks: 9

namin/clpset-miniKanren

CLP(Set) in miniKanren

Language: Scheme - Size: 55.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 24 - Forks: 4

munoabr8/structural-drift-toolchain

Pre-commit structural drift tool. Intent is to compliement Git and mature solutions(ie Terra-form)

Language: Shell - Size: 2.57 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

JonasBreuling/scipy_dae

Python implementation of solvers for differential algebraic equation's (DAE's) that should be added to scipy one day.

Language: Python - Size: 79.6 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 33 - Forks: 3

tafaust/policy-password

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

Language: TypeScript - Size: 39.7 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 2

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 30.6 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 38 - Forks: 6

barbieswimcrew/zip-code-validator

Constraint Class for international Zipcode Validation

Language: PHP - Size: 89.8 KB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 76 - Forks: 20

ciao-lang/ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Language: Prolog - Size: 15.3 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 315 - Forks: 24

censujiang/vite-plugin-global-const

Define constants for your project to facilitate reuse of your code across multiple products

Language: TypeScript - Size: 57.6 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0

ctu-mrs/mrs_uav_managers

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

Language: C++ - Size: 3.23 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 27 - Forks: 9

d-plaindoux/apacen

Constraint logic programming language

Language: Kotlin - Size: 174 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

CrispStrobe/dartCSP

dart Constraint Satisfaction Problems handler

Language: Dart - Size: 221 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

AnthonyLatsis/Anchora

A small framework that abstracts over UIKit's Auto Layout engine in a native style to tidy up your constraints.

Language: Swift - Size: 348 KB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

marcbouchenoire/sketch-constraints 📦

📏 A plugin that integrates constraints in Sketch to lay out layers.

Language: JavaScript - Size: 4.54 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1,267 - Forks: 38

jaysack/JSConstraints

A tiny Swift library for iOS written with only one thing in mind: Blazin' Fast Constraints-Typing.

Language: Swift - Size: 275 KB - Last synced at: 25 days ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1

realkushagrakhare/3D_Path_Planning

AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file

Language: Python - Size: 5.74 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 123 - Forks: 39

techysanoj/SQL-Course

Step-by-step SQL tutorials and practical examples covering queries, constraints, transactions, and more. Ideal for beginners, interview prep, and anyone looking to master SQL—from basics to advanced.

Size: 44.9 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

bleargh45/Data-FormValidator-Constraints-MethodsFactory

Create constraints for Data::FormValidator

Language: Perl - Size: 40 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

PasoUnleashed/Parameterize.Net

Parameterize.Net is a library that allows developers to represent complex objects using float array.

Language: C# - Size: 2.51 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 31 - Forks: 1

nullobject/rein

Database constraints made easy for ActiveRecord.

Language: Ruby - Size: 300 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 672 - Forks: 32

onmyway133/EasyAnchor

⚓️ Declarative, extensible, powerful Auto Layout

Language: Swift - Size: 3.15 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 456 - Forks: 28

linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

Language: Python - Size: 705 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 0

Xander-Junior/ghis-timetable

Constraints-first timetable generator for Glory Hills International School (GHIS). Exports CSV/HTML and validation reports.

Language: Python - Size: 161 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

vaimo/composer-patches

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.

Language: PHP - Size: 1.8 MB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 296 - Forks: 43

nerdycat/NerdyUI

An easy way to create and layout UI components for iOS.

Language: Objective-C - Size: 1.82 MB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 400 - Forks: 58

JulienVincenot/MOZLib

A Max package dedicated to computer-aided composition, non-official satellite of the bach family. Originally a simple set of pedagogical modules for beginners of CAC, MOZ'Lib keeps expanding and now includes PWforMax, which brings the power of Lisp-based symbolic AI in real time !

Language: Max - Size: 205 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 1

pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

Language: Python - Size: 5.66 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 615 - Forks: 139

rindPHI/isla

The ISLa (Input Specification Language) language & solver.

Language: Python - Size: 27.3 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 71 - Forks: 10

lordisma/pyCC

Clustlib is a Python library that provides a unified framework for constrained clustering algorithms

Language: Python - Size: 833 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Gepetto/constraints-as-terminations

Integrating Constraints in PPO (using Isaac Gym or Isaac Lab)

Language: Python - Size: 3.13 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 113 - Forks: 12

mezhevikin/Pin

📌 A tiny library that makes working with AutoLayout easier. Only 200 lines of code.

Language: Swift - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 0

k-o-d-e-n/LayoutUI

Constraint-based autolayout system written on Swift. Not Autolayout wrapper. Reimplemenation of CGLayout.

Language: Swift - Size: 204 KB - Last synced at: 25 days ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0

martineausw/ziggurat

Type assertion and constraints zig library.

Language: Zig - Size: 3.48 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

QuMuLab/bauhaus

Build logical theories for SAT solvers on the fly

Language: Python - Size: 714 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 2

chubbyphp-legacy/chubbyphp-validation 📦

A simple validation.

Language: PHP - Size: 534 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

yangeorget/nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

Language: Python - Size: 2.62 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 48 - Forks: 1

Masterminds/semver

Work with Semantic Versions in Go

Language: Go - Size: 1.46 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 1,335 - Forks: 158

ShaliniVerma21/MySQL-Queries-and-Excersizes-Batch13thJan-2025

Designed to help students and beginners build a solid foundation in database management and SQL. 🌟 📘 Structured Learning: Progress day by day with clear, organized exercises. 🎯 Practical Application: Learn SQL skills for academic, project, and professional needs. 💡 Collaborative Space: Share and enhance your knowledge with a growing community.

Size: 123 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

jubianchi/semver-check

Online SemVer Checker

Language: JavaScript - Size: 2.97 MB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 110 - Forks: 15

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.4 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 382 - Forks: 23

ThotapalliSriniveshReddy/University-Resource-Allocator

Student Management System in C++ - OOP university system managing BTech & DualDegree students with faculty.Features: Random data generation, faculty advisor assignment, CGPA-based project guides, hostel-based allocation, TA supervision, constraint validation, overlap analysis, multi-criteria sorting, and workload distribution tracking and lot more!

Language: C++ - Size: 5.86 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0