nau Goto Github PK

adastream

Decentralized File Hosting Incentivised via Cardano Ada Payments

arvi_course

bips

Bitcoin Improvement Proposals

bitml-compiler

Compiler for BitML

bitvestor

Bitvestor is a dollar cost averaging Bitcoin buying bot for Bitfinex exchange

cargo

The Rust package manager

corda

Corda is a distributed ledger platform designed to record, manage and automate legal agreements between business partners. Designed by (and for) the world's largest financial institutions, it offers a unique response to the privacy and scalability challenges facing decentralised applications.

core_affinity_rs

Rust crate for managing CPU core affinities

cosmex-landing

cubicaltt

Experimental implementation of Cubical Type Theory

depc

Simple Dependent Type Checker

eclair

A scala implementation of the Lightning Network.

funcstat

Statistics of function arities of different Scala projects

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

go-ipfs

IPFS implementation in go

googleauth

Google Authenticator Server side code

guava

Google core libraries for Java

hashes

Collection of cryptographic hash functions written in pure Rust

haskell-nix

Nix and Haskell in production

homebrew-lasca

Lasca Compiler Homebrew Binary Distribution

instant.io

:rocket: Streaming file transfer over WebTorrent (torrents on the web)

ipstream

jscala

Scala macro that produces JavaScript from Scala code.

jscala-play-example

julia

The Julia Language: A fresh approach to technical computing.

knowledge-base

Knowledge Base Of Scala Ukraine Group

kryo

Java serialization and cloning: fast, efficient, automatic

kryo-macros

Scala macros for compile-time generation of Kryo serializers

lagom-samples

lasca-compiler

Lasca is Scala shifted towards Haskell.