Refinery: an efficient graph solver for generating well-formed models
☆21Sep 18, 2026Updated this week
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.☆23Sep 21, 2024Updated last year
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- ☆13Jul 9, 2024Updated 2 years ago
- ☆13May 11, 2026Updated 4 months ago
- A Julia package for determining thresholds by analyzing one-dimensional histograms☆13Dec 11, 2021Updated 4 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.
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 4 months ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 5 months ago
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 3 years 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
- I am developing a set of general-purpose shareable data structures for C# and Java all of whose fields are public readonly/final, and use…☆11Sep 8, 2026Updated last week
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 years ago
- ☆12Aug 26, 2024Updated 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
- Python package for matrix storage and operations on hetnets☆14Mar 30, 2023Updated 3 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.
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 4 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- 🌊 DuckLake website and specification☆20Updated this week
- AgileUML tools for MDE using UML☆24Updated this week
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 5 years ago
- Note: On Render, the frontend may start before the backend finishes initializing, so expect a short delay on first load.☆19Jan 30, 2026Updated 7 months ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆20Apr 27, 2019Updated 7 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- This project is a core-library for generate POJO's from asyncApi yaml contract.☆15Jul 1, 2026Updated 2 months 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.
- A lightweight, production-ready Spring Boot library to standardize REST API responses and Global Exception Handling (RFC Standard). Inclu…☆17Feb 16, 2026Updated 7 months ago
- Create beatiful and interactive visualizations for graphs using Vega-Lite☆16Aug 29, 2025Updated last year
- Loads LDBC social graph data into Flink DataSets☆10Sep 25, 2024Updated last year
- alm0n for UET's viewgrade☆16Feb 7, 2023Updated 3 years ago
- Brendan's repo for interesting SQL☆13Feb 27, 2020Updated 6 years ago
- Java client library for integration with Freja eID☆13Jul 29, 2026Updated last month
- A small example project for accessing TensorFlow serving from the JVM☆34Mar 5, 2017Updated 9 years ago
- A benchmark for Solid to simulate vaults with social network data.☆11May 14, 2026Updated 4 months ago
- Spring support for Rulii☆17Jul 13, 2026Updated 2 months 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.
- Laboranyagok☆10Feb 4, 2021Updated 5 years ago
- Bayesian network toolkit, with applications for phylogenetic analysis☆11Aug 25, 2026Updated 3 weeks ago
- The best Email validator tested with JUnit☆25Jul 16, 2025Updated last year
- Probabilistic Programming and Bayesian Methods for Hackers - Julia language☆20Nov 10, 2021Updated 4 years ago
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆15Sep 17, 2021Updated 5 years ago
- An implementation of ABS Polar Code, including construction, encoding and decoding.☆12Jul 21, 2023Updated 3 years ago
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago