kushti

yoyak

mercury

:currency_exchange: Decentralized cryptocurrency exchange

PersistentMap

A type-safe, boilerplate-free, key-value store in Scala

crawler

Scala DSL for web crawling

nxt-kit

Nxt extensions

lambda-auth

authenticated data structures, generically

hipspec

A hip inductive theorem prover!

HElib

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

haskoin-core

Haskoin Core is a Bitcoin and Bitcoin Cash library

Idris-dev

A Dependently Typed Functional Programming Language

reactors

A foundational framework for distributed programming.

kraken

NxtScala

Scala Utilities on top of Nxt Reference Software(NRS) Java API

hindley-milner

A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala

Truthcoin

Trustless and Decentralized Bitcoin Prediction Marketplace

shapeless

Generic programming for Scala

TomP2P

A P2P-based high performance key-value pair storage library

ta4j-origins

A Java library for technical analysis ***Not maintained anymore, kept for archival purposes, see #192***

frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

mapdb

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

epic

**Archived** Epic is a high performance statistical parser written in Scala, along with a framework for building complex structured prediction models.