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
- Code released for our CHI2023 paper "UEyes: Understanding Visual Saliency across User Interface Types"☆40Jul 16, 2024Updated 2 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An RxSwift implementation of a command line runner.☆15Feb 28, 2017Updated 9 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 5 months ago
- UUID V1, V6, V7 & TypeID generation with ZIO☆13Updated this week
- 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 3 months ago
- 🎧 Real-time data streaming from NeuroSky MindWave Mobile Headset☆10Jul 17, 2020Updated 6 years ago
- ☆18Jun 5, 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Swire Dataset and Application Code☆17Jan 7, 2019Updated 7 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
- Implementation of Graph Based Visual Saliency algorithm by J. Harel, C. Koch, and P. Perona☆61Dec 23, 2019Updated 6 years ago
- Interactive Installation using Neurosky EEG, Touch Designer, and a Stereoscopic CAVE☆11Jun 12, 2014Updated 12 years ago
- A declarative UI framework for Haskell☆15Jan 31, 2026Updated 7 months ago
- GPU accelerated Perlin Noise in python☆11Oct 23, 2020Updated 5 years ago
- 🌳 Tiny utility for visualizing CocoaPods dependencies tree.☆18Oct 4, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 📦 A plugin for CocoaPods that creates XCFramework(for internal distribution) for speeding up build time.☆27Feb 4, 2022Updated 4 years ago
- A mobile GUI search engine using a vision-language model☆15May 5, 2025Updated last year
- Declarative Machine Learning and Visual Analytics☆18Jan 6, 2023Updated 3 years ago
- ☆14Nov 7, 2017Updated 8 years ago
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- A paging scroll view that can handle arbitrary numbers of page views at run-time.☆15May 24, 2026Updated 3 months 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
- ☆24Feb 1, 2012Updated 14 years ago
- Official pytorch implementation of I2I translation with low resolution conditioning☆23Sep 2, 2021Updated 5 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.
- SwiftUI package for displaying directed graphs☆33Sep 17, 2023Updated 3 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Aug 7, 2016Updated 10 years ago
- ☆13Jun 7, 2023Updated 3 years ago
- ☆20Nov 9, 2019Updated 6 years ago
- Actor model for typelevel ecosystem☆20May 30, 2025Updated last year
- This is my personal website with my blog (simplified Chinese) and works☆22Mar 12, 2026Updated 6 months ago
- GitHub API client built with CreateAPI☆12Dec 28, 2021Updated 4 years ago