APL Cornell

Popular repositories

1. PDL Public

   A Hardware Pipeline Description Language

   Scala 25 2

2. fabric Public

   Distributed persistent programming language with secure information flow types

   Java 23 4

3. viaduct Public

   An extensible compiler for cryptography.

   Kotlin 13 5

4. jif Public

   Java-like Language with Static Information Flow Types

   Java 9 2

5. sirrtl Public

   Security-typed version of the FIRRTL hardware description language

   Scala 5

6. ChiselFlow Public

   Chisel3 modified to support information flow types.

   Scala 3 1