Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: alloy

Repositories

fizzbee-io/fizzbee

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

Language: Python - Size: 369 KB - Last synced: about 17 hours ago - Pushed: 1 day ago - Stars: 68 - Forks: 4

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.

Language: JavaScript - Size: 50 MB - Last synced: 1 day ago - Pushed: 18 days ago - Stars: 25 - Forks: 3

alloy-rs/chains

Canonical type definitions for EIP-155 chains

Language: Rust - Size: 169 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 42 - Forks: 26

tidev/titanium-sdk

🚀 Native iOS and Android Apps with JavaScript

Language: Objective-C - Size: 1.54 GB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 2,735 - Forks: 1,207

se-buw/fm-playground

A Formal Method playground for limboole, Z3, nuXmv, and Alloy

Language: JavaScript - Size: 24.3 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 4 - Forks: 2

seanpm2001/SNU_2D_ProgrammingTools_IDE_Alloy

The Alloy Programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: Alloy - Size: 577 KB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

seanpm2001/Learn-Alloy

A repository for showcasing my knowledge of the Alloy programming language, and continuing to learn the language.

Language: Alloy - Size: 551 KB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

gabrielsvinha/dropbox-alloy

Sistema de armazenamento de arquivos.

Language: Alloy - Size: 6.84 KB - Last synced: 5 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

lan496/dsenum

Enumerate derivative structures

Language: Python - Size: 8.42 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 10 - Forks: 1

Mohannadcse/AlloySpecRepair

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Language: Alloy - Size: 12.9 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0

leruaa/alloy-flashbots

An Alloy transport to send transaction bundles via Flashbots.

Language: Rust - Size: 43 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 10 - Forks: 0

cairoeth/rustmate

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

Language: Rust - Size: 131 KB - Last synced: 16 days ago - Pushed: 4 months ago - Stars: 41 - Forks: 5

alloy-rs/trie

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

Language: Rust - Size: 48.8 KB - Last synced: 23 days ago - Pushed: 30 days ago - Stars: 48 - Forks: 10

grafana/vim-alloy

Grafana Alloy support for Vim/Neovim

Language: Vim Script - Size: 4.88 KB - Last synced: 20 days ago - Pushed: 24 days ago - Stars: 2 - Forks: 0

grafana/vscode-alloy

Grafana Alloy support for VSCode

Size: 22.5 KB - Last synced: 20 days ago - Pushed: 24 days ago - Stars: 0 - Forks: 0

s1ddok/Alloy

Make usage of Metal API a pleasure

Language: Swift - Size: 9.2 MB - Last synced: 15 days ago - Pushed: over 1 year ago - Stars: 370 - Forks: 25

tidev/pulsar-titanium

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

Language: JavaScript - Size: 5.66 MB - Last synced: 2 days ago - Pushed: about 2 months ago - Stars: 36 - Forks: 11

jasonkneen/TiCons-CLI

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

Language: JavaScript - Size: 1.33 MB - Last synced: 1 day ago - Pushed: 21 days ago - Stars: 110 - Forks: 42

hhu-stups/alloy2b

(READ ONLY MIRROR) Parser for our Translation from Alloy to B

Language: Prolog - Size: 5.85 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

bakaq/category_theory_alloy

A model of category theory with Alloy 6

Language: Alloy - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

bakaq/tree-sitter-alloy6

A Treesitter grammar for Alloy 6

Language: C - Size: 21.5 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

joivo/using-alloy

Final project of the Mathematical Logic discipline using Alloy Analyzer.

Language: Alloy - Size: 23.4 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

Josh015/Alloy 📦

Alloy physical shader framework for Unity.

Language: ShaderLab - Size: 3.41 MB - Last synced: 11 days ago - Pushed: about 6 years ago - Stars: 274 - Forks: 27

grayswandyr/electrod

Formal analysis for the Electrod formal specification language

Language: OCaml - Size: 2.56 MB - Last synced: about 22 hours ago - Pushed: 1 day ago - Stars: 10 - Forks: 4

tidev/hyperloop-examples

Native Hyperloop examples in Titanium.

Language: JavaScript - Size: 109 MB - Last synced: 2 days ago - Pushed: about 2 months ago - Stars: 78 - Forks: 49

gio-del/eMall 📦

JavaScript-based project for an eMSP and CPMSs (OCPP Server)

Language: JavaScript - Size: 141 MB - Last synced: 10 days ago - Pushed: 11 months ago - Stars: 11 - Forks: 5

akshatmittal/create2-salt-miner

An extremely fast CREATE2 salt miner for creating efficient Ethereum addresses.

Language: C - Size: 33.2 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

dgehringer/sqsgenerator

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

Language: C++ - Size: 1.12 MB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 29 - Forks: 10

pascalpoizat/fbpmn

:microscope: formal tools for BPMN

Language: Haskell - Size: 35.8 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 31 - Forks: 5

rafbel/alloy_dropdown_field

Crossplatform dropdown picker widget for Appcelerator Alloy. Requires libraries from https://github.com/rafbel/titanium_libraries.

Language: JavaScript - Size: 2.93 KB - Last synced: 4 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

rafbel/alloy_popup_list

Popup list widget with search for Appcelerator Alloy and Titanium. Requires libraries available at: https://github.com/rafbel/titanium_libraries

Language: JavaScript - Size: 5.86 KB - Last synced: 4 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0

Jiaxuan-Ma/MLMD

A no-programming Machine Learning platform for Material Design

Language: Python - Size: 15.7 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 7 - Forks: 1

miguelmota/alloy-learning 📦

Some examples and notes while learning Alloy modeling language.

Size: 5.86 KB - Last synced: 18 days ago - Pushed: about 3 years ago - Stars: 2 - Forks: 1

hkhojasteh/CANBus

:electric_plug: Basic Model of Controller Area Network (CAN bus) in Alloy structural modeling tool from MIT.

Language: Alloy - Size: 536 KB - Last synced: 3 months ago - Pushed: about 6 years ago - Stars: 6 - Forks: 0

rhacrsse/car-sharing-service

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

Language: Java - Size: 70.3 MB - Last synced: 5 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

brentonhouse/geek-mobile

🚀Geek Mobile Toolkit - Everything a geek needs to create, build, and manage cross-platform native mobile apps.

Language: JavaScript - Size: 800 KB - Last synced: 1 day ago - Pushed: over 3 years ago - Stars: 5 - Forks: 0

lucagrammer/LeoniLocarnoMinotti

Requirement Engineering and Design Project - Software Engineering 2. Politecnico di Milano, A.A. 2020-2021

Language: Alloy - Size: 120 MB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 6 - Forks: 2

scut-ccmp/sagar

Structures of Alloy Generation And Recognition

Language: Python - Size: 1.16 MB - Last synced: 7 months ago - Pushed: 10 months ago - Stars: 5 - Forks: 4

unblockhype/Hype

Hype is a powerful proxy service/unblocker for school.

Language: HTML - Size: 164 KB - Last synced: 8 months ago - Pushed: about 2 years ago - Stars: 17 - Forks: 64

pedrordgs/RailML-Utilities

railML validation tool

Language: Python - Size: 22 MB - Last synced: 8 months ago - Pushed: almost 3 years ago - Stars: 7 - Forks: 0

seanpm2001/AI2001_Category-Source_Code-SC-Alloy

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Alloy category for AI2001, containing Alloy programming language datasets

Language: R - Size: 2.46 MB - Last synced: 5 days ago - Pushed: 8 months ago - Stars: 2 - Forks: 1

FokkeZB/nl.fokkezb.loading 📦

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

Language: JavaScript - Size: 228 KB - Last synced: 12 days ago - Pushed: about 6 years ago - Stars: 94 - Forks: 19

facumolina/ga-optodeclspecs

A Genetic Algorithm to translate Operational to Declarative Specifications

Language: Alloy - Size: 21.6 MB - Last synced: 8 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

Bhushankumar-pawar/SEGMENTED_CONTROL_Example

An Alloy widget Segmented Control for Titanium / Appcelerator (Cross-platform )

Language: JavaScript - Size: 11.1 MB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Bhushankumar-pawar/Segmented_Control

An Alloy widget Segmented Control for Titanium / Appcelerator (Cross-platform )

Language: JavaScript - Size: 20.5 KB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

mourats/Projeto-Alloy

☕ Projeto da disciplina Lógica para Computação - 2018.1

Language: Alloy - Size: 12.7 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1

Pedro-Manoel/Logica

💻 Mini-projeto desenvolvido durante às aulas de lógica para computação da UFCG

Language: Alloy - Size: 3.91 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

mirkomantovani/Travlendar-plus

Software Engineering II project - web application in J2EE framework and documentation (RASD, DD) . Apache Derby Relational Database, JPA, Servlets, JSP. JUnit and Mockito testing

Language: Java - Size: 24.4 MB - Last synced: 9 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 1

felipegangorra/alloy-mini-projeto

Mini-projeto desenvolvido em Alloy na Disciplina de Lógica para Computação, UFCG.

Language: Alloy - Size: 6.84 KB - Last synced: 9 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

TheBusyBiscuit/ExtraGear

A very simple Slimefun Addon that adds new Swords and Armor for Slimefun's Alloys

Language: Java - Size: 38.1 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 11 - Forks: 23

Crucible-Alloy/Crucible

A graphical testing suite for AUnit and Alloy

Language: TypeScript - Size: 256 MB - Last synced: 9 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

coreflexive/relmath

Translation into Alloy of selected topics presented by G. Schmidt in his book: Relational Mathematics

Language: Alloy - Size: 18.6 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

alexlee002/alloy

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

Language: Objective-C - Size: 1.24 MB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 62 - Forks: 7

coreflexive/dmd

Unofficial living documentation for the Dictionary of Medicines and Devices data model.

Size: 26.4 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

zdc54/nylon

A simplistic proxy site.

Language: JavaScript - Size: 80.6 MB - Last synced: 12 months ago - Pushed: about 2 years ago - Stars: 4 - Forks: 18

coreflexive/order

Translation into Alloy of some Order Theory

Language: Alloy - Size: 7.81 KB - Last synced: almost 1 year ago - Pushed: almost 1 year ago - Stars: 0 - Forks: 0

coreflexive/relation

Translation into Alloy of some of the theory of Relations

Language: Alloy - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

coreflexive/algebra

Translation into Alloy of selected topics from Algebra

Language: Alloy - Size: 8.79 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

coreflexive/synthesis

A synthesis of the algebra, order and relation repositories

Language: Alloy - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

KhronosGroup/Vulkan-MemoryModel

Vulkan Memory Model

Language: C++ - Size: 12.1 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 96 - Forks: 10

Topener/staballoy 📦

Reactive UI framework for Titanium Alloy

Language: JavaScript - Size: 6.07 MB - Last synced: 8 days ago - Pushed: over 1 year ago - Stars: 18 - Forks: 6

erijonhson/projeto-alloy

Language: Alloy - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

mobilehero-archive/titanium-polyfill

⭐ Axway Amplify native polyfills necessary to use Node.js modules for Appcelerator Titanium SDK

Language: JavaScript - Size: 1.12 MB - Last synced: 1 day ago - Pushed: 12 months ago - Stars: 5 - Forks: 1

FokkeZB/TiCons-Server-Arrow 📦

⛔️ DEPRECATED BY:

Language: HTML - Size: 58.6 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 9 - Forks: 1

Dmytro27Ind/ti-users

This is a test task written in Titanium SDK with Alloy framework.

Language: JavaScript - Size: 276 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Dmytro27Ind/titanium-calculator

A simple calculator written using Titanium SDK and Alloy framework.

Language: JavaScript - Size: 727 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

FokkeZB/Tracker 📦

Tracker 4 Compassion

Language: JavaScript - Size: 681 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 67 - Forks: 24

vladm3/alloy.babel 📦

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

Language: JavaScript - Size: 7.81 KB - Last synced: 30 days ago - Pushed: almost 7 years ago - Stars: 3 - Forks: 1

msramalho/feup-mfes 📦

Alloy4fun from 0 to reality

Language: JavaScript - Size: 9.73 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0

kbshl/de.kbueschel.uiwebviewprogressbar 📦

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

Language: JavaScript - Size: 249 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 3

kbshl/de.kbueschel.hamburgerbutton 📦

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

Language: JavaScript - Size: 1.98 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 6 - Forks: 4

Josh015/Alloy-Substance-Painter 📦

Alloy preview shaders for Substance Painter.

Language: GLSL - Size: 8.79 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 7 - Forks: 1

Josh015/Alloy-Substance-Designer 📦

Alloy preview shaders for Substance Designer.

Language: GLSL - Size: 21.5 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 3

trimethyl/trimethyl 📦

Titanium toolchain with superpower and wrapper around bugs.

Language: JavaScript - Size: 236 MB - Last synced: 18 days ago - Pushed: almost 2 years ago - Stars: 99 - Forks: 21

Tacosheel/TacoProxyV2 📦

A node.js web proxy for use in combating web filters

Language: CSS - Size: 1.24 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 14 - Forks: 59

bradford-smith94/alloy-raft

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

Language: Alloy - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 1

szilagyib/SysMLToGraphmodelGenerator

Xtend based plugin for automatic generation of graphmodels from SysMLv2 input models

Language: Java - Size: 638 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

yashanand1910/nicebook

Project repository for CMU Formal Methods (17614)

Language: Alloy - Size: 4.48 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

hengxin/vis-ar-formalization

Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models

Language: TeX - Size: 94.2 MB - Last synced: about 2 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

dwwmmn/alloy-mode Fork of psii/alloy-mode

Emacs major mode for Alloy

Language: Emacs Lisp - Size: 17.6 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 13 - Forks: 8

alvesmatheus/modelagem-logica

Especificação formal de uma distribuição de funcionários para a disciplina Lógica para Computação.

Language: Alloy - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

ModelWriter/AlloyInEcore

Embedding of First-Order Relational Logic into Meta-Object Facility

Language: Java - Size: 135 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 3 - Forks: 1

macCesar/color-shades

A Titanium App for iOS and Android to showcase all the colors in config.js file, created with PurgeTSS

Language: JavaScript - Size: 10.6 MB - Last synced: 1 day ago - Pushed: 18 days ago - Stars: 3 - Forks: 0

huanhulan/alloy-exercises

my exercises for Alloy tool

Language: Alloy - Size: 108 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 3 - Forks: 0

Dihfahsih1/Distributed-Social-Network

Assignment Add the following to complete and execute the model 1. Write the following invariants: (20 marks) Each post is owned by at most one user A user cannot be his or her own friend Friendship is a symmetric relation Server capacity is positive Servers cannot exceed their capacity

Language: Alloy - Size: 9.13 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0