8000 apl-cornell repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@apl-cornell APL Cornell

Change the repository type filter

All

    Repositories list

    25 repositories

    • SCIF

      Public
      Smart Contract Information Flow language
      Java
      •1•0•11•0•Updated Jun 30, 2025Jun 30, 2025

    • viaduct

      Public
      An extensible compiler for cryptography.
      Kotlin
      •
      MIT License
      •2•20•16•26•Updated Jun 6, 2025Jun 6, 2025

    • jif

      Public
      Java-like Language with Static Information Flow Types
      Java
      •
      GNU Lesser General Public License v2.1
      •2•12•5•0•Updated May 5, 2025May 5, 2025

    • fabric

      Public
      Distributed persistent programming language with secure information flow types
      Java
      •
      Other
      •4•29•35•0•Updated Feb 15, 2025Feb 15, 2025

    • 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•45•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
      •137•0•0•0•Updated Apr 3, 2022Apr 3, 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
      •23•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
      •2•7•14•1•Updated Nov 7, 2019Nov 7, 2019

    • ChiselFlow

      Public
      Chisel3 modified to support information flow types.
      Scala
      •2•5•5•0•Updated Nov 7, 2019Nov 7, 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
    0