repos
69
ecosystems
18
languages
2
commits
483
─── top repos · by commits
─── repositories
69 totalcvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Move compiler targeting llvm supported backends
Movement is building the ecosystem that empowers talented builders to create the future of finance through the Move language - the safest, most expressive language for building the next generation of apps
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
A layer 1 for everyone!
This is a modified MoveVM fork for the use of MoveVM in the pallet-move Substrate repo. Please check the pallet-move repository to learn more about this project.
Move compiler targeting PolkaVM
A layer 1 for everyone!
Movement's fork of the Move language.
Indexer for ferum events
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
all your base are belong to us
Home of the Move programming language
TypeScript interface generator for Move modules
A layer 1 for everyone!
The ultimate layer 1 solution!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
We made some changes to the move cli to support witness generation for move code.
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
A layer 1 for everyone!
A layer 1 for everyone!
Symbolic executor for the Move programming language.
Move to EVM compiler - Inlined Reference Monitor
A layer 1 for everyone!
A layer 1 for everyone!
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
─── peer developers
─── subscriber view
Unlock the full view of barrettcw
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.