Explore @apl-cornell Open Source projects

APL Cornell (@apl-cornell)

apl-cornell

Stars
114
Global Org. Rank 54,406 (Top 18 %)
Registered over 10 years ago
Most used languages

Java
45.5 %

Scala
27.3 %

Kotlin
18.2 %

OCaml
9.1 %
Location 🇺🇸 United States
Country Total Rank 41,563
Country Ranking

Scala
463

OCaml
532

Kotlin
960

Java
4,279

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