SPECA: Specification-to-Checklist Agentic Auditing Framework

Lean 4 programming language and theorem prover

An unofficial CLI for managing Fireblocks services

An experimental MCP Server for foundry built for Solidity devs

Cross-chain swap between EVM-based chains and Symbol chains

A signing library for Cosmos.

Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

Blockchain explorer for Tendermint. Supports JSON transactions and UTF-8

Mount a CryFS files system. Encrypt and decrypt the CryFS config and password files using PGP encryption (GnuPG). Both files are renamed to the CryFS file standard * name format and are truncate to…

Python tools for Cosmos wallet management and offline transaction signing

Slides from udon

An animated avatar that responds to text field interactions

Monacoin Debian/Ubuntu integration files.

分散アプリケーションプラットフォーム「ethereum」の入門書

Bazel's Continuous Integration Setup

Useful resources for creating apps with Electron [SUBMISSIONS ARE TEMPORARILY PAUSED BECAUSE I'M TIRED OF REVIEWING LOW-QUALITY STUFF]

[Not maintained] An enhanced permission system which support object permission in Django

Automatic invitation to Slack team

脆弱性報奨金制度に関する詳細文書を保管するレポジトリです

Manages continuous scans of your infrastructure

my tmux configration

interactive shell for Golang

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …

Disney training for https://docker.com

TonicDNS client tool