APL Cornell

PDL

A Hardware Pipeline Description Language

fabric

Distributed persistent programming language with secure information flow types

viaduct

An extensible compiler for cryptography.

jif

Java-like Language with Static Information Flow Types

sirrtl

Security-typed version of the FIRRTL hardware description language

ChiselFlow

Chisel3 modified to support information flow types.

gallifrey-proto-interp

An Original prototype of Gallifrey interp + type system. Of historical interest only (in the future)

gallifrey-antidote

Gallifrey implementation over the Antidote system

aby-java

Java bindings for the ABY Framework: https://github.com/encryptogroup/ABY

fabric.ide

Eclipse Extension for Editing Fabric Code

jif.ide

Eclipse Extension for Editing Jif Code

fabfx

A library for exposing javafx bindings in Fabric with polymorphic labels.

ABY

ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

antidote

A planet scale, highly available, transactional database built on CRDT technology

antidote-java-client

A java client for antidote db.

antidote_crdt

CRDT implementations to use with Antidote

antidote_pb_codec

Protocol Buffer messages for Antidote

fabric-buffer

gallifreyc

Polyglot compiler extension for Gallifrey

make

MixT

Prototype Mixed-consistency transaction implementation

viaduct-aby

viaduct-runtime

Runtime library for the Viaduct compiler