Movatterモバイル変換

quint Public
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
informalsystems/quint’s past year of commit activity
TypeScript 1,176Apache-2.0 111 221 (2 issues need help) 25 UpdatedFeb 20, 2026
emerald Public
Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.
informalsystems/emerald’s past year of commit activity
Rust 23Apache-2.0 8 28 (2 issues need help) 13 UpdatedFeb 20, 2026
penumbra Public Forked frompenumbra-zone/penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
informalsystems/penumbra’s past year of commit activity
Rust0Apache-2.0 372 0 3 UpdatedFeb 19, 2026
quint-llm-kit Public
Agents and tools for using Quint with LLMs
informalsystems/quint-llm-kit’s past year of commit activity
Bluespec 12Apache-2.0 1 1 0 UpdatedFeb 19, 2026
hydro-bid-descriptions Public
This repository contains the descriptions and metadata for proposals on the Hydro liquidity auction platform.
informalsystems/hydro-bid-descriptions’s past year of commit activity
1 1 0 1 UpdatedFeb 18, 2026
hydro Public
A liquidity allocator & auction platform built for the Cosmos Hub and the Interchain.
informalsystems/hydro’s past year of commit activity
Rust 11Apache-2.0 9 20 4 UpdatedFeb 12, 2026
yield-server Public Forked fromDefiLlama/yield-server
informalsystems/yield-server’s past year of commit activity
JavaScript0 1,061 0 0 UpdatedFeb 10, 2026
multisig Public
Painless multisig for many keys across many cosmos-sdk chains
informalsystems/multisig’s past year of commit activity
Go 36Apache-2.0 12 17 2 UpdatedFeb 9, 2026
choreo Public
Choreograph distributed protocols in Quint.
informalsystems/choreo’s past year of commit activity
Bluespec 9Apache-2.00 0 0 UpdatedFeb 2, 2026
informal-kit Public
informalsystems/informal-kit’s past year of commit activity
TypeScript00 0 0 UpdatedJan 30, 2026