Pinned Repositories
btcrelay
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
darwin-libplatform
The Darwin Platform Library (mirror)
darwin-libpthread
The Darwin PThread Library (mirror)
Dsl.scala
A framework to create embedded Domain-Specific Languages in Scala
FoldingBrowser
FoldingCoin & CureCoin All-In-One Installer
hobbes
A language and an embedded JIT compiler
panoptipong
Collaborative pong for emergent gameplay
PD-17.4-Beta
Beta vmdk for the community
sol2uml
Unified Modeling Language (UML) class diagram generator for Solidity contracts
ravachol70's Repositories
ravachol70/darwin-libplatform
The Darwin Platform Library (mirror)
ravachol70/darwin-libpthread
The Darwin PThread Library (mirror)
ravachol70/PD-17.4-Beta
Beta vmdk for the community
ravachol70/aleth
Aleth – Ethereum C++ client, tools and libraries
ravachol70/aurad-utils
Utility scripts for AuraD
ravachol70/canonical-weth
Canonical WETH package (see https://blog.0xproject.com/canonical-weth-a9aa7d0279dd)
ravachol70/classics
Classic papers relating to Software Architecture as I perceive it.
ravachol70/creduce
C-Reduce, a C program reducer
ravachol70/DeleteFB
Selenium script to delete all of your Facebook wall posts
ravachol70/ds-weth
ETH->ERC20 with extra opinions
ravachol70/edex-ui
A science fiction desktop running everywhere. Awesome.
ravachol70/erc-1155
ERC-1155: Smart Contract Sample Implementation
ravachol70/ERC-1484
ERC-1484 Reference Implementation
ravachol70/ergo
Ergo protocol description & reference implementation
ravachol70/flash-lending
Flash lending smart contracts
ravachol70/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
ravachol70/hedgehog
🦔 Build DApps like Apps -- A Metamask alternative that empowers you to build good UX
ravachol70/lawvere
enriched lawvere theories represent operational semantics (baez, williams)
ravachol70/LearnRholangByExample
Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
ravachol70/liquidator
:robot: :moneybag: Bot to automatically liquidate dYdX accounts
ravachol70/MultiSignatureWallet
311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine
ravachol70/plasma-cash
Plasma Cash Contract & Client. ERC721, ERC20, and ETH compatible
ravachol70/rchain-grpc
Python3 client for RChain nodes gRPC protocol
ravachol70/scout
Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.
ravachol70/scrypto
Cryptographic primitives for Scala
ravachol70/shapeless-guide
The Type Astronaut's Guide to Shapeless
ravachol70/Spectral
ravachol70/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
ravachol70/xcbuild
Xcode-compatible build tool.
ravachol70/xnubuild
A script for automatically compiling xnu and it's dependencies works for 10.13 High Sierra+ source code from Apple Inc.