☆12Nov 8, 2018Updated 7 years ago
Alternatives and similar repositories for gemoc-studio-old
Users that are interested in gemoc-studio-old are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- action language providing open class mechanism to xtend/java☆25Oct 11, 2023Updated 3 years ago
- AmIUnique extension for Chrome☆11Apr 3, 2019Updated 7 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆18Updated this week
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PowerAPI is a middleware toolkit for building software-defined power meters☆68Jul 1, 2018Updated 8 years ago
- optimal-equipment search engine (Google OR-Tools CP-SAT solver) that, given a Wakfu character's desired stats, finds the best combination…☆17Updated this week
- Toolkit supporting the AsyncAPI specification, including a grammar, metamodel, and code generation tools☆38Apr 25, 2024Updated 2 years ago
- A Java project ready to run ATL/EMFVM transformations☆13Oct 14, 2021Updated 5 years ago
- BitWatts is a software-defined power meter for virtualized environments☆11Jun 3, 2015Updated 11 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆19Jun 12, 2023Updated 3 years ago
- Spi4J & Pacman: Model Driven Architecture for JavaEE applications☆11Oct 31, 2024Updated 2 years ago
- A Mr. Rampon inspired "programming language"☆16Dec 4, 2017Updated 8 years ago
- The Kevoree Modeling Framework☆43Jun 2, 2016Updated 10 years ago
- AI Agents on 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.
- Deckbuilding and card simulator for the Gloomhaven board game☆16Feb 20, 2024Updated 2 years ago
- ☆22Jan 16, 2018Updated 8 years ago
- Maracas is a source code and bytecode analysis framework—written in Java with the help of Spoon—which analyzes how Java libraries evolve…☆19Feb 15, 2025Updated last year
- A parser for SMURF files, yielding a URDF model and the additional SMURF data using ConfigMaps.☆10Aug 11, 2025Updated last year
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Precise POSIX clock for OCaml☆15Mar 14, 2019Updated 7 years ago
- A Locality-Sensitive Hashing Library for Scala with optional Redis storage.☆18Jan 5, 2022Updated 4 years ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆25Jan 3, 2026Updated 10 months ago
- Minimal SML-based web server☆13Jun 19, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code☆13Sep 1, 2026Updated 2 months ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 7 years ago
- Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork of @amezin☆11Apr 4, 2022Updated 4 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Multi-file frontend for single-file code generators☆16Jan 10, 2018Updated 8 years ago
- DEPRECATED - superseded by textX-LS☆10Jun 11, 2021Updated 5 years ago
- Incremental view maintenance for openCypher graph queries.☆49Mar 18, 2019Updated 7 years ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆20Apr 27, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple, easily customizable and powerful database load testing tool. Provides real-time in-browser aggregate stats. Supports MySQL, Postg…☆14Jan 10, 2025Updated last year
- FETA: Framework for Evolving Topology Analysis. Java-based graph analysis software.☆11Jul 20, 2023Updated 3 years ago
- CNN-Grinder Workflow Project Files☆11May 1, 2020Updated 6 years ago
- Laboranyagok☆10Feb 4, 2021Updated 5 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Aug 11, 2019Updated 7 years ago
- LDBC Semantic Publishing Benchmark v2.0☆14Apr 6, 2026Updated 6 months ago
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 5 years ago