ACVP
Industry Working Group on Automated Cryptographic Algorithm Validation
ACVP-Server
A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
advisories
To publicly communicate advisories about serious bugs in CosmWasm
aeternity
æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens
anoma
Reference implementation of Anoma
axelar-core
Axelar: A Decentralized Blockchain Interoperability Network
bap
Binary Analysis Platform
bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
bips
Bitcoin Improvement Proposals
bolt
Bolt is a language with in-built data-race freedom!
building-secure-contracts
Guidelines and training material to write secure smart contracts
cairo-contracts
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
caracal
Static Analyzer for Starknet smart contracts
Carp
A statically typed lisp, without a GC, for real-time applications.
chain-desktop-wallet
Crypto.com DeFi Desktop Wallet
chain-docs
Docs for http://github.com/crypto-com/chain-main/
chain-docs
Docs for http://github.com/crypto-com/chain-main/
chain-docs-nextgen
Docs for http://github.com/crypto-com/chain-main/
chain-indexing
No description
chain-jslib
No description
chain-jslib
No description
chain-main
Cronos POS Chain⛓: Croeseid Testnet and beyond development
chain-main
Cronos POS Chain⛓: Croeseid Testnet and beyond development
cometbft
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
compiler
Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.
cosmjs
The Swiss Army knife to power JavaScript based client solutions ranging from Web apps/explorers over browser extensions to server-side clients like faucets/scrapers.
cosmos-sdk
Framework for building performant, customizable blockchains with native interoperability
cosmwasm
WebAssembly Smart Contracts for the Cosmos SDK
cosmwasm-plus
Real-life smart contracts under open-source licenses
cronos
Cronos is the first Ethereum-compatible blockchain network built on Cosmos SDK technology. Cronos aims to massively scale the DeFi, GameFi, and overall Web3 user community by providing builders with the ability to instantly port apps and crypto assets from other chains while benefiting from low transaction fees, high throughput, and fast finality.
cw-plus
Real-life smart contracts under open-source licenses
dapptools
Dapp, Seth, Hevm, and more
desmos
Improving the well-being of users on social networks through the blockchain technology.
echidna
Ethereum smart contract fuzzer
evmos
Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs
futhark
:boom::computer::boom: A data-parallel functional programming language
go
The Go programming language
gogoproto
Protocol Buffers for Go with Gadgets for Cosmos
gomod2nix
Convert applications using Go modules to Nix expressions [maintainer=@marcusramberg]
grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
hamler
Haskell-style functional programming language running on Erlang VM.
haste-compiler
A GHC-based Haskell to JavaScript compiler
hermes
IBC Relayer in Rust
ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
ibc-go
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
ics
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
interchain-accounts-demo
ICA
iogx
Flake Template for Haskell Projects
irismod
Reusable modules contributed or optimized by the IRISnet project.
is-thirteen
Check if a number is equal to 13.
kitten
A statically typed concatenative systems programming language.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
mazeppa
A modern supercompiler for call-by-value functional languages
mcp-server-guide
A guide on how to use the Figma MCP server
mech
🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
morpheus
Red pill or blue pill? - A collection of Desmos testnets
opshin
A simple pythonic programming language for Smart Contracts on Cardano
osmosis
The AMM Laboratory
plinth-template
This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.
plutus
The Plutus language implementation and tools
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
publications
Publications from Trail of Bits
pystarport
pystarport setup and run local devnet for cosmos like blockchains
reading
A list of computer-science readings I recommend
relayer
An IBC relayer for ibc-go
rust
Empowering everyone to build reliable and efficient software.
scalus
Scalus - Smart contracts & dApps Development Platform for Cardano
sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
skills
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
slips
SatoshiLabs Improvement Proposals
snarky
OCaml DSL for verifiable computation
starport
Ignite is a CLI tool and hub designed for constructing Proof of Stake Blockchains rooted in Cosmos-SDK
tealer
Static Analyzer for Teal
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
tgrade
The Tgrade Blockchain Binary, based on the Cosmos SDK and wasmd
tmkms
Tendermint KMS: Key Management System for Tendermint Validators
ts-relayer
IBC Relayer in TypeScript
type-systems
Implementations of various type systems in OCaml.
unison
A friendly programming language from the future
wasmd
Basic Cosmos SDK application with WebAssembly smart contracts
wasmvm
Go bindings to the CosmWasm VM
weird-erc20
weird erc20 tokens