Code released for our CHI2020 paper "ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints"
☆31Jul 11, 2026Updated 2 months ago
Alternatives and similar repositories for ORCSolver-CHI2020
Users that are interested in ORCSolver-CHI2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A swift implementation of concurrent (thread-safe) skip list.☆18Jan 13, 2021Updated 5 years ago
- fast, reliable CI builds for Xcode workspaces☆15Jul 29, 2019Updated 7 years ago
- 💽 A library that enables us to create a snapshot of the values which UserDefaults manages.☆17Jul 15, 2025Updated last year
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 10 years ago
- An RxSwift implementation of a command line runner.☆15Feb 28, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Keybro - is a quick wrapper for UIKeyCommand. This tool allows easily adding keyboard shortcuts to your app for debugging and testing app…☆16Feb 11, 2021Updated 5 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 6 months ago
- UUID V1, V6, V7 & TypeID generation with ZIO☆14Updated this week
- ☆11Oct 23, 2023Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 3 months ago
- SIEVE is simpler than LRU☆15Apr 29, 2024Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- A liberated _ScrollView and _PagingView of SwiftUI.☆94Oct 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Framework for building distributed microserviceies in scala with akka-streams and kafka☆15Nov 10, 2019Updated 6 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago
- Scala cfor macro, like a java for-loop☆19Sep 7, 2026Updated last month
- A declarative UI framework for Haskell☆15Jan 31, 2026Updated 8 months ago
- define an app in a simple, safe and declarative way☆17Oct 5, 2024Updated 2 years ago
- 🌳 Tiny utility for visualizing CocoaPods dependencies tree.☆18Oct 4, 2023Updated 3 years ago
- 📦 A plugin for CocoaPods that creates XCFramework(for internal distribution) for speeding up build time.☆27Feb 4, 2022Updated 4 years ago
- The Ambiguity Retained Translation (ART) toolkit☆17Oct 3, 2026Updated last week
- Wrapper script around scala-cli/graalvm to allow instant Scala script startup☆17Aug 26, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A paging scroll view that can handle arbitrary numbers of page views at run-time.☆15Sep 29, 2026Updated last week
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 5 years ago
- Another Lexer Parser And Compiler Alpaca. A type-safe lexer and parser library for Scala 3, featuring compile-time validation and a patte…☆19Updated this week
- A haskell tutorial using CodeWorld☆19Jan 5, 2025Updated last year
- The 1FPGA emulator core☆45Apr 1, 2026Updated 6 months ago
- SwiftUI package for displaying directed graphs☆33Sep 17, 2023Updated 3 years ago
- A script for formatting the Objective-C codes in XCode☆10Sep 30, 2017Updated 9 years ago
- A Java port of the Kiwi C++ implementation of the Cassowary constraint solving algorithm☆24Oct 24, 2019Updated 6 years ago
- GitHub API client built with CreateAPI☆12Dec 28, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An open-source Swift framework for realistic freehand drawing on SpriteKit Games.☆31Feb 16, 2021Updated 5 years ago
- Uses a Spring below the midpoint of two points to simulate a rope in SwiftUI☆16Jul 9, 2022Updated 4 years ago
- A simple tool to make it easy to introduce SwiftLint from zero especially for a new project.☆13Oct 5, 2019Updated 7 years ago
- This linter plugin for SublimeLinter provides an interface to go vet.☆18Oct 3, 2026Updated last week
- ✂️ Syntax correction in context-free languages.☆27Updated this week
- A slick numerics-oriented Mathematical library for Java☆29Jul 12, 2025Updated last year
- Example project - Run an Akka Typed application on Scala 3☆24Apr 16, 2020Updated 6 years ago