chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 82.1 MB - Last synced: about 2 hours ago - Pushed: about 3 hours ago - Stars: 674 - Forks: 135

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: 167 MB - Last synced: about 7 hours ago - Pushed: 1 day ago - Stars: 2,558 - Forks: 116

SnapKit/SnapKit

A Swift Autolayout DSL for iOS & OS X

Language: Swift - Size: 2.75 MB - Last synced: about 14 hours ago - Pushed: 21 days ago - Stars: 19,799 - Forks: 1,961

stevepereira/flow-engineering

Flow Engineering is the practice of improving the flow of work, information, and data across organizations through value streams.

Language: HTML - Size: 1.08 MB - Last synced: about 5 hours ago - Pushed: about 17 hours ago - Stars: 9 - Forks: 1

xcsp3team/XCSP3-CPP-Parser

XCSP3 Core Parser in C++

Language: C++ - Size: 4.26 MB - Last synced: about 7 hours ago - Pushed: about 20 hours ago - Stars: 19 - Forks: 10

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: 234 MB - Last synced: about 22 hours ago - Pushed: 1 day ago - Stars: 3,257 - Forks: 938

decodelabs/tightrope

Reusable constraints for your PHP classes

Language: PHP - Size: 26.4 KB - Last synced: about 9 hours ago - Pushed: about 23 hours ago - Stars: 2 - Forks: 0

Masterminds/semver

Work with Semantic Versions in Go

Language: Go - Size: 1.4 MB - Last synced: about 19 hours ago - Pushed: 2 days ago - Stars: 1,155 - Forks: 145

Rightpoint/BonMot

Beautiful, easy attributed strings in Swift

Language: Swift - Size: 4.79 MB - Last synced: about 10 hours ago - Pushed: about 1 month ago - Stars: 3,507 - Forks: 192

BlockResearchGroup/compas_dr

Constrained form finding using the Dynamic Relaxation Method.

Language: Python - Size: 9.94 MB - Last synced: about 21 hours ago - Pushed: 2 days ago - Stars: 2 - Forks: 0

BlockResearchGroup/compas_fd

Constrained form finding using the Force Density Method.

Language: Python - Size: 41 MB - Last synced: about 21 hours ago - Pushed: 2 days ago - Stars: 6 - Forks: 3

syntatis/wp-option

☔ WordPress option with some safeguards

Language: PHP - Size: 59.6 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 3 - Forks: 0

cmudig/draco2

🐉 Modular version of Draco visualization recommendation engine

Language: Python - Size: 7.23 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 71 - Forks: 7

coin-or/pulp

A python Linear Programming API

Language: Python - Size: 94.7 MB - Last synced: 1 day ago - Pushed: 9 days ago - Stars: 1,967 - Forks: 371

xcsp3team/XCSP3-Java-Tools

XCSP3 Tools in Java

Language: Java - Size: 7.67 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 21 - Forks: 5

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.61 MB - Last synced: 4 days ago - Pushed: 28 days ago - Stars: 273 - Forks: 40

ctu-mrs/mrs_uav_managers

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

Language: C++ - Size: 2.15 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 11 - Forks: 4

jerin-arpa/advance-typeof-typescript

Language: TypeScript - Size: 9.77 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 0 - 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.27 MB - Last synced: 8 days ago - Pushed: 9 days ago - Stars: 32 - Forks: 10

roberthein/TinyConstraints

Nothing but sugar.

Language: Swift - Size: 35.7 MB - Last synced: 5 days ago - Pushed: 30 days ago - Stars: 3,954 - Forks: 200

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 83.3 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 23 - Forks: 5

spicyShrimp/SnapKitExtend

SnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式

Language: Swift - Size: 259 KB - Last synced: 6 days ago - Pushed: over 3 years ago - Stars: 170 - Forks: 30

JulienVincenot/MOZLib

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

Size: 716 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 10 - Forks: 0

tsitsimis/constrainedlr

Drop-in replacement of sklearn's Linear Regression with coefficients constraints

Language: Python - Size: 637 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 6 - Forks: 0

sgreben/rc-cli

A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction

Language: Java - Size: 25.4 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 0 - Forks: 0

thibautmarcq/LU2IN009

Introduction Bases de Données Relationnelles - Calcul relationnel, SQL, Jointures, Requêtes imbriquées, Divisions, Groupement, Création de schéma

Language: Jupyter Notebook - Size: 21.5 MB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0

ajcr/probability-calculator 📦

Calculate the probability of drawing specific combinations of items

Language: Python - Size: 85.9 KB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

innoave/valid

composable validation functions for custom types

Language: Rust - Size: 122 KB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 14 - Forks: 0

LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Language: Prolog - Size: 34.2 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 260 - Forks: 32

dry-rb/dry-types

Flexible type system for Ruby with coercions and constraints

Language: Ruby - Size: 2.11 MB - Last synced: 11 days ago - Pushed: 21 days ago - Stars: 843 - Forks: 131

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: 7 days ago - Pushed: over 2 years ago - Stars: 1,197 - Forks: 175

samber/lo

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

Language: Go - Size: 2.82 MB - Last synced: 14 days ago - Pushed: 18 days ago - Stars: 15,416 - Forks: 701

sile-typesetter/cassowary.lua

A Lua port of the cassowary constraint solver engine

Language: Lua - Size: 146 KB - Last synced: 15 days ago - Pushed: almost 2 years ago - Stars: 33 - Forks: 7

kenanmorani/Optimization_Techniques_idu

University Course Assignments - Optimization Techniques

Language: Jupyter Notebook - Size: 723 KB - Last synced: 15 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

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: 11 days ago - Pushed: 30 days ago - Stars: 4,382 - Forks: 892

jubianchi/semver-check

Online SemVer Checker

Language: JavaScript - Size: 2.97 MB - Last synced: 14 days ago - Pushed: 6 months ago - Stars: 106 - Forks: 15

sparrowcode/Layouter

Wrapper of frame and auto layout.

Size: 6.84 KB - Last synced: 15 days ago - Pushed: about 1 year ago - Stars: 3 - Forks: 0

dimitriBouteille/symfony-constraints

Contient un ensemble de contraintes de validation (latitude, longitude, uniqueEntity, ...) pour Symfony 4

Language: PHP - Size: 17.6 KB - Last synced: 15 days ago - Pushed: over 3 years ago - Stars: 1 - Forks: 1

AlvaroOlave/AutoLayoutDSL

Autolayout DSL

Language: Swift - Size: 30.3 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0

RDFLib/pySHACL

A Python validator for SHACL

Language: Python - Size: 2.91 MB - Last synced: 2 days ago - Pushed: 16 days ago - Stars: 231 - Forks: 62

SwiftKickMobile/SwiftAutoLayout

Write constraints in a concise, expressive, Swifty way.

Language: Swift - Size: 1.13 MB - Last synced: 7 days ago - Pushed: over 5 years ago - Stars: 89 - Forks: 10

tafaust/policy-password

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

Language: TypeScript - Size: 39.4 MB - Last synced: 19 days ago - Pushed: about 1 month ago - Stars: 15 - Forks: 2

nakiostudio/EasyPeasy

Auto Layout made easy

Language: Swift - Size: 9.48 MB - Last synced: 1 day ago - Pushed: about 2 years ago - Stars: 1,938 - Forks: 119

mark-kubacki/semver

:100: parse semantic version numbers, and ranges (the most often imitated original)

Language: Go - Size: 235 KB - Last synced: 20 days ago - Pushed: almost 3 years ago - Stars: 37 - Forks: 4

lume/kiwi

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

Language: TypeScript - Size: 535 KB - Last synced: about 4 hours ago - Pushed: 4 months ago - Stars: 127 - Forks: 8

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: TeX - Size: 59.8 MB - Last synced: 21 days ago - Pushed: about 2 months ago - Stars: 12 - Forks: 0

onmyway133/EasyAnchor

⚓️ Declarative, extensible, powerful Auto Layout

Language: Swift - Size: 3.15 MB - Last synced: 14 days ago - Pushed: about 1 year ago - Stars: 456 - Forks: 28

fvutils/pyvsc

Python packages providing a library for Verification Stimulus and Coverage

Language: Python - Size: 4.9 MB - Last synced: 13 days ago - Pushed: about 1 month ago - Stars: 105 - Forks: 24

dry-rb/dry-struct

Typed struct and value objects

Language: Ruby - Size: 729 KB - Last synced: 6 days ago - Pushed: 4 months ago - Stars: 402 - Forks: 62

nesk/akkurate

The expressive validation library for Kotlin

Language: Kotlin - Size: 748 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 205 - Forks: 9

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 110 MB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 94 - Forks: 20

bufbuild/protoc-gen-validate

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

Language: Go - Size: 13.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3,630 - Forks: 569

ksheremet/CocktailsPro

Language: Java - Size: 15.4 MB - Last synced: 25 days ago - Pushed: over 4 years ago - Stars: 5 - Forks: 0

typst/comemo

Incremental computation through constrained memoization.

Language: Rust - Size: 84 KB - Last synced: 23 days ago - Pushed: about 1 month ago - Stars: 375 - Forks: 13

nariaki3551/ppulp

An extension PuLP, linear programming modeling tool

Language: Python - Size: 32.2 KB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 8 - Forks: 0

triska/the-power-of-prolog

Introduction to modern Prolog

Language: HTML - Size: 2.57 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 1,160 - Forks: 65

SolaWing/AutoLayoutVisualFormatLanguage

super set of Apple's AutoLayout Visual Format Language.

Language: Objective-C - Size: 159 KB - Last synced: 27 days ago - Pushed: over 4 years ago - Stars: 13 - Forks: 0

spygaurad/Java_Project_Math_Quiz_Entry

A Java Program to manage entries with constraints in a Math Quiz Competition.

Language: Java - Size: 33.2 KB - Last synced: 28 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

mlivernoche/SharpSolutionOptimizer

C# repository for linear/nonlinear programming, optimization, modeling, etc.

Language: C# - Size: 36.1 KB - Last synced: 29 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

rindPHI/isla

The ISLa (Input Specification Language) language & solver.

Language: Python - Size: 27.3 MB - Last synced: 24 days ago - Pushed: about 1 month ago - Stars: 53 - Forks: 4

lucas34/SwiftQueue

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

Language: Swift - Size: 773 KB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 403 - Forks: 43

xcsp3team/PyCSP3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 204 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 56 - Forks: 7

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 722 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 11 - Forks: 2

freshOS/Stevia

:leaves: Concise Autolayout code

Language: Swift - Size: 1.15 MB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 3,346 - Forks: 211

udacity/ios-short-programmatic-ui

This repository contains resources for Programmatic UI.

Language: Swift - Size: 189 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 4 - Forks: 5

marrow16/valix

Go package for validating requests

Language: Go - Size: 711 KB - Last synced: 14 days ago - Pushed: 6 months ago - Stars: 25 - Forks: 2

tiagocanto01/TCLayoutConstraint

Syntactic sugar that makes Auto Layout easier and readable

Language: Swift - Size: 21.5 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

xcsp3team/PyCSP3-models

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

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

ViniciusDeep/CBuilder

🧡 A Swift Autolayout DSL for iOS 📏📐🖌

Language: Swift - Size: 49.8 KB - Last synced: 17 days ago - Pushed: over 3 years ago - Stars: 45 - Forks: 14

kean/Align

Intuitive and powerful Auto Layout library

Language: Swift - Size: 2.7 MB - Last synced: 14 days ago - Pushed: about 1 month ago - Stars: 352 - Forks: 18

dephell/dephell_specifier

Work with version specifiers (can parse PEP-440, SemVer, Ruby, NPM, Maven)

Language: Python - Size: 50.8 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 4 - Forks: 3

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: 3.86 MB - Last synced: 10 days ago - Pushed: about 1 month ago - Stars: 51 - Forks: 7

jdisho/VanillaConstraints

🍦 Simplified and chainable AutoLayout constraints for iOS.

Language: Swift - Size: 182 KB - Last synced: 28 days ago - Pushed: 9 months ago - Stars: 42 - Forks: 5

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: 27 days ago - Pushed: 6 months ago - Stars: 6 - Forks: 0

luhanzhen/xcsp3-rust

The purpose of this library is to read XCSP files into rust constraint programming solvers.

Language: Rust - Size: 766 KB - Last synced: 22 days ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

nerdycat/NerdyUI

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

Language: Objective-C - Size: 1.82 MB - Last synced: 3 days ago - Pushed: over 3 years ago - Stars: 402 - Forks: 60

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: 250 KB - Last synced: 28 days ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

eleev/uicollectionview-layouts-kit

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

Language: Swift - Size: 286 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 771 - Forks: 48

Satori17/Autolayout_Programatically

TBC Bootcamp Task 19

Language: Swift - Size: 54.7 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Satori17/AutolayoutDemo_TresCommasApp

TBC Bootcamp Task 13

Language: Swift - Size: 1.24 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

domel/PGDL-conv

Property Graph Definition Language

Language: Python - Size: 22.5 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 1

MrGcGamer/LibGcUniversalDocumentation

This repo contains documentation for LibGcUniversal, a universal library for iOS Tweaks, mainly focused on providing improved preferences.

Language: Objective-C - Size: 396 KB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 31 - Forks: 7

akauppi/just-solve

[EARLY WIP] Studying a way to get SVG and CAD constraints bound together.

Language: JavaScript - Size: 98.6 KB - Last synced: about 2 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

ArdentStack/Parameterize.Net

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

Language: C# - Size: 2.5 MB - Last synced: 19 days ago - Pushed: almost 2 years ago - Stars: 26 - Forks: 1

modo-studio/Curt

Swift operators to make constraints setup faster to write and easier to read.

Language: Swift - Size: 71.3 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

JuliaConstraints/ConstraintDomains.jl

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

Language: Julia - Size: 408 KB - Last synced: 20 days ago - Pushed: about 2 months ago - Stars: 6 - Forks: 0

pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

Language: Python - Size: 4.53 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 547 - Forks: 124

fernaper/cv2-tools

v2.4.0 - Library to help the drawing process with OpenCV. Thought to add labels to the images. Classification of images and much more.

Language: Python - Size: 8.79 MB - Last synced: 5 days ago - Pushed: 8 months ago - Stars: 13 - Forks: 3

atomicgo/constraints

🦖 Drop-in replacement for golang.org/x/exp/constraints with more predefined constraints

Language: Go - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

iamakkkhil/DailyCoding

Just a fun challenge for me. Trying to maintain a consistent streak on Github by solving one coding challenge every day.

Language: C++ - Size: 355 KB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0

HussainAther/computerscience

puzzles, problems, search, sort, graph, constraint, theory, symbolic

Language: Python - Size: 4.27 MB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

arturbac/conceptstl

conceptstl: Enhancing STL with C++ Concepts for Better Type Safety and Error Messages

Language: CMake - Size: 27.3 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

barbieswimcrew/zip-code-validator

Constraint Class for international Zipcode Validation

Language: PHP - Size: 70.3 KB - Last synced: 26 days ago - Pushed: 3 months ago - Stars: 66 - Forks: 17

ww-tech/wwlayout

Swifty DSL for programmatic Auto Layout in iOS

Language: Swift - Size: 631 KB - Last synced: 27 days ago - Pushed: 12 months ago - Stars: 52 - Forks: 13

triska/clpz

Constraint Logic Programming over Integers

Language: Prolog - Size: 1.01 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 172 - Forks: 14

antonior92/ip-nonlinear-solver

A trust-region interior-point method for general nonlinear programing problems (GSoC 2017).

Language: Python - Size: 735 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 35 - Forks: 12

Qastell/SugarLayout

Have a pleasant experience with swift autolayout <3

Language: Swift - Size: 4.88 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 4 - Forks: 0

kblomdahl/green-tea

A constraint optimizer based intended for noisy black-box functions

Language: Python - Size: 38.1 KB - Last synced: 2 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

kean/Arranged 📦

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

Language: Swift - Size: 146 KB - Last synced: 8 days ago - Pushed: over 4 years ago - Stars: 209 - Forks: 16

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.6 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 234 - Forks: 17