apl-cornell/fabric.ide apl-cornell/fabric.ide

  • Stars
    star
    1
  • Language
    Java
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
apl-cornell/fabric.ide
github

apl-cornell

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Eclipse Extension for Editing Fabric Code

More Repositories

1

PDL

A Hardware Pipeline Description Language
Scala
39
star
2

fabric

Distributed persistent programming language with secure information flow types
Java
27
star
3

viaduct

An extensible compiler for cryptography.
Kotlin
19
star
4

jif

Java-like Language with Static Information Flow Types
Java
10
star
5

sirrtl

Security-typed version of the FIRRTL hardware description language
Scala
6
star
6

ChiselFlow

Chisel3 modified to support information flow types.
Scala
4
star
7

gallifrey-proto-interp

An Original prototype of Gallifrey interp + type system. Of historical interest only (in the future)
OCaml
3
star
8

gallifrey-antidote

Gallifrey implementation over the Antidote system
Java
2
star
9

aby-java

Java bindings for the ABY Framework: https://github.com/encryptogroup/ABY
Kotlin
2
star
10

jif.ide

Eclipse Extension for Editing Jif Code
Java
1
star