cspr-rad Goto Github PK

actus-core-haskell

Implementation of the ACTUS taxonomy

actus-core-py

Python implementation of core ACTUS algorithms (seeded from actus-mp).

actus-core-ts

Typescript implementation of core ACTUS algorithms (seeded from actus-mp).

actus-fv-agda

AGDA formal verification experiments.

actus-haskell

actus-mp

ACTUS meta programming framework for seeding alternative implementations.

actus-papers

actus-spec

casper-client-rs

casper-event-standard

The smart contract level events for Casper Network.

casper-node

Reference client for CASPER protocol

cctl

Bash application to work with a local casper-node network.

cctl-rs

csprpkgs

Nixified Casper Packages

docs

Publically available documentation generated by R&D team

grants

Encapsulates grant related documents, issues, assessments. Maximal transparency is a pre-requisite.

kairos

kairos-cctl-env

CCTL environment and setup scripts for kairos (deposit) contract(s)

kairos-spec

kairos-trie

lean-contracts

replication of "Certified Symbolic Management of Multi-party Financial Contracts" https://github.com/HIPERFIT/contracts

litmus

litmus-docs

Documentation pertaining to the litmus project.

litmus-java

litmus-py

Experimental python implementation of litmus - temporary so as to test light client mechanics.

logistics

R&D logistical support et al

ltl-actus

Linear temporal logic as the execution environment of finance

mtl-actus

Fragment of Algorithmic Contract Types Unified Standard in metric temporal logic

paradox-spec

Paradox: a creative coding project

prusti-lunchnlearn

demonstrating prusti for the team. This is just the intro-- the rest of the demo is in other repos like `kairos-trie`