Refinery: an efficient graph solver for generating well-formed models
☆21Jul 28, 2026Updated last 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:
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Jun 12, 2024Updated 2 years ago
- List of open source projects that are made by Vietnamese engineers☆12Jan 20, 2016Updated 10 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 Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆191Dec 22, 2024Updated last year
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 3 months ago
- a temporal graph analytics library based on Flink Stateful Functions☆12Jun 8, 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
- Common resource identifier specification for inter-application object sharing☆25Updated this week
- 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…☆11Updated this week
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Jul 17, 2026Updated 3 weeks ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 years ago
- ☆12Apr 7, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Business Process Modeling☆20Feb 27, 2021Updated 5 years ago
- AgileUML tools for MDE using UML☆24Updated this week
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆10Dec 8, 2016Updated 9 years ago
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 4 years ago
- This project is a core-library for generate POJO's from asyncApi yaml contract.☆15Jul 1, 2026Updated last month
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Simple tool allowing to write BTrace oneliners similar to the ones in DTrace☆11Aug 11, 2023Updated 2 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 lightweight, production-ready Spring Boot library to standardize REST API responses and Global Exception Handling (RFC Standard). Inclu…☆17Feb 16, 2026Updated 5 months ago
- Note: On Render, the frontend may start before the backend finishes initializing, so expect a short delay on first load.☆19Jan 30, 2026Updated 6 months ago
- ☆10Jan 31, 2022Updated 4 years ago
- Spring support for Rulii☆17Jul 13, 2026Updated 3 weeks ago
- 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
- The best Email validator tested with JUnit☆25Jul 16, 2025Updated last year
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- JavaWeb开发脚手架☆20Jul 28, 2026Updated last week
- curl based TLS connection measurement tool for testing and comparing TLSv1.2 vs TLSv1.3 connections☆15Sep 17, 2021Updated 4 years ago
- Production-ready Transactional Outbox Pattern for Spring Boot 4 with Kafka and PostgreSQL, featuring idempotency, batch publishing and an…☆16Updated this week
- 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
- Scala KairosDB driver☆15Updated this week
- Symas (OpenLDAP) LMDB back-end for RDF::Repository☆17Jun 29, 2026Updated last month