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:
- PicNet's systems integration, workflow and master data platform☆11Jul 8, 2026Updated 3 months ago
- A Haskell DSL for Generating Dockerfiles☆10Apr 25, 2025Updated last year
- FParsec TOML Parser for F#☆11Jul 25, 2018Updated 8 years ago
- Scripts to create cartoons of 3D genomes☆12Feb 27, 2024Updated 2 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Session Type Provider Home Page☆11Mar 12, 2018Updated 8 years ago
- Learning materials for the Life In The UK test.☆13Mar 25, 2023Updated 3 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 9 years ago
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆23Nov 5, 2018Updated 7 years ago
- An example terraform + terragrunt repository. Features Google Kubernetes Engine, Google Cloud SQL, Google Cloud Proxy, NGINX.☆11Jul 31, 2020Updated 6 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Updated this week
- 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
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A library of prompts, intended for LibreChat. Note: Archived☆12Aug 14, 2023Updated 3 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
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 10 years ago
- FMarkup is an HTML/CSS generation library and DSL for F#.☆19Aug 1, 2013Updated 13 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
- Python for streams☆24Jun 28, 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
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Sep 15, 2017Updated 9 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 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.
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year
- 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
- Memory consistency modelling using Alloy☆32Dec 16, 2020Updated 5 years ago
- WIP - Declarative UIs for WPF with F# and MVU, using Fabulous☆24Sep 12, 2022Updated 4 years ago
- Learning rigid grammars in Haskell.☆24Nov 19, 2017Updated 8 years ago
- Various scripts to improve our inhouse workflow with Blender.☆32Apr 4, 2022Updated 4 years ago
- FacturaE electronic invoice signing using pure C#☆17Dec 7, 2025Updated 10 months ago
- a command line tool to publish ipns entries using a passed in private key☆51Feb 12, 2017Updated 9 years ago
- A browser-based interface for building and managing workflows powered by MacOS Shortcuts and Ollama.☆26Sep 6, 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.
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆43Jul 21, 2026Updated 2 months ago
- An open source Master Data Management / Product Information Management application. Contributions are welcomed. :-)☆54Mar 6, 2023Updated 3 years ago
- A simple pipeline representation for .NET. It represents a sequence of steps that are processed consistently. This approach enables break…☆16Jan 18, 2025Updated last year
- Reading information from Dymo USB scale.☆12May 16, 2023Updated 3 years ago
- One Rule Engine to Rule them all?☆12Feb 18, 2022Updated 4 years ago
- Basic latex template for research or business whitepapers and discussion docs☆37Mar 22, 2024Updated 2 years ago
- A composable high level window library for F# and WPF to explore using Computation Expression UI☆43Jan 25, 2019Updated 7 years ago