OptaplannerAI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+127.22%)
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-97.41%)
Choco SolverAn open-source Java library for Constraint Programming
Stars: ✭ 518 (-52.04%)
LogicianLogic programming in Swift
Stars: ✭ 182 (-83.15%)
PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-98.33%)
csbA cloth and soft body simulation library, using position based dynamics.
Stars: ✭ 29 (-97.31%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (-75%)
Convex.jlA Julia package for disciplined convex programming
Stars: ✭ 417 (-61.39%)
OpennarsOpenNARS for Research 3.0+
Stars: ✭ 264 (-75.56%)
ReinDatabase constraints made easy for ActiveRecord.
Stars: ✭ 657 (-39.17%)
mbsolveAn open-source solver tool for the Maxwell-Bloch equations.
Stars: ✭ 14 (-98.7%)
SwiftqueueJob Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more
Stars: ✭ 276 (-74.44%)
Easyanchor⚓️ Declarative, extensible, powerful Auto Layout
Stars: ✭ 432 (-60%)
OsqpThe Operator Splitting QP Solver
Stars: ✭ 689 (-36.2%)
AlignIntuitive and powerful Auto Layout library
Stars: ✭ 261 (-75.83%)
NerdyuiAn easy way to create and layout UI components for iOS.
Stars: ✭ 381 (-64.72%)
osqpThe Operator Splitting QP Solver
Stars: ✭ 929 (-13.98%)
Rbdl OrbRBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints
Stars: ✭ 33 (-96.94%)
focus-outside📦 一个很棒的 clickOutside 库,它解决了 iframe 无法触发 clickOutside 的问题,并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.
Stars: ✭ 74 (-93.15%)
EasyswiftlayoutLightweight Swift framework for Apple's Auto-Layout
Stars: ✭ 345 (-68.06%)
EZAnchorAn easier and faster way to code Autolayout
Stars: ✭ 25 (-97.69%)
TotsuFirst-order conic solver for convex optimization problems
Stars: ✭ 18 (-98.33%)
SemverWork with Semantic Versions in Go
Stars: ✭ 608 (-43.7%)
PyamgAlgebraic Multigrid Solvers in Python
Stars: ✭ 335 (-68.98%)
SPKeyBoardAvoidingIt's a smart KeyBoard manager with active text field using Scroll View along with Constraints in Objective C & Swift 4
Stars: ✭ 22 (-97.96%)
BonmotBeautiful, easy attributed strings in Swift
Stars: ✭ 3,182 (+194.63%)
CupcakeAn easy way to create and layout UI components for iOS (Swift version).
Stars: ✭ 273 (-74.72%)
DagsfmDistributed and Graph-based Structure from Motion
Stars: ✭ 269 (-75.09%)
MylinearlayoutMyLayout 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 UITab…
Stars: ✭ 4,152 (+284.44%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (-75.37%)
TangramkitTangramKit 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
Stars: ✭ 984 (-8.89%)
Dry StructTyped struct and value objects
Stars: ✭ 263 (-75.65%)
RECSA solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models
Stars: ✭ 15 (-98.61%)
Dry TypesFlexible type system for Ruby with coercions and constraints
Stars: ✭ 678 (-37.22%)
reinforce-js[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.
Stars: ✭ 20 (-98.15%)
Handeye calib camodocalEasy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa.
Stars: ✭ 364 (-66.3%)
GenesisZMine the Genesis Block for your Zcashy altcoin
Stars: ✭ 22 (-97.96%)
IntellidroidA targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-95.74%)
NonogramsA very fast japan crosswords (aka nonograms) solver and generator
Stars: ✭ 52 (-95.19%)
PysmtpySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (-67.41%)
qpmadROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Stars: ✭ 41 (-96.2%)
Cppnumericalsolversa lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)
Stars: ✭ 638 (-40.93%)
stiff3Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order
Stars: ✭ 13 (-98.8%)
IkMinimal Inverse Kinematics library
Stars: ✭ 340 (-68.52%)
sketch-constraints📏 A plugin that integrates constraints in Sketch to lay out layers.
Stars: ✭ 1,294 (+19.81%)
SnapkitA Swift Autolayout DSL for iOS & OS X
Stars: ✭ 18,091 (+1575.09%)
AlphaA lazy-grounding Answer-Set Programming system
Stars: ✭ 44 (-95.93%)
ZeratoolAutomatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Stars: ✭ 584 (-45.93%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (-70.19%)
ar-checkEnable PostgreSQL's CHECK constraints on ActiveRecord migrations
Stars: ✭ 17 (-98.43%)
wwlayoutSwifty DSL for programmatic Auto Layout in iOS
Stars: ✭ 46 (-95.74%)
Stevia🍃 Concise Autolayout code
Stars: ✭ 3,182 (+194.63%)