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.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
MatDesign: a programming-free AI platform to predict and design materials
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.
railML validation tool
Structures of Alloy Generation And Recognition
⚡ Шаблон FastAPI приложения с мониторингом
Computational toolkit for investigating thermodynamic models of alloys using first-principles calculations
Binary 2D alloy phase transition simulation with Monte Carlo method and Ising model
Observability stack for Stacks blockchain nodes and signers - dashboards, alerts, and log processing
Zero-instrumentation eBPF observability — CPU flamegraphs and RED metrics for any Docker workload, no code changes required.
alloydbai ⚙️🧰🏃♀️ : Foundational AI Agent Secure Database Access # AlloyDB # MCP Toolbox # API # ADK
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.
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.
GUI-based alloy composition calculator (mass, mole %, weight %) with CSV export and debug mode.
A modular Grafana Alloy POC demonstrating log parsing, "fail-first" validation, and metric generation with Loki and Prometheus.
Python Client for the Alloy Language Server
Loch-E is a research tool for modelling pressure–composition–isotherm (PCI) behaviour of FeTiHₓ hydrides using ab initio energetics and explicit entropy contributions.