repos
39
ecosystems
4
languages
3
commits
40
─── top repos · by commits
─── repositories
39 totalcvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger protocol in C++
A tool for generating cross-language type declarations and interface bindings.
Codebase for Xahaud - The consensus, RPC & blockchain app for the Xahau network.
Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger in C++
Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger protocol in C++
Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger in C++
Hooks add smart contract functionality to the XRP Ledger.
Test of creating a rippled openAPI spec with cursor DE AI and without ever opening the code
─── peer developers
─── ecosystems
─── languages
- C++13
- SMT1
- Scala1
─── subscriber view
Unlock the full view of jefftrull
- · 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.