Bruno's repositories
akka-quartz-scheduler
Quartz Extension and utilities for cron-style scheduling in Akka
awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
bitfinex-api-scala
http://docs.bitfinex.com/#introduction
btce-scala
Scala Client for BTC-E Trade and Market Data APIs. BTC-E is the Cryptocurrencies(Bitcoin/Litecoin/Namecoin/...) Broker
Language:JavaScript000
erc20-semantics
ERC20 in K
ergoMixBack
Mix your ergs and tokens with ErgoMixer.
000
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
java-library
Coinfloor's Java client library
kcoq
Tool used by K framework Coq backend
Language:Haskell000
Language:CoqNOASSERTION000
MantisWiki
MantisWiki
phoenix-hodlcoin-contracts
Contracts for the Phoenix implementation of HodlCoin.
GPL-3.0000
000
scala-chart
Scala Chart Library
Scorex
Scorex 2.0 Core
Language:ScalaNOASSERTION000
Language:TeX000
ScorexTutorial
Scorex 2.0 Tutorial