Advanced fuzzing via Model Based Testing for Cosmos blockchains

A fast, secure, and portable multichain light client for Ethereum

Testing running the OpenPose inference model on browser with TensorFlow.js

Solidity smart contracts of CodeforDAO

Go implementation of the Ethereum protocol POW Fork

ICA

A modern load testing tool, using Go and JavaScript

Guidelines and training material to write secure smart contracts

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

IBC in Solidity

A static analysis tool for securing Go code

Model-based testing tool

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

Tendermint in Solidity

Inter-Blockchain Communication Protocol (IBC) implementation in Golang.