APL Cornell
Github organization for Cornell's Applied Programming Languages (APL) research group
Cornell University
Pinned Repositories
aby-java
Java bindings for the ABY Framework: https://github.com/encryptogroup/ABY
ChiselFlow
Chisel3 modified to support information flow types.
fabric
Distributed persistent programming language with secure information flow types
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)
jif
Java-like Language with Static Information Flow Types
jif.ide
Eclipse Extension for Editing Jif Code
PDL
A Hardware Pipeline Description Language
sirrtl
Security-typed version of the FIRRTL hardware description language
viaduct
An extensible compiler for cryptography.
APL Cornell's Repositories
apl-cornell/PDL
A Hardware Pipeline Description Language
apl-cornell/fabric
Distributed persistent programming language with secure information flow types
apl-cornell/viaduct
An extensible compiler for cryptography.
apl-cornell/jif
Java-like Language with Static Information Flow Types
apl-cornell/sirrtl
Security-typed version of the FIRRTL hardware description language
apl-cornell/ChiselFlow
Chisel3 modified to support information flow types.
apl-cornell/gallifrey-proto-interp
An Original prototype of Gallifrey interp + type system. Of historical interest only (in the future)
apl-cornell/aby-java
Java bindings for the ABY Framework: https://github.com/encryptogroup/ABY
apl-cornell/gallifrey-antidote
Gallifrey implementation over the Antidote system
apl-cornell/fabric.ide
Eclipse Extension for Editing Fabric Code
apl-cornell/jif.ide
Eclipse Extension for Editing Jif Code
apl-cornell/fabfx
A library for exposing javafx bindings in Fabric with polymorphic labels.
apl-cornell/ABY
ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation
apl-cornell/antidote
A planet scale, highly available, transactional database built on CRDT technology
apl-cornell/antidote-java-client
A java client for antidote db.
apl-cornell/antidote_crdt
CRDT implementations to use with Antidote
apl-cornell/antidote_pb_codec
Protocol Buffer messages for Antidote
apl-cornell/fabric-buffer
apl-cornell/gallifreyc
Polyglot compiler extension for Gallifrey
apl-cornell/make
apl-cornell/MixT
Prototype Mixed-consistency transaction implementation
apl-cornell/papers-template
apl-cornell/viaduct-aby
apl-cornell/viaduct-runtime
Runtime library for the Viaduct compiler