Creates diagrams from textual descriptions!

Modelio is a modeling solution offering a wide range of functionalities based on the main standards of enterprise architecture, software development and systems engineering.

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in securi…

Alloy*---Higher Order Logic for Alloy

The sassy UML diagram renderer

Structurizr DSL

Implementation of Universal Token for Assets and Payments

Security Token (WIP)

SecurityToken standard that helps to launch the compliance securities over the ethereum blockchain

Home of the UML-based Specification Environment (USE)

Gaphor is the simple modeling tool

Microchip AVR based smartcard/token with ECC and RSA cryptography

Rust bindings to PC/SC for smart card communication

Minimum Viable Payment Terminal

Anonymous. Uncensored. Sovereign.

Toolkit for SSI and NFT/SBT wallets

All-In-One SSI infrastructure toolkit

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Reference implementation of Anoma

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

A STARK prover and verifier for arbitrary computations

⚡ solidity --> zApp transpiler ⚡

PANIC Monitoring and Alerting For Blockchains