#

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

tidev / titanium-sdk

🚀 Native iOS and Android Apps with JavaScript

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

Updated May 8, 2024
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

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

android ios icons titanium unmaintained alloy

Updated Apr 12, 2024
JavaScript

KhronosGroup / Vulkan-MemoryModel

Vulkan Memory Model

vulkan alloy litmus-test vulkan-memorymodel

Updated Feb 2, 2024
C++

trimethyl / trimethyl

Titanium toolchain with superpower and wrapper around bugs.

framework titanium alloy

Updated May 26, 2022
JavaScript

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

Native Hyperloop examples in Titanium.

javascript android ios native sample-app alloy hyperloop

Updated Mar 6, 2024
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

fizzbee-io / fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

prism ltl formal-methods alloy formal-verification formal-languages tla pluscal tla-plus tlaplus alloy-analyzer

Updated May 8, 2024
Python

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

alloy-rs / trie

Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles

ethereum blockchain merkle trie mpt rlp alloy foundry ethereum-blockchain merkle-patricia-trie ethereum-rlp reth foundry-rs triehash alloy-rs rust-ethereum merkle-patricia

Updated Apr 3, 2024
Rust

alloy-rs / chains

Canonical type definitions for EIP-155 chains

rust ethereum alloy

Updated May 1, 2024
Rust

jasonkneen / nl.fokkezb.form

[UNMAINTAINED] Alloy TableView Form Widget

widget unmaintained alloy gittio

Updated Jun 9, 2020
JavaScript

cairoeth / rustmate

🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.

rust ethereum stylus alloy arbitrum

Updated Jan 12, 2024
Rust

Jiaxuan-Ma / MLMD

MLMD: a programming-free AI platform to predict and design materials

machine-learning material-design regression classification alloy transfer-learning feature-engineering active-learning multiobjective ai-platform streamlit surrogate-optimization

Updated Apr 29, 2024
Python

dgehringer / sqsgenerator

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

random openmp mpi python3 alloy materials-science

Updated May 3, 2024
C++

tidev / pulsar-titanium

Titanium SDK development tools and UI package for the Pulsar text editor

javascript atom titanium alloy

Updated Mar 6, 2024
JavaScript

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