View-based Development and Model Consistency Framework
☆20Mar 31, 2026Updated 2 weeks ago
Alternatives and similar repositories for Vitruv
Users that are interested in Vitruv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PyAnnotation is a Python Library to access and manipulate linguistically annotated corpus files.☆17Sep 4, 2012Updated 13 years ago
- Catalog of functional programming idioms (in XQuery 3.0)☆16Aug 4, 2016Updated 9 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- A Mongo-based version of Heimdall (Deprecated)☆11May 1, 2019Updated 6 years ago
- My custom dwm setup☆14Aug 2, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- tools for common-logic☆22Mar 5, 2013Updated 13 years ago
- SBOM generator for Debian-based distributions☆27Updated this week
- Standalone Classification Service providing OWL Reasoning against SNOMED CT RF2 files.☆15Mar 27, 2026Updated 3 weeks ago
- VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images…☆17Apr 1, 2026Updated 2 weeks ago
- Design patterns for the ontology-lexicon interface using lemon and OWL☆21Jul 27, 2018Updated 7 years ago
- SNOMED CT User Interface examples☆27Jan 5, 2024Updated 2 years ago
- Anonymize sensitive data in a controlled, pseudo-random way☆14Dec 18, 2015Updated 10 years ago
- An implementation of the promise pattern, as well as fork-join async processing for XQuery 3.1☆25Apr 28, 2016Updated 9 years ago
- ESC/POS parser - DEPRECATED. Using github.com/taoyuan/npos☆11Sep 8, 2019Updated 6 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.
- Probabilistic data structures in Pharo Smalltalk.☆30May 14, 2019Updated 6 years ago
- Might eventually replace termfilechooser☆22Feb 22, 2026Updated last month
- Binaries of Sane for MacOS Sierra☆18Jan 9, 2025Updated last year
- An addon for using Firefox with Emacs keybinding☆31Apr 23, 2024Updated last year
- 📦🔐 OpenIDConnect plugin for Verdaccio, fork of https://github.com/n4bb12/verdaccio-github-oauth-ui☆17Apr 9, 2026Updated last week
- Main project repository. Uses the other repositories as submodules.☆25Apr 9, 2017Updated 9 years ago
- A GitHub Action that performs operations on changelogs in Keep-a-Changelog format: bump the version, query release info.☆15Oct 26, 2025Updated 5 months ago
- Master repo for the UniMorph project, includes the UniMorph schema and annotated data files☆33Oct 26, 2019Updated 6 years ago
- Mirror of my blog post on "Debugging Node JS apps with Docker"☆12Dec 8, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Verdaccio authentication plugin for OpenID Connect.☆16Oct 18, 2024Updated last year
- Controller (GUI & CLI) for the OBSBot Tiny2 on Linux☆24Apr 10, 2026Updated last week
- latexdiff helper for git☆26Feb 14, 2022Updated 4 years ago
- Python Modbus Implementation to control a HanmaTek HM310P DC Power Supply☆14Apr 26, 2021Updated 4 years ago
- Zcash app for Ledger Nano S and X☆18Feb 12, 2025Updated last year
- Docker container to encapsulate OpenVPN Cloud Connector for easy deployment.☆14Jun 2, 2022Updated 3 years ago
- MCP server that provides screenshot capabilities for AI tools, allowing them to capture and process screen content☆24Mar 7, 2025Updated last year
- 🚪 Soothing pastel theme for wlogout & wleave☆28Aug 7, 2025Updated 8 months ago
- A simple applet to connect via openvpn3 until networkmanager integration arrives.☆17Apr 10, 2024Updated 2 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.
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆62Sep 5, 2021Updated 4 years ago
- Dim unused parameters from neovim..☆21Dec 7, 2023Updated 2 years ago
- Chart signing and verification with GnuPG for Helm.☆28Feb 20, 2020Updated 6 years ago
- Nix flake for OpenAI Codex CLI - native Rust binary, hourly updates, multi-platform caching☆75Updated this week
- Tarballs containing parts of the mkusb system☆21Jan 1, 2026Updated 3 months ago
- QOwnNotes command-line snippet manager.☆30Apr 2, 2026Updated 2 weeks ago
- Probabilistic miniKanren☆68Oct 20, 2015Updated 10 years ago