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 30 public repositories matching this topic...
MatDesign: a programming-free AI platform to predict and design materials
-
Updated
Dec 24, 2025 - Python
Microservice for user authentication, authorization based on JWT mechanism with role-based access control. Project implement Event Driven Arhitecture, CQRS and Kafka as message broker.
-
Updated
May 15, 2025 - Python
railML validation tool
-
Updated
Jun 23, 2021 - Python
Structures of Alloy Generation And Recognition
-
Updated
Jul 6, 2023 - Python
⚡ Шаблон FastAPI приложения с мониторингом
-
Updated
Feb 27, 2026 - Python
Computational toolkit for investigating thermodynamic models of alloys using first-principles calculations
-
Updated
Apr 3, 2026 - Python
Binary 2D alloy phase transition simulation with Monte Carlo method and Ising model
-
Updated
Sep 28, 2020 - Python
コンフィグアラカルト!!
-
Updated
Sep 23, 2026 - Python
Observability stack for Stacks blockchain nodes and signers - dashboards, alerts, and log processing
-
Updated
Aug 12, 2026 - Python
A complete ZFS monitoring solution that converts `zpool_influxdb` output to Prometheus metrics, collected by Grafana Alloy's textfile collector, and visualized with a custom Grafana dashboard.
-
Updated
Feb 6, 2026 - Python
Stack completo de observabilidad LGTM (Grafana, Mimir, Tempo, Loki, Prometheus, Alloy) en Docker y telemetria para OKE.
-
Updated
Sep 19, 2026 - Python
A desktop tool to plot experimental CIELab colour-measurement data on top of the true sRGB colour gamut at a chosen lightness L*. The tool exports clean, publication-ready figures. Developed for materials- and colour-science work with dedicated application in the field of jewellery and precious metals alloys..
-
Updated
Sep 21, 2026 - Python
A Django web application for optimizing aluminum alloy formulations using linear programming. This tool helps metal recycling and manufacturing companies find the most cost-effective mix of scrap materials while meeting specific composition requirements for various alloys based on raw material availabiility and cost.
-
Updated
Jul 18, 2025 - Python
0 K convex hulls for binary alloys, with LAMMPS as the only energy engine
-
Updated
Aug 27, 2026 - Python
alloydbai ⚙️🧰🏃♀️ : Foundational AI Agent Secure Database Access # AlloyDB # MCP Toolbox # API # ADK
-
Updated
Aug 26, 2026 - Python
- Followers
- 4 followers
- Organization
- AlloyTools
- Website
- github.com/topics/alloy-analyzer
- Wikipedia
- Wikipedia