Skip to content
@apl-cornell

APL Cornell

Github organization for Cornell's Applied Programming Languages (APL) research group

Popular repositories Loading

  1. PDL PDL Public

    A Hardware Pipeline Description Language

    Scala 44 2

  2. fabric fabric Public

    Distributed persistent programming language with secure information flow types

    Java 29 4

  3. viaduct viaduct Public

    An extensible compiler for cryptography.

    Kotlin 20 3

  4. jif jif Public

    Java-like Language with Static Information Flow Types

    Java 12 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

Repositories

Showing 10 of 24 repositories
  • viaduct Public

    An extensible compiler for cryptography.

    Kotlin 20 MIT 3 16 23 Updated Feb 26, 2025
  • fabric Public

    Distributed persistent programming language with secure information flow types

    Java 29 4 35 0 Updated Feb 15, 2025
  • papers-template Public
    TeX 0 0 0 0 Updated Jun 23, 2024
  • make Public
    Makefile 0 0 0 0 Updated Nov 3, 2023
  • PDL Public

    A Hardware Pipeline Description Language

    Scala 44 MIT 2 21 (5 issues need help) 4 Updated Oct 25, 2023
  • aby-java Public

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

    Kotlin 2 GPL-3.0 0 0 8 Updated Apr 22, 2023
  • fabric-buffer Public
    Java 0 0 0 2 Updated Dec 8, 2022
  • ABY Public Forked from encryptogroup/ABY

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

    C++ 0 LGPL-3.0 138 0 0 Updated Apr 3, 2022
  • jif Public

    Java-like Language with Static Information Flow Types

    Java 12 LGPL-2.1 2 5 0 Updated Mar 10, 2022
  • gallifreyc Public Forked from yangdanny97/gallifreyc

    Polyglot compiler extension for Gallifrey

    Java 0 2 0 0 Updated Mar 30, 2021
View all repositories