Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
- Updated Apr 12, 2026
- Rust
Build software better, together
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 285 public repositories matching this topic...
🚀 Native iOS and Android Apps with JavaScript & TypeScript
- Updated Apr 11, 2026
- Objective-C
Make usage of Metal API a pleasure
- Updated Oct 8, 2024
- Swift
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
- Updated Mar 12, 2026
- Python
Alloy physical shader framework for Unity.
- Updated Apr 17, 2018
- ShaderLab
Rust SDK for ERC-8004: Onchain AI agent execution registry.
- Updated Apr 7, 2026
- Rust
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
- Updated Mar 9, 2026
- Rust
Observability: Grafana, Loki, Alloy, Beyla, Promtail, Tempo, Prometheus, Mimir, Pyroscope , LGTM Stack, logs, metrics and tracing
- Updated Apr 6, 2026
An Alloy transport to send transaction bundles via Flashbots.
- Updated Sep 13, 2025
- Rust
Vulkan Memory Model
- Updated Jun 26, 2025
- C++
Command-Line version of TiCons for generating icons and splash screens for Titanium & Alloy projects.
- Updated Apr 12, 2024
- JavaScript
Canonical type definitions for EIP-155 chains
- Updated Apr 10, 2026
- Rust
Titanium toolchain with superpower and wrapper around bugs.
- Updated May 26, 2022
- JavaScript
The widget provides a simple loading mask that can be easily styled and configured.
- Updated Mar 18, 2018
- JavaScript
Circular Progressbar Widget for Alloy
- Updated Sep 30, 2017
- JavaScript
MatDesign: a programming-free AI platform to predict and design materials
- Updated Dec 24, 2025
- Python
Native Hyperloop examples in Titanium.
- Updated Mar 6, 2024
- JavaScript
Scalable Realtime Credit Card Fraud Detection (CCFD) system
- Updated Oct 29, 2025
- Smarty
Bootstrap Button widget for Appcelerator (Titanium)
- Updated May 2, 2017
- JavaScript
A tool for finding optimized SQS structures tool written in C++
- Updated Apr 7, 2026
- C++