Popular repositories Loading

1. PDL PDL Public

   A Hardware Pipeline Description Language

   Scala 41 2

2. fabric fabric Public

   Distributed persistent programming language with secure information flow types

   Java 28 4

3. viaduct viaduct Public

   An extensible compiler for cryptography.

   Kotlin 20 4

4. jif jif Public

   Java-like Language with Static Information Flow Types

   Java 10 2

5. sirrtl sirrtl Public

   Security-typed version of the FIRRTL hardware description language

   Scala 6 1

6. ChiselFlow ChiselFlow Public

   Chisel3 modified to support information flow types.

   Scala 4 2