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
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/arrow
Λrrow - Functional companion to Kotlin's Standard Library
ravachol70/awesome-blockchain
A curated list of awesome blockchain resources.
ravachol70/awesome-bonding
A curated list of token bonding curve code and resources.
ravachol70/awesome-graphviz
A curated list of GraphViz related resources
ravachol70/Cingulata
Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.
ravachol70/clovers-contracts
Clovers network contracts
ravachol70/Cover
Protective put options market for DAI
ravachol70/DALP-core
The DALP smart contracts. View the DALP frontend here: https://github.com/opz/DALP-frontend
ravachol70/DALP-frontend
The DALP frontend. View the DALP smart contracts here: https://github.com/opz/DALP-core
ravachol70/dll_to_exe
Converts a DLL into EXE
ravachol70/eth1.0-apis
Collection of JSON-RPC APIs provided by Ethereum 1.0 clients
ravachol70/Ethsplainer
Ethsplainer 2.0
ravachol70/Fast-Symmetric-Diffeomorphic-Image-Registration-with-Convolutional-Neural-Networks
Fast Symmetric Diffeomorphic Image Registration with Convolutional Neural Networks
ravachol70/git-remote-ipfs
Git Remote Helper to Push/Fetch from IPFS
ravachol70/gpt-explorer
GPT-3 Explorer
ravachol70/graphqlviz
GraphQL Server schema visualizer
ravachol70/ipfs-desktop
An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.
ravachol70/makerdao-btc-vault
ravachol70/mf-contracts
ravachol70/mini_forth
ravachol70/potion
Perfectly priced put AMM system.
ravachol70/pyteal
Algorand Smart Contracts in Python
ravachol70/ShodanCPP
ShodanCPP is a С++ library for accessing the Shodan API.
ravachol70/SketchGraphs
A dataset of 15 million CAD sketches with geometric constraint graphs.
ravachol70/standards-scenarios
Scenarios for a set of standards
ravachol70/swapi-graphql
A GraphQL schema and server wrapping SWAPI.
ravachol70/tahoe-lafs
The Tahoe-LAFS decentralized secure filesystem.
ravachol70/text-to-text-transfer-transformer
Code for the paper "Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer"
ravachol70/unlimiformer
Public repo for the preprint "Unlimiformer: Long-Range Transformers with Unlimited Length Input"
ravachol70/webmention
Webmention spec