Code released for our CHI2020 paper "ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints"
β30Jul 11, 2026Updated last week
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:
- fast, reliable CI builds for Xcode workspacesβ15Jul 29, 2019Updated 6 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 9 years ago
- An RxSwift implementation of a command line runner.β15Feb 28, 2017Updated 9 years ago
- Composable foldsβ13Jul 18, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 3 months ago
- Companion repository for 'No More Orphans'β14Oct 13, 2022Updated 3 years ago
- β11Oct 23, 2023Updated 2 years ago
- Compile-time expression evaluation for Scala 2β16Jun 15, 2026Updated last month
- 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
- 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
- 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.
- Scala cfor macro, like a java for-loopβ18Aug 12, 2024Updated last year
- A declarative UI framework for Haskellβ15Jan 31, 2026Updated 5 months ago
- Resources for Scala learners who only know dynamic languagesβ11Jun 20, 2018Updated 8 years ago
- π³ Tiny utility for visualizing CocoaPods dependencies tree.β18Oct 4, 2023Updated 2 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β17Updated this week
- Haskell Join-calculus DSLβ24Jan 5, 2019Updated 7 years ago
- Wrapper script around scala-cli/graalvm to allow instant Scala script startupβ17Aug 26, 2024Updated last year
- A paging scroll view that can handle arbitrary numbers of page views at run-time.β15May 24, 2026Updated last month
- 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.
- 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β¦β17Updated this week
- A haskell tutorial using CodeWorldβ19Jan 5, 2025Updated last year
- Show Emacs Flycheck status using cute, compact emojiβ32May 16, 2018Updated 8 years ago
- The workshop materials for the course on Scala 3 metaprogramming.β15Oct 30, 2023Updated 2 years ago
- β18Sep 18, 2024Updated last year
- SwiftUI package for displaying directed graphsβ33Sep 17, 2023Updated 2 years ago
- β20Nov 9, 2019Updated 6 years ago
- Actor model for typelevel ecosystemβ20May 30, 2025Updated last year
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Lambda Jam 2014: Roll Your Own Relational DSLβ15Feb 3, 2017Updated 9 years ago
- A simple tool to make it easy to introduce SwiftLint from zero especially for a new project.β13Oct 5, 2019Updated 6 years ago
- elm inspired state manager in rustβ11Nov 7, 2016Updated 9 years ago
- Generate ctags for Swift projects using SourceKit.β10Nov 12, 2016Updated 9 years ago
- λ°ν μλ£ λͺ¨μβ12Feb 1, 2022Updated 4 years ago