GitHub topics: constraints | Ecosyste.ms: Repos

roberthein/TinyConstraints

Nothing but sugar.

Language: Swift - Size: 35.7 MB - Last synced at: about 19 hours ago - Pushed at: about 1 year ago - Stars: 4,061 - Forks: 199

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: about 12 hours ago - Pushed at: about 1 year ago - Stars: 4,420 - Forks: 898

OCamlPro/owi

Symbolic execution for Wasm, C, C++, Rust and Zig

Language: OCaml - Size: 19 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 222 - Forks: 31

mdiep/Logician

Logic programming in Swift

Language: Swift - Size: 86.9 KB - Last synced at: 1 day ago - Pushed at: about 5 years ago - Stars: 197 - Forks: 10

lume/kiwi

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

Language: TypeScript - Size: 555 KB - Last synced at: 2 days ago - Pushed at: 18 days ago - Stars: 173 - Forks: 9

JuliaConstraints/Constraints.jl

Shared package to handle constraints for the different solvers from JuliaConstraints

Language: Julia - Size: 532 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 0

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.4 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 719 - Forks: 146

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.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 293 - Forks: 45

JuliaConstraints/CompositionalNetworks.jl

A Julia package for Interpretable Compositional Networks (ICN), a variant of neural networks, allowing the user to get interpretable results, unlike regular artificial neural networks.

Language: Julia - Size: 59.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 13 - Forks: 1

SnapKit/SnapKit

A Swift Autolayout DSL for iOS & OS X

Language: Swift - Size: 2.76 MB - Last synced at: 3 days ago - Pushed at: 30 days ago - Stars: 20,192 - Forks: 2,014

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 30.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 36 - Forks: 5

JuliaConstraints/ConstraintDomains.jl

A package to handle the domain of variables in JuliaConstraints packages.

Language: Julia - Size: 1.2 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 6 - 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: 2 days ago - Pushed at: 6 days ago - Stars: 3,384 - Forks: 957

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 1.01 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 3

martineberlein/fandango-learn

FandangoLearn is a constraint miner to identify input invariants.

Language: Python - Size: 514 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

samber/lo

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

Language: Go - Size: 2.72 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 19,503 - Forks: 877

cmudig/draco2

🐉 Modular version of Draco visualization recommendation engine

Language: Python - Size: 7.05 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 91 - Forks: 13

Masterminds/semver

Work with Semantic Versions in Go

Language: Go - Size: 1.43 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 1,303 - Forks: 156

bufbuild/protoc-gen-validate

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

Language: Go - Size: 14 MB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 3,932 - Forks: 595

freshOS/Stevia

:leaves: Concise Autolayout code

Language: Swift - Size: 1.2 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 3,403 - Forks: 215

coin-or/pulp

A python Linear Programming API

Language: Python - Size: 95.2 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2,257 - Forks: 411

dry-rb/dry-types

Flexible type system for Ruby with coercions and constraints

Language: Ruby - Size: 2.34 MB - Last synced at: 4 days ago - Pushed at: 11 days ago - Stars: 868 - Forks: 135

dry-rb/dry-struct

Typed struct and value objects

Language: Ruby - Size: 781 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 424 - Forks: 62

LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Language: Prolog - Size: 41.6 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 312 - Forks: 37

pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

Language: Python - Size: 4.73 MB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 599 - Forks: 136

d-plaindoux/apacen

Constraint logic programming language

Language: Kotlin - Size: 1.95 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 109 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 104 - Forks: 22

JulienVincenot/MOZLib

A set of pedagogical tools for MaxMSP, dedicated to introduce musicians to the world of computer-aided / algorithmic composition and programming.

Size: 1 GB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 16 - Forks: 1

fvutils/pyvsc

Python packages providing a library for Verification Stimulus and Coverage

Language: Python - Size: 6.99 MB - Last synced at: 9 days ago - Pushed at: 28 days ago - Stars: 121 - Forks: 30

SteKoe/ocl.js

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.19 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 57 - Forks: 10

Hareski/language-free-acq

A method for learning a constraint network with only solutions and non-solutions but no knowledge of the language to be used.

Language: Python - Size: 2.79 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

youngsoft/TangramKit

TangramKit is a powerful iOS UI framework implemented by Swift. 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,LayoutSizeClass to build your App 自动布局 UIView UITableView UICollectionView

Language: Swift - Size: 5.48 MB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 1,216 - Forks: 175

typst/comemo

Incremental computation through constrained memoization.

Language: Rust - Size: 86.9 KB - Last synced at: 16 days ago - Pushed at: 7 months ago - Stars: 510 - Forks: 22

nakiostudio/EasyPeasy

Auto Layout made easy

Language: Swift - Size: 9.48 MB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 1,938 - Forks: 117

Dgame/php-ensurance

Language: PHP - Size: 137 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 2

gavincangan/multiagent-pathfinding

Conflict-based search for multi-agent path finding

Language: Python - Size: 60.5 KB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 108 - Forks: 15

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: 17 days ago - Pushed at: 5 months ago - Stars: 2,718 - Forks: 126

kean/Arranged 📦

Open source replacement of UIStackView for iOS 8 (100% layouts supported)

Language: Swift - Size: 146 KB - Last synced at: 10 days ago - Pushed at: over 5 years ago - Stars: 207 - Forks: 16

Sibakumarpanda/SystemVerilog_Constraint_Coding_by_Siba

SystemVerilog Constraints Practice

Language: SystemVerilog - Size: 249 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0

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: 13 MB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 303 - Forks: 23

dsalahutdinov/activerecord-data_integrity

Check data integrity for your ActiveRecord models

Language: Ruby - Size: 91.8 KB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 12 - Forks: 2

nerdycat/Cupcake

An easy way to create and layout UI components for iOS (Swift version).

Language: Swift - Size: 766 KB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 290 - Forks: 39

matt-curtis/Fluid-for-Sketch

[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints

Language: Objective-C - Size: 6.18 MB - Last synced at: 22 days ago - Pushed at: almost 7 years ago - Stars: 2,380 - Forks: 68

RDFLib/pySHACL

A Python validator for SHACL

Language: Python - Size: 4.28 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 273 - Forks: 67

kushitec15691/sql-database-design-and-transactions

A hands-on SQL project demonstrating database creation with DDL, data manipulation using DML, constraints handling, and transaction processing — executed on Oracle LiveSQL.

Language: PLSQL - Size: 3.57 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

evilmartians/evil-struct

Nested structure with type constraints, based on the `dry-initializer` DSL

Language: Ruby - Size: 18.6 KB - Last synced at: 1 day ago - Pushed at: over 8 years ago - Stars: 11 - Forks: 2

nicolaischneider/SimpleConstraints

SimpleConstraints is a Swift library designed to simplify the process of creating and managing constraints in UIKit. It provides a set of utilities that make it easier to align and position UI elements in your iOS applications.

Language: Swift - Size: 258 KB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 3 - 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.47 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 45 - Forks: 11

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 92.9 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 30 - Forks: 5

innoave/valid

composable validation functions for custom types

Language: Rust - Size: 122 KB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 14 - Forks: 0

compas-dev/compas_shapeop

COMPAS binding for the ShapeOp library using nanobind

Language: C++ - Size: 32.9 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 1 - Forks: 1

ctu-mrs/mrs_uav_managers

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

Language: C++ - Size: 2.52 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 22 - Forks: 8

namin/clpsmt-miniKanren

CLP(SMT) on top of miniKanren

Language: Scheme - Size: 332 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 36 - Forks: 8

namin/clpset-miniKanren

CLP(Set) in miniKanren

Language: Scheme - Size: 54.7 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 4

namin/holey

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

Language: Python - Size: 4.24 MB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 20 - Forks: 3

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: 67 - Forks: 9

xcsp3team/PyCSP3-models

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

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

Jojjerg/valix

Go package for validating requests constraints, request, requests, validation, validator, validators

Language: Go - Size: 248 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

romdevios/LayoutChain

A Swift Auto Layout DSL for iOS

Language: Swift - Size: 50.8 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

Ganesh774218/MYSQL-Inventory-Management-System

This project involves designing and implementing a relational database to manage inventory in a warehouse or retail environment. It allows tracking of products, suppliers, current stock levels, and purchase orders. The system also supports inventory analysis and reorder tracking

Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

xcsp3team/XCSP3-Java-Tools

XCSP3 Tools in Java

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

AntoJebi7/SQL_Specimen

🎯 Simple Resource for Mastering PostgreSQL & SQL Operations 🚀 Learn concepts, practice operations, and see real-world examples.

Size: 42 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

TheConceptBoy/blender_bone_constraint_toggler

A simple plugin that menu options to enable or disables all bone constraints on an armature. This shoulve have been stock feature of Blender about 10 years ago.

Language: Python - Size: 27.3 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

Rightpoint/BonMot

Beautiful, easy attributed strings in Swift

Language: Swift - Size: 4.79 MB - Last synced at: 17 days ago - Pushed at: 11 months ago - Stars: 3,566 - Forks: 196

nerdycat/NerdyUI

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

Language: Objective-C - Size: 1.82 MB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 402 - Forks: 58

onmyway133/EasyAnchor

⚓️ Declarative, extensible, powerful Auto Layout

Language: Swift - Size: 3.15 MB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 458 - Forks: 28

Eomm/header-constraint-strategy

A general purpose find-my-way custom constraint strategy

Language: JavaScript - Size: 33.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 1

tiagocanto01/TCLayoutConstraint

Syntactic sugar that makes Auto Layout easier and readable

Language: Swift - Size: 24.4 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Secret-Ambush/Timetable-generator

BPDC Timetable Generator using CSP

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

MU-DotNET/EntityFrameworkCore

https://www.youtube.com/playlist?list=PLQVXoXFVVtp1o3nq3-IXv42bPaFlzroBE

Language: C# - Size: 72 MB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

marcbouchenoire/sketch-constraints 📦

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

Language: JavaScript - Size: 4.54 MB - Last synced at: 4 days ago - Pushed at: about 7 years ago - Stars: 1,272 - Forks: 38

aymericb213/scikit-query

Active query strategies for semi-supervised clustering on top of scikit-learn and SciPy

Language: Jupyter Notebook - Size: 17.2 MB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

VincentGsell/2d-Constraints-Demos

Playing with 2d constaints

Language: Pascal - Size: 1.12 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 3

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.4 MB - Last synced at: 24 days ago - Pushed at: 3 months ago - Stars: 28 - Forks: 3

dcbr/dualcrl

This repository provides the necessary code to reproduce all experiments of the paper "A Dual Perspective of Reinforcement Learning for Imposing Policy Constraints" [1].

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

jakemarsh/core-layout

Flexbox & CSS-style Layout in Swift.

Language: Swift - Size: 3.14 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 216 - Forks: 8

april-tools/gasp

gasp! - GPU Accelerated Simplical Polynomial Integrator

Language: Python - Size: 116 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 0

xcsp3team/XCSP3-CPP-Parser

XCSP3 Core Parser in C++

Language: C++ - Size: 4.02 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 11

andrewcmyers/constrain

Responsive, animated figures in JavaScript/HTML canvases

Language: JavaScript - Size: 3.03 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 134 - Forks: 2

jadnsoft/ConstraintCrafter

ConstraintCrafter v0.1.0 – Initial MVP for automated XML test‑case generation. Generate positive & negative XML files for XSD cardinality (min/max occurs) and enumeration rules via a simple Java 11 CLI. Includes a shaded JAR, full docs, and GitHub Actions CI

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

eleev/uicollectionview-layouts-kit

📐Custom layouts for UICollectionView with examples [iOS 12+].

Language: Swift - Size: 286 MB - Last synced at: 14 days ago - Pushed at: about 2 years ago - Stars: 812 - Forks: 50

YJiangcm/FollowBench

[ACL 2024] FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models

Language: Python - Size: 3.87 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 98 - Forks: 14

benbenbang/poetry-import-plugin

Convert requirements.txt to poetry toml 🚀

Language: Python - Size: 6.38 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 1

lucas34/SwiftQueue

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

Language: Swift - Size: 775 KB - Last synced at: 30 days ago - Pushed at: 6 months ago - Stars: 415 - Forks: 42

nullobject/rein

Database constraints made easy for ActiveRecord.

Language: Ruby - Size: 300 KB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 669 - Forks: 31

ryvin/ConstraintCrafter

ConstraintCrafter v0.1.0 – Initial MVP for automated XML test‑case generation. Generate positive & negative XML files for XSD cardinality (min/max occurs) and enumeration rules via a simple Java 11 CLI. Includes a shaded JAR, full docs, and GitHub Actions CI

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

rindPHI/isla

The ISLa (Input Specification Language) language & solver.

Language: Python - Size: 27.3 MB - Last synced at: 27 days ago - Pushed at: 11 months ago - Stars: 63 - Forks: 9

mihaela-stoian/ConstrainedDGM

Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"

Language: Python - Size: 250 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 2

decodelabs/tightrope

Reusable constraints for your PHP classes

Language: PHP - Size: 41 KB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

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: 24 days ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.3 MB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 374 - Forks: 23

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: 23 days ago - Pushed at: 7 months ago - Stars: 16 - Forks: 2

Gregoor/syntactor 📦

A JSON editor for editing data instead of syntax.

Language: JavaScript - Size: 8.83 MB - Last synced at: 21 days ago - Pushed at: almost 7 years ago - Stars: 41 - Forks: 3

iiithf/optimization-methods

An optimization method is a procedure which is executed iteratively by comparing various solutions till an optimum or a satisfactory solution is found.

Language: Jupyter Notebook - Size: 82.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 1