Refinery: an efficient graph solver for generating well-formed models
☆20Mar 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for refinery
Users that are interested in refinery 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 curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- VSCode IDE Integration for Dafny☆26Apr 4, 2026Updated last week
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Sep 4, 2025Updated 7 months ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆186Dec 22, 2024Updated last year
- Gradle plugins for using Xtext and Xtend☆50Aug 20, 2025Updated 7 months ago
- Simple, easily customizable and powerful database load testing tool. Provides real-time in-browser aggregate stats. Supports MySQL, Postg…☆13Jan 10, 2025Updated last year
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 2 years ago
- Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…☆24Dec 11, 2021Updated 4 years ago
- a temporal graph analytics library based on Flink Stateful Functions☆11Jun 8, 2023Updated 2 years ago
- Documents for certain courses at VNU-UET☆25Jun 11, 2025Updated 10 months ago
- ☆12Aug 26, 2024Updated last year
- Python package for matrix storage and operations on hetnets☆14Mar 30, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆124Updated this week
- ☆10Jan 7, 2019Updated 7 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆10Dec 8, 2016Updated 9 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- Automates the setup and maintenance of a docker swarm cluster on CoreOS☆10Aug 14, 2017Updated 8 years ago
- Brendan's repo for interesting SQL☆13Feb 27, 2020Updated 6 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Apr 3, 2026Updated last week
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 4 months ago
- A small example project for accessing TensorFlow serving from the JVM☆34Mar 5, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A benchmark for Solid to simulate vaults with social network data.☆11Aug 29, 2025Updated 7 months ago
- Project to revive the KittyFlap: A web GUI that allows control of the cat flap on the local network without the official KittyFlap app.☆21Mar 12, 2026Updated 3 weeks ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Jul 23, 2025Updated 8 months ago
- ☆14Jan 1, 2025Updated last year
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆42Feb 23, 2026Updated last month
- ☆13May 8, 2019Updated 6 years ago
- LDBC Semantic Publishing Benchmark v2.0☆14Updated this week
- Laboranyagok☆10Feb 4, 2021Updated 5 years ago
- Saturation Plugin☆20Sep 20, 2025Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Jan 24, 2023Updated 3 years ago
- A model querying and transformation library supporting JGraLab and EMF☆25Jan 5, 2019Updated 7 years ago
- LCA as Code - Domain-Specific Language for Life-Cycle Analysis☆15Mar 26, 2026Updated 2 weeks ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- A Rust library for concatenating string slices into owned strings.☆15Jul 13, 2023Updated 2 years ago
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- Mirror Gitlab repo to Gitea in bulk☆13Jan 19, 2019Updated 7 years ago