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
Binary 2D alloy phase transition simulation with Monte Carlo method and Ising model
Computational toolkit for investigating thermodynamic models of alloys using first-principles calculations
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.
Python Client for the Alloy Language Server
Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"