ceilican

Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

ProbLogic

Probabilistic Temporal Logic

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

BWPGazetteer

ceilican.github.io

DefiLlama-Adapters

ECIPs

The Ethereum Classic Improvement Proposal

erc20-semantics

ERC20 in K

ergo

Ergo full node code

ergoMixBack

Mix your ergs and tokens with ErgoMixer.

IbScala

A Scala encapsulation of the Interactive Broker's Java API

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

ledgertheory

mantis

A Scala based client for Ethereum Classic.

MantisWiki

MantisWiki

markov

Markov's inequality

minisat

A minimalistic and high-performance SAT solver

phoenix-hodlcoin-contracts

Contracts for the Phoenix implementation of HodlCoin.

Projects

scala-chart

Scala Chart Library

Scorex

Scorex 2.0 Core

scorex-laws

ScorexTutorial

Scorex 2.0 Tutorial

Trees

Waves

Waves node application