ravachol70

I'm a meme.

Pinned Repositories

btcrelay
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
Language:Python0 2 00
darwin-libplatform
The Darwin Platform Library (mirror)
Language:C0 2 00
darwin-libpthread
The Darwin PThread Library (mirror)
Language:C0 2 00
Dsl.scala
A framework to create embedded Domain-Specific Languages in Scala
Language:Scala1 1 00
FoldingBrowser
FoldingCoin & CureCoin All-In-One Installer
Language:Visual Basic1 1 00
hobbes
A language and an embedded JIT compiler
Language:C0 2 00
panoptipong
Collaborative pong for emergent gameplay
Language:JavaScript0 2 00
PD-17.4-Beta
Beta vmdk for the community
0 2 00
sol2uml
Unified Modeling Language (UML) class diagram generator for Solidity contracts
Language:TypeScript2 1 01

ravachol70's Repositories

ravachol70/sol2uml
Unified Modeling Language (UML) class diagram generator for Solidity contracts
Language:TypeScript2 1 01
ravachol70/Dsl.scala
A framework to create embedded Domain-Specific Languages in Scala
Language:Scala1 1 00
ravachol70/FoldingBrowser
FoldingCoin & CureCoin All-In-One Installer
Language:Visual Basic1 1 00
ravachol70/0x-monorepo
0x protocol monorepo - includes our smart contracts and many developer tools
Language:TypeScript1 0
ravachol70/anadvertisementboard
A digital art project on Ethereum that uses harberger tax to have an always-on auction.
Language:CMake
ravachol70/asyncio-run-in-process
A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.
ravachol70/AugurSets
Tradeable positions in tokenized index funds for positions in markets created by the Augur protocol.
Language:TypeScript1 0
ravachol70/cbc-casper-proof
Proofs of properties of CBC Casper
Language:TeX
ravachol70/cicero
Open Source implementation of the Accord Project Template Specification
Language:JavaScript
ravachol70/cid
Self-describing content-addressed identifiers for distributed systems
ravachol70/counterfactual-token-repayment
Loan repayment with a simple ERC20 transfer() powered by a counterfactual sweeper.
Language:JavaScript1 0
ravachol70/dai-hrd
DAI: Hodl Rated DAI - A DAI token wrapper that benefits from the Dai Savings Rate (interest).
ravachol70/darkreader
Dark Reader Chrome and Firefox extension
Language:TypeScript1 0
ravachol70/dss
Dai Stablecoin Simulation
Language:Solidity
ravachol70/EIPs
The Ethereum Improvement Proposal repository
Language:HTML1 0
ravachol70/evm-rs
Ethereum Virtual Machine implementation in Rust. Fork of the SputnikVM.
Language:Rust
ravachol70/evmc
EVMC – Ethereum Client-VM Connector API
Language:C1 0
ravachol70/genSTARK
A library for generating zk-STARKs.
Language:TypeScript
ravachol70/pLam
An interpreter for learning and exploring pure λ-calculus
Language:Haskell
ravachol70/plutus
The Plutus language implementation and tools
Language:Haskell
ravachol70/sablier
Decentralised app for continuous payments on Ethereum
Language:JavaScript1 0
ravachol70/scalaz
Principled Functional Programming in Scala
Language:Scala
ravachol70/shapeless
Generic programming for Scala
Language:Scala
ravachol70/sokol
minimal cross-platform standalone C headers
Language:C1 0
ravachol70/specs
COALA IP is a blockchain-ready, community-driven protocol for intellectual property licensing.
ravachol70/structopt
Parse command line argument by defining a struct.
Language:Rust1 0
ravachol70/tensorflow
An Open Source Machine Learning Framework for Everyone
Language:C++
ravachol70/tSol
A transpiler for Solidity to make assembly manageable
Language:JavaScript1 0
ravachol70/UGATIT
Official Tensorflow implementation of U-GAT-IT: Unsupervised Generative Attentional Networks with Adaptive Layer-Instance Normalization for Image-to-Image Translation
ravachol70/zexe
Rust library for decentralized private computation
Language:Rust