Refinery: an efficient graph solver for generating well-formed models
☆20Feb 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for refinery
Users that are interested in refinery are comparing it to the libraries listed below
Sorting:
- 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
- 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 13, 2025Updated 5 months ago
- ☆14Aug 14, 2024Updated last year
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- ☆12May 24, 2025Updated 9 months ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆121Updated this week
- ☆49Apr 20, 2025Updated 10 months ago
- ☆11Apr 24, 2018Updated 7 years ago
- Saturation Plugin☆19Sep 20, 2025Updated 5 months ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 3 weeks ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- ☆10Jan 7, 2019Updated 7 years ago
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated last month
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 2 months ago
- Laboranyagok☆10Feb 4, 2021Updated 5 years ago
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 10 months ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆38Updated this week
- Loads LDBC social graph data into Flink DataSets☆10Sep 25, 2024Updated last year
- An Example for an Xtext Language Server☆39Updated this week
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆184Dec 22, 2024Updated last year
- L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…☆24Updated this week
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- Automates the setup and maintenance of a docker swarm cluster on CoreOS☆10Aug 14, 2017Updated 8 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Oct 14, 2025Updated 4 months ago
- pagerank movie references☆17Dec 15, 2010Updated 15 years ago
- ☆13Nov 10, 2021Updated 4 years ago
- ☆14Jan 1, 2025Updated last year
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 6 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆11Dec 8, 2016Updated 9 years ago
- ☆40Jan 28, 2026Updated last month
- Compressor gain reduction analyser☆15Mar 23, 2025Updated 11 months ago
- a temporal graph analytics library based on Flink Stateful Functions☆11Jun 8, 2023Updated 2 years ago
- Repository for the paper: Aligning LLMs to Ask Good Questions A Case Study in Clinical Reasoning☆18Feb 21, 2025Updated last year
- ☆10Dec 20, 2024Updated last year
- Python package for matrix storage and operations on hetnets☆14Mar 30, 2023Updated 2 years ago