#

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...

skypanther / AlloyPopover

iPad popover-like component for Titanium Alloy projects

appcelerator titanium-alloy alloy

Updated May 9, 2014
JavaScript

kbshl / de.kbueschel.hamburgerbutton

An iOS Alloy widget displaying an animated hamburger button for off-canvas/sliding side menus.

ios widget titanium titanium-mobile titanium-alloy alloy

Updated Dec 5, 2016
JavaScript

kbshl / de.kbueschel.uiwebviewprogressbar

An Alloy widget that displays a fake progress for WebView data loading

widget titanium titanium-mobile titanium-alloy alloy alloy-widget

Updated Dec 5, 2016
JavaScript

FokkeZB / TiCons-Server-Arrow

⛔️ DEPRECATED BY:

website node generator arrow icons titanium deprecated appcelerator alloy

Updated Jan 10, 2017
HTML

jasonkneen / TiCons-Server

Server wrapper for the TiCons CLI and NPM Package

website express node generator icons apps titanium appcelerator alloy

Updated Jan 11, 2017
HTML

rodamber / ss

Repository for the Software Specification 2016/2017 course at IST, University of Lisbon

model-checking formal-methods alloy formal-verification

Updated Feb 8, 2017
Alloy

rhacrsse / car-sharing-service

Documentation to develop a digital management system for a car-sharing service that exclusively employs electric cars

java testing pdf keynote latex project software-engineering alloy polimi

Updated Feb 20, 2017
Java

Paramount-Enterprises / PARENTNashik

Paramount Enterprises – PARENTNashik is an ISO 9001:2008 manufacturing, supplying & licensed exporter organization in India. PARENT is younger energetic, with noticeably skilled engineering group having extra than 2 decade revel in resistance welding and contemporary generation machining facility, manufacturing all sorts of resistance spot weldi…

Updated Feb 23, 2017

GustavoDinizMonteiro / formal_methods

formal-methods alloy

Updated Mar 24, 2017
Alloy

gabrielsvinha / dropbox-alloy

Sistema de armazenamento de arquivos.

Updated Mar 24, 2017
Alloy

bradford-smith94 / alloy-raft

An attempt at creating a simple model of the Raft Consensus Algorithm in Alloy.

raft alloy raft-consensus-algorithm

Updated Mar 31, 2017
Alloy

eliegkassouf / nl.fokkezb.button

Bootstrap Button widget for Appcelerator (Titanium)

javascript widget titanium appcelerator alloy custom-fonts button-widget

Updated May 2, 2017
JavaScript

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)

emf verification alloy automated-analysis traceability kodkod z

Updated Jun 12, 2017
Java

vladm3 / alloy.babel

Appcelerator Titanium plugin which enables ES6, Pug (Jade), STSS and LiveView support for Alloy projects

titanium appcelerator titanium-alloy alloy

Updated Jul 1, 2017
JavaScript

jasonkneen / ti-code-templates

Repo of templates used for http://github.com/jasonkneen/ti-code-fetch-atom

app titanium alloy

Updated Aug 7, 2017
JavaScript

jasonkneen / ti-code-fetch-atom

Code Fetch Atom Plugin that look up templates in http://github.com/jasonkneen/ti-code-templates

titanium alloy appecelerator

Updated Aug 7, 2017
JavaScript

erijonhson / projeto-alloy

Updated Aug 15, 2017
Alloy

manumaticx / circularprogress

Circular Progressbar Widget for Alloy

widget titanium alloy

Updated Sep 30, 2017
JavaScript

Cyber-Duck / alloy-toast-notification

Simple toast notification poping from the bottom of the screen on demand.

notifications javascript widget titanium toast alloy

Updated Oct 13, 2017
JavaScript

ptquang86 / template

templates titanium alloy

Updated Nov 9, 2017
JavaScript

Followers: 4 followers
Organization: AlloyTools
Website: alloytools.org
Wikipedia: Wikipedia