apl-cornell Goto Github PK

aby

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

aby-java

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

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

chiselflow

Chisel3 modified to support information flow types.

fabfx

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

fabric

Distributed persistent programming language with secure information flow types

fabric-buffer

fabric.ide

Eclipse Extension for Editing Fabric Code

gallifrey-antidote

Gallifrey implementation over the Antidote system

gallifrey-proto-interp

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

gallifreyc

Polyglot compiler extension for Gallifrey

jif

Java-like Language with Static Information Flow Types

jif.ide

Eclipse Extension for Editing Jif Code

make

mixt

Prototype Mixed-consistency transaction implementation

pdl

A Hardware Pipeline Description Language

sirrtl

Security-typed version of the FIRRTL hardware description language

viaduct

An extensible compiler for cryptography.

viaduct-aby

viaduct-runtime

Runtime library for the Viaduct compiler