Alacris

Software grown under the auspices of Alacris.io

Pinned Repositories

alacris-ad-demo
Language:JavaScript00
alacris-website
Language:CSS11
alacrity
DSL for Secure DApps
Language:JavaScript33 6 05
bbtwatcl
Binding Blockchains Together with Accountability through Computability Logic — Talk at LambdaConf 2018
Language:Scheme30
bdao
Building Distributed Applications in OCaml (LambdaConf Talk)
Language:CSS2 1 00
lavbda
Language Abstraction for [V]erifiable Blockchain Distributed Applications
Language:CSS30
legicash-demo-frontend
Language:TypeScript10
legicash-facts
Fast Cryptocurrency Transactions, Securely (https://j.mp/FaCTS)
Language:OCaml100
meta
Internal management of Legicash/Legilogic/Alacris
00
mkb
Mutual Knowledgebase
Language:Rust30

Alacris's Repositories

AlacrisIO/alacrity
DSL for Secure DApps
Language:JavaScript33 6 05
AlacrisIO/legicash-facts
Fast Cryptocurrency Transactions, Securely (https://j.mp/FaCTS)
Language:OCaml100
AlacrisIO/bbtwatcl
Binding Blockchains Together with Accountability through Computability Logic — Talk at LambdaConf 2018
Language:Scheme30
AlacrisIO/lavbda
Language Abstraction for [V]erifiable Blockchain Distributed Applications
Language:CSS30
AlacrisIO/mkb
Mutual Knowledgebase
Language:Rust30
AlacrisIO/bdao
Building Distributed Applications in OCaml (LambdaConf Talk)
Language:CSS2 1 00
AlacrisIO/alacris-website
Language:CSS11
AlacrisIO/legicash-demo-frontend
Language:TypeScript10
AlacrisIO/alacris-ad-demo
Language:JavaScript00
AlacrisIO/meta
Internal management of Legicash/Legilogic/Alacris
00