GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

Alloy Analyzer

css logo

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.

Repository
AlloyTools
Website
alloytools.org
Wikipedia
维基百科
https://static.github-zh.com/github_avatars/foundry-rs?size=40
foundry-rs / foundry

#区块链#Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

RustSolidityevmTestingFuzzing/Fuzz testingmainnet-fork区块链以太坊tooling框架ethdappsethdapptoolsAlloy Analyzer
Rust 9.04 k
1 天前
https://static.github-zh.com/github_avatars/tidev?size=40
tidev / titanium-sdk

#安卓#🚀 Native iOS and Android Apps with JavaScript & TypeScript

iOSAndroidnativeJavaScriptcross-platformNode.jsAlloy Analyzer移动mobile-developmentHacktoberfest
Objective-C 2.78 k
5 天前
https://static.github-zh.com/github_avatars/s1ddok?size=40
s1ddok / Alloy

Make usage of Metal API a pleasure

metalgpuSwiftAlloy Analyzer机器学习
Swift 388
8 个月前
https://static.github-zh.com/github_avatars/Josh015?size=40
Josh015 / Alloy

Alloy physical shader framework for Unity.

UnityhlslC#shadersAlloy Analyzertransmissionskingraphicsshaderlabhdr
ShaderLab 279
7 年前
https://static.github-zh.com/github_avatars/fizzbee-io?size=40
fizzbee-io / fizzbee

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

formal-methodsformal-verificationtlatlaplusAlloy Analyzerprism
Python 228
6 天前
https://static.github-zh.com/github_avatars/alloy-rs?size=40
alloy-rs / trie

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

Alloy Analyzer区块链以太坊ethereum-blockchainfoundrymptrethrlptrie
Rust 134
5 天前
https://static.github-zh.com/github_avatars/jasonkneen?size=40
jasonkneen / TiCons-CLI

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

unmaintainedAlloy AnalyzericonsiOSAndroid
JavaScript 110
1 年前
https://static.github-zh.com/github_avatars/KhronosGroup?size=40
KhronosGroup / Vulkan-MemoryModel

Vulkan Memory Model

Alloy Analyzervulkan
C++ 107
17 天前
https://static.github-zh.com/github_avatars/leruaa?size=40
leruaa / alloy-mev

An Alloy transport to send transaction bundles via Flashbots.

Alloy Analyzerflashbotsmev
Rust 105
8 个月前
https://static.github-zh.com/github_avatars/trimethyl?size=40
trimethyl / trimethyl

Titanium toolchain with superpower and wrapper around bugs.

Alloy Analyzer框架
JavaScript 100
3 年前
https://static.github-zh.com/github_avatars/FokkeZB?size=40
FokkeZB / nl.fokkezb.loading

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

Alloy AnalyzerAndroidiOSarchived
JavaScript 94
7 年前
https://static.github-zh.com/github_avatars/manumaticx?size=40
manumaticx / circularprogress

Circular Progressbar Widget for Alloy

Alloy Analyzerwidget
JavaScript 87
8 年前
https://static.github-zh.com/github_avatars/tidev?size=40
tidev / hyperloop-examples

#安卓#Native Hyperloop examples in Titanium.

Alloy AnalyzerAndroidiOSsample-appJavaScriptnative
JavaScript 78
1 年前
https://static.github-zh.com/github_avatars/alloy-rs?size=40
alloy-rs / chains

Canonical type definitions for EIP-155 chains

Alloy Analyzer以太坊Rust
Rust 76
7 天前
https://static.github-zh.com/github_avatars/eliegkassouf?size=40
eliegkassouf / nl.fokkezb.button

Bootstrap Button widget for Appcelerator (Titanium)

widgetAlloy AnalyzerJavaScriptcustom-fonts
JavaScript 72
8 年前
https://static.github-zh.com/github_avatars/Jiaxuan-Ma?size=40
Jiaxuan-Ma / MLMD

#计算机科学#MLMD: a programming-free AI platform to predict and design materials

机器学习Material Designactive-learningclassificationfeature-engineeringregressionStreamlittransfer-learningai-platformAlloy Analyzer
Python 69
4 个月前
https://static.github-zh.com/github_avatars/FokkeZB?size=40
FokkeZB / Tracker

Tracker 4 Compassion

Alloy AnalyzerApp
JavaScript 66
7 年前
https://static.github-zh.com/github_avatars/alexlee002?size=40
alexlee002 / alloy

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

activerecordiOSmacOSAlloy Analyzer
Objective-C 63
8 年前
https://static.github-zh.com/github_avatars/cairoeth?size=40
cairoeth / rustmate

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

RustStylus (Disambiguation)Alloy Analyzerarbitrum以太坊
Rust 49
1 年前
https://static.github-zh.com/github_avatars/qclaogui?size=40
qclaogui / codelab-monitoring

Little helper to run Grafana LGTMP Stack(Loki Grafana Tempo Mimir Pyroscope) in Docker or Kubernetes.

监控KuberneteslokipyroscopetempoobservabilityDockerAlloy Analyzer
Makefile 49
5 天前
loading...