GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
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 367 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
🚀 Native iOS and Android Apps with JavaScript & TypeScript
nodejs javascript android ios mobile cross-platform native titanium alloy hacktoberfest mobile-development
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
testing prism ltl property-based-testing testing-tools formal-methods alloy formal-verification formal-languages model-based-testing tla model-based-development pluscal tla-plus tlaplus model-based-systems-engineering alloy-analyzer conformance-testing
ERC-8004 Trustless Agents for TypeScript and Rust
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
Observability: Grafana, Loki, Alloy, Beyla, Promtail, Tempo, Prometheus, Mimir, Pyroscope , LGTM Stack, logs, metrics and tracing
monitoring grafana logging prometheus alloy loki kubernetes-monitoring tempo observability mimir tracing-collector tracing-applications promtail kubernetes-tracing lgtm-stack beyla
MatDesign: 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
Native Hyperloop examples in Titanium.
Bootstrap Button widget for Appcelerator (Titanium)
|
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |