⛓️INTERCHAINED ⚡Electronero Network ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʔ-̫͡-ʕ•̫͡•ʔ-̫͡-ʔ's repositories
pos-portal
Smart contracts that powers the PoS (proof-of-stake) based bridge mechanism for Matic Network
AwesomeJavaFX
A curated list of awesome JavaFX libraries, books, frameworks, etc...
bsc
A Binance Smart Chain client based on the go-ethereum fork
build
A build system for Dart written in Dart
CodenameOne
Cross-platform framework for building truly native mobile apps with Java or Kotlin. Write Once Run Anywhere support for iOS, Android, Desktop & Web.
CodeRAD
Rapid Application Development toolkit and templates for Java developers using Codename One.
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
dapptools
Dapp, Seth, Hevm, and more
dextoken_BSD
Smart Contracts
domain
Domain service for ESSE.
eattheblocks
Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers
js_facade_gen
Generates package:js Javascript interop facades for arbitrary TypeScript libraries
liquality-swap
Swap without intermediation peer-to-peer, cross chain
Multiavatar
Multicultural Avatar Generator in JavaScript
staking-launchpad
The deposit launchpad for staking on Ethereum 🦏
synchronizer-contracts
DEUS ecosystem synthetic tokens' market maker
TDN
Trusted Distributed Network. (Also a micro-framework for building decentralized applications)
yii2
Yii 2: The Fast, Secure and Professional PHP Framework
z3
The Z3 Theorem Prover