Refinery: an efficient graph solver for generating well-formed models
☆21Oct 1, 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 4 years ago
- ☆13Jul 9, 2024Updated 2 years ago
- List of open source projects that are made by Vietnamese engineers☆12Jan 20, 2016Updated 10 years ago
- A Julia package for determining thresholds by analyzing one-dimensional histograms☆13Dec 11, 2021Updated 4 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.
- 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☆26Updated 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…☆11Sep 20, 2026Updated 2 weeks ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 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
- ☆12Apr 7, 2024Updated 2 years ago
- ☆11Apr 24, 2018Updated 8 years ago
- Python package for matrix storage and operations on hetnets☆14Mar 30, 2023Updated 3 years ago
- ☆10Jan 7, 2019Updated 7 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.
- AgileUML tools for MDE using UML☆24Sep 15, 2026Updated 3 weeks ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Clockwork: A Modular Arithmetic library for C++☆13May 1, 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 8 months ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆20Apr 27, 2019Updated 7 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 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 3 months ago
- ☆17May 29, 2026Updated 4 months ago
- 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.
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 5 years ago
- 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
- alm0n for UET's viewgrade☆15Feb 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 2 months ago
- A graph tutorial website☆13Mar 5, 2023Updated 3 years ago
- Spring support for Rulii☆18Updated this week
- "Advent of SysML v2" event example models, challenges and more.☆32Updated this week
- 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.
- Bayesian network toolkit, with applications for phylogenetic analysis☆12Updated this week
- 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
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- ☆70Sep 9, 2026Updated last month
- Empirical Time and Memory Complexity Estimation☆11Jun 17, 2019Updated 7 years ago
- JavaWeb开发脚手架☆20Jul 28, 2026Updated 2 months ago