An extension for VS Code supporting the Alloy modelling language
☆11Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for VSCodeAlloyExtension
Users that are interested in VSCodeAlloyExtension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- Minimal example of using SWIG to call C++ code from Java, with a CMake cross-platform build system.☆18Jun 15, 2020Updated 6 years ago
- ☆20Apr 23, 2025Updated last year
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆21May 30, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- gvisor hacks☆13Feb 1, 2020Updated 6 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆11Mar 18, 2022Updated 4 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- Continuations library for Java by Matthias Mann☆30Aug 2, 2021Updated 5 years ago
- A memory-bounded LSP server for Go monorepos☆12Oct 8, 2026Updated 3 weeks ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 9 months ago
- Uart module written in chisel☆13Feb 19, 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.
- An unofficial Yale-University-branded theme for LaTeX Beamer.☆10Jun 16, 2019Updated 7 years ago
- hypervisorなmemo☆13Jul 1, 2019Updated 7 years ago
- Anta is Antithesis design system☆18Updated this week
- ☆19Updated this week
- Awesome open budget list (russian lang)☆15Aug 16, 2016Updated 10 years ago
- A Smalltalk port of the QuickCheck unit test framework☆12May 9, 2020Updated 6 years ago
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated 8 months ago
- Clojure RETE implementation☆10Nov 12, 2013Updated 12 years ago
- An actor framework for Delphi☆11Jul 25, 2012Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- FRRouting on docker☆13Jan 12, 2021Updated 5 years ago
- VSCode pluging that provides LSP support for the Dhall programming language☆18Apr 11, 2023Updated 3 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆18Feb 19, 2025Updated last year
- Notes and the actual elaboration for my master's thesis on different operating system approaches.☆18Jun 19, 2019Updated 7 years ago
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆14Feb 13, 2018Updated 8 years ago
- Swiss army knife for RabbitMQ☆11Nov 20, 2017Updated 8 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 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.
- LibGDX port of the awesome Pixel Dungeon☆40Sep 8, 2014Updated 12 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆144Jun 16, 2025Updated last year
- A simple terminal emulator☆16Nov 23, 2017Updated 8 years ago
- An iproute2 utility written in Go.☆21May 27, 2024Updated 2 years ago
- ☆15Nov 8, 2023Updated 2 years ago
- Set of python based rabbitmq plugins☆10Jul 5, 2018Updated 8 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago