#

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 132 public repositories matching this topic...

tidev / titanium_mobile

Sponsor

🚀 Native iOS and Android Apps with JavaScript

nodejs javascript android ios mobile cross-platform native titanium alloy hacktoberfest mobile-development

Updated Feb 7, 2023
Objective-C

s1ddok / Alloy

Make usage of Metal API a pleasure

swift metal gpu ml alloy metalkit metal-api

Updated Jan 6, 2023
Swift

Josh015 / Alloy

Alloy physical shader framework for Unity.

skin csharp unity shaders graphics unity3d transmission hlsl alloy shaderlab hdr custom-shaders

Updated Apr 17, 2018
ShaderLab

jasonkneen / TiCons-CLI

Sponsor

Command-Line version of TiCons for generating icons and splash screens for Titanium & Alloy projects.

android ios icons titanium unmaintained alloy

Updated Apr 12, 2022
JavaScript

trimethyl / trimethyl

Titanium toolchain with superpower and wrapper around bugs.

framework titanium alloy

Updated May 26, 2022
JavaScript

KhronosGroup / Vulkan-MemoryModel

Vulkan Memory Model

vulkan alloy litmus-test vulkan-memorymodel

Updated Mar 3, 2022
C++

FokkeZB / nl.fokkezb.loading

The widget provides a simple loading mask that can be easily styled and configured.

android ios titanium appcelerator archived alloy axway

Updated Mar 18, 2018
JavaScript

manumaticx / circularprogress

Circular Progressbar Widget for Alloy

widget titanium alloy

Updated Sep 30, 2017
JavaScript

tidev / hyperloop-examples

Sponsor

Native Hyperloop examples in Titanium.

javascript android ios native sample-app alloy hyperloop

Updated May 12, 2022
JavaScript

eliegkassouf / nl.fokkezb.button

Bootstrap Button widget for Appcelerator (Titanium)

javascript widget titanium appcelerator alloy custom-fonts button-widget

Updated May 2, 2017
JavaScript

FokkeZB / Tracker

Tracker 4 Compassion

app titanium appcelerator alloy

Updated Aug 7, 2018
JavaScript

alexlee002 / alloy

Patchwork now rename to [alloy], alloy is a simple toolkit that makes your iOS / OS X apps development more easier.

macos activerecord ios alloy patchwork model-mapping network-wrapper

Updated Dec 4, 2017
Objective-C

jasonkneen / nl.fokkezb.form

Sponsor

[UNMAINTAINED] Alloy TableView Form Widget

widget unmaintained alloy gittio

Updated Jun 9, 2020
JavaScript

tidev / atom-appcelerator-titanium

Sponsor

Appcelerator development tools and UI package for the Atom text editor

javascript atom titanium alloy

Updated Jan 30, 2023
JavaScript

s1ddok / Lutty

Example app on Metal and SwiftUI usage for color-grading with LUTs

metal alloy lut swiftui swiftui-example swiftui-demo swiftui-learning

Updated Oct 30, 2019
Swift

pascalpoizat / fbpmn

🔬 formal tools for BPMN

research bpmn verification alloy tlaplus

Updated Nov 10, 2021
Haskell

macCesar / purgeTSS

Sponsor

PurgeTSS is a package that helps Titanium developers create visually appealing mobile apps more easily, with features including highly customizable utility classes, icon fonts support, a basic Animation module, a simple grid system, and a shades command for creating custom colors.

nodejs javascript android cli ios titanium appcelerator alloy titanium-module

Updated Feb 9, 2023
JavaScript

dgehringer / sqsgenerator

A command line tool written in Python/C++ for finding optimized SQS structures

random openmp mpi python3 alloy materials-science

Updated Jan 20, 2023
C++

mobilehero-archive / nativeloop

⭐ Axway Amplify module for using nativeloop with Appcelerator Titanium SDK Framework

mobile native titanium titanium-mobile appcelerator titanium-alloy alloy titanium-sdk axway nativeloop titanium-module api-builder axway-amplify axway-sdk axway-plugin axway-module

Updated Apr 11, 2022
JavaScript

Topener / staballoy

Reactive UI framework for Titanium Alloy

javascript reactive titanium appcelerator javascript-library titanium-alloy alloy hacktoberfest

Updated Jan 25, 2023
JavaScript

Organization: AlloyTools
Website: alloytools.org
Wikipedia: Wikipedia