Popular repositories Loading

1. PDL PDL Public

   A Hardware Pipeline Description Language

   Scala 59 5

2. fabric fabric Public

   Distributed persistent programming language with secure information flow types

   Java 30 4

3. viaduct viaduct Public

   An extensible compiler for cryptography.

   Kotlin 24 2

4. jif jif Public

   Java-like Language with Static Information Flow Types

   Java 14 2

5. sirrtl sirrtl Public

   Security-typed version of the FIRRTL hardware description language

   Scala 7 2

6. ChiselFlow ChiselFlow Public

   Chisel3 modified to support information flow types.

   Scala 5 2