Repositories list

• viaduct

  Public
  An extensible compiler for cryptography.

  Kotlin

  •

  MIT License

  •4•19•16•15•Updated Sep 30, 2024Sep 30, 2024

• papers-template

  Public
  TeX

  •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

• make

  Public
  Makefile

  •0•0•0•0•Updated Nov 3, 2023Nov 3, 2023

• PDL

  Public
  A Hardware Pipeline Description Language

  Scala

  •

  MIT License

  •2•39•21•4•Updated Oct 25, 2023Oct 25, 2023

• aby-java

  Public
  Java bindings for the ABY Framework: https://github.com/encryptogroup/ABY

  Kotlin

  •

  GNU General Public License v3.0

  •0•2•0•8•Updated Apr 22, 2023Apr 22, 2023

• fabric-buffer

  Public
  Java

  •0•0•0•2•Updated Dec 8, 2022Dec 8, 2022

• ABY

  Public
  ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

  C++

  •

  GNU Lesser General Public License v3.0

  •132•0•0•0•Updated Apr 3, 2022Apr 3, 2022

• jif

  Public
  Java-like Language with Static Information Flow Types

  Java

  •

  GNU Lesser General Public License v2.1

  •2•10•4•0•Updated Mar 10, 2022Mar 10, 2022

• gallifreyc

  Public
  Polyglot compiler extension for Gallifrey

  Java

  •2•0•0•0•Updated Mar 30, 2021Mar 30, 2021

• antidote

  Public
  A planet scale, highly available, transactional database built on CRDT technology

  Erlang

  •

  Apache License 2.0

  •89•0•0•0•Updated Nov 17, 2020Nov 17, 2020

• gallifrey-antidote

  Public
  Gallifrey implementation over the Antidote system

  Java

  •

  Apache License 2.0

  •0•2•0•2•Updated Nov 9, 2020Nov 9, 2020

• viaduct-aby

  Public archive
  C++

  •0•0•1•0•Updated Aug 31, 2020Aug 31, 2020

• viaduct-runtime

  Public archive
  Runtime library for the Viaduct compiler

  C++

  •0•0•1•0•Updated Jul 18, 2020Jul 18, 2020

• antidote_crdt

  Public
  CRDT implementations to use with Antidote

  Erlang

  •

  Apache License 2.0

  •24•0•0•0•Updated Jun 10, 2020Jun 10, 2020

• antidote-java-client

  Public
  A java client for antidote db.

  Java

  •

  Apache License 2.0

  •4•0•0•0•Updated May 16, 2020May 16, 2020

• gallifrey-proto-interp

  Public
  An Original prototype of Gallifrey interp + type system. Of historical interest only (in the future)

  OCaml

  •

  MIT License

  •0•3•0•0•Updated May 13, 2020May 13, 2020

• antidote_pb_codec

  Public
  Protocol Buffer messages for Antidote

  Erlang

  •

  Apache License 2.0

  •5•0•0•0•Updated Dec 16, 2019Dec 16, 2019

• sirrtl

  Public
  Security-typed version of the FIRRTL hardware description language

  Scala

  •1•6•14•0•Updated Nov 7, 2019Nov 7, 2019

• ChiselFlow

  Public
  Chisel3 modified to support information flow types.

  Scala

  •2•4•5•0•Updated Nov 7, 2019Nov 7, 2019

• fabric

  Public
  Distributed persistent programming language with secure information flow types

  Java

  •

  Other

  •4•28•35•0•Updated Jul 23, 2019Jul 23, 2019

• fabfx

  Public
  A library for exposing javafx bindings in Fabric with polymorphic labels.

  Java

  •0•0•0•0•Updated Mar 18, 2019Mar 18, 2019

• MixT

  Public
  Prototype Mixed-consistency transaction implementation

  C++

  •

  Apache License 2.0

  •3•0•0•0•Updated Jun 20, 2018Jun 20, 2018

• fabric.ide

  Public
  Eclipse Extension for Editing Fabric Code

  Java

  •0•1•1•0•Updated Nov 10, 2017Nov 10, 2017

• jif.ide

  Public
  Eclipse Extension for Editing Jif Code

  Java

  •0•1•0•0•Updated Nov 10, 2017Nov 10, 2017