Grafana Alloy support for VSCode
-
Updated
Apr 30, 2025 - TypeScript
#
alloy
In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
Here are 7 public repositories matching this topic...
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
z3 formal-methods alloy sat-solver spectra smt2 smt-solver smv nuxmv alloy-analyzer limboole spectra-synthesizer syntech
-
Updated
Aug 6, 2025 - TypeScript
Example code for using Alloy with the Internet Computer.
-
Updated
Nov 28, 2024 - TypeScript
An Alloy-based Titanium sample app using TypeScript!
-
Updated
Jan 29, 2021 - TypeScript
(my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)
vscode school-project vscode-extension alloy software-verification school-assignment vizualisation alloy-analyzer
-
Updated
May 1, 2021 - TypeScript
Website and documentation for ic-alloy
-
Updated
Nov 28, 2024 - TypeScript
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia