Rafael de Andrade Sousa's repositories
cometbft
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
make-sense
Free to use online tool for labelling photos. https://makesense.ai
fyne
Cross platform GUI in Go inspired by Material Design
yolo-ann
YOLO BBox Annotation Tool
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
lib-bpmn-engine
A BPMN engine, meant to be embedded in Go applications with minimal hurdles, and a pleasant developer experience using it. This approach can increase transparency for non-developers.
java2go
Experimental Java to Go transcompiler that converts between a Java AST to native Go code
fynedesk
A full desktop environment for Linux/Unix using Fyne
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
ibc-go
Interblockchain Communication Protocol (IBC) implementation in Golang.
vecty
Vecty lets you build responsive and dynamic web frontends in Go using WebAssembly, competing with modern web frameworks like React & VueJS.
cli
Ignite CLI is the all-in-one platform to build, launch, and maintain any crypto application on a sovereign and secured blockchain
cpf-go
Versão em Go do CPF Java
rafaelsousa
Config files for my GitHub profile.
indy-node
The server portion of a distributed ledger purpose-built for decentralized identity.
indy-sdk
indy-sdk
indy-plenum
Plenum Byzantine Fault Tolerant Protocol
von-network
A portable development level Indy Node network.
fabric
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
cobolpractices
Test repo for cobol code
realestate
A NFT representation of real estate
fractalr2
Fractal Generator Using JavaFX
grdp
pure GoLang RDP client (not finished yet)
Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.