Open source product configuration based on visual feature models and Z3 SMT solver for providing solutions
☆12Nov 25, 2022Updated 3 years ago
Alternatives and similar repositories for OpenConfigurator
Users that are interested in OpenConfigurator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 years ago
- PicNet's systems integration, workflow and master data platform☆11Oct 29, 2026Updated last week
- FParsec TOML Parser for F#☆11Jul 25, 2018Updated 8 years ago
- An experimental ML style language☆13Mar 28, 2019Updated 7 years ago
- Learning materials for the Life In The UK test.☆13Mar 25, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Proof checker for propositional logic☆16Jul 7, 2017Updated 9 years ago
- Session Type Provider Home Page☆11Mar 12, 2018Updated 8 years ago
- Scripts to create cartoons of 3D genomes☆12Feb 27, 2024Updated 2 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Oct 12, 2026Updated 3 weeks ago
- An example terraform + terragrunt repository. Features Google Kubernetes Engine, Google Cloud SQL, Google Cloud Proxy, NGINX.☆11Jul 31, 2020Updated 6 years ago
- ☆10Jan 15, 2022Updated 4 years ago
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆23Nov 5, 2018Updated 8 years ago
- Generative artworks created using p5.js framework☆12Jan 23, 2019Updated 7 years ago
- Scrapbook is a micro-service architecture based application that enables users to upload and manage images.☆12May 1, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- FMarkup is an HTML/CSS generation library and DSL for F#.☆19Aug 1, 2013Updated 13 years ago
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 10 years ago
- FaMa Framework☆10Oct 13, 2020Updated 6 years ago
- A dynamically typed, functional-first, object-oriented, concurrent, general-purpose, embeddable scipting and programming language (for do…☆18Mar 16, 2018Updated 8 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- Cell phone radiofrequencies make mice & rats live longer☆13Mar 16, 2026Updated 7 months ago
- A library of prompts, intended for LibreChat. Note: Archived☆12Aug 14, 2023Updated 3 years ago
- Repository for the new, shadow-model based evolution of KernelF☆10Oct 2, 2019Updated 7 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.
- Python for streams☆24Jun 28, 2022Updated 4 years ago
- Repository of feature models in UVL format integrated with Zenodo and flamapy following Open Science principles - Developed by DiversoLab☆15Updated this week
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- Parsers to Choco3☆10Jul 26, 2019Updated 7 years ago
- Inkdrop data model definitions in json-schema and flowtype☆13Updated this week
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 4 years ago
- Ultimate Stack [Glotixz] is a Event Driven Microservices Ecommerce App running on Kubernetes with Istio as the service-mesh and cloudn…☆22Apr 24, 2021Updated 5 years ago
- Interact directly with code repositories in a chat or automate the development of your code based just on a project description☆25Jul 5, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jan 25, 2021Updated 5 years ago
- Learning to sort numbers using a LSTM with a modified attention mechanism (Pointer Networks by Vinyals et al.).☆13Jun 21, 2018Updated 8 years ago
- Sample application showing an Ionic Capacitor app on Zebra Android devices☆11Nov 22, 2021Updated 4 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Sep 15, 2017Updated 9 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year
- Chrome Dev Tools Addon for Local by Flywheel☆12Apr 25, 2018Updated 8 years ago
- ASP.NET Core library for building a Multitenant Hangfire server☆11May 4, 2020Updated 6 years ago