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 158 public repositories matching this topic...
Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)
-
Updated
Jan 13, 2024 - Jupyter Notebook
Popup list widget with search for Appcelerator Alloy and Titanium. Requires libraries available at: https://github.com/rafbel/titanium_libraries
-
Updated
Dec 7, 2017 - JavaScript
🚀Geek Mobile Toolkit - Everything a geek needs to create, build, and manage cross-platform native mobile apps.
-
Updated
Oct 27, 2020 - JavaScript
⭐ Axway Amplify plugin to use locally installed Alloy with Appcelerator Titanium SDK
-
Updated
Apr 11, 2022 - JavaScript
Titanium Native mobile SDK for AMPLIFY Streams
-
Updated
May 17, 2023 - JavaScript
my exercises for Alloy tool
-
Updated
Apr 3, 2020 - Alloy
Crossplatform dropdown picker widget for Appcelerator Alloy. Requires libraries from https://github.com/rafbel/titanium_libraries.
-
Updated
Dec 1, 2017 - JavaScript
Axway Amplify modules to use native SFSafariViewController (iOS) and Chrome Pages (Android) with Appcelerator Titanium apps
-
Updated
May 17, 2023 - JavaScript
⭐ Axway Amplify module for using Google Sign-in with Appcelerator Titanium SDK Framework
-
Updated
Apr 11, 2022 - Objective-C
Some useful Alloy tips and tricks to get around in MFES
-
Updated
Jan 28, 2019 - Alloy
⭐ Axway Amplify template for using Alloy with Appcelerator Titanium SDK
-
Updated
May 17, 2023 - JavaScript
⭐ Axway Amplify modules for iOS CoreMotion framework with Appcelerator Titanium SDK
-
Updated
May 17, 2023 - JavaScript
⭐ Axway Amplify module for using JSON5 with Appcelerator Titanium SDK
-
Updated
May 17, 2023 - JavaScript
2018/2019 Software Engineering II project by Alberto Archetti and Fabio Carminati
-
Updated
May 10, 2021 - TeX
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- alloytools.org
- Wikipedia
- Wikipedia