compiler

Packages

io.github.aplcornell.viaduct.algebra

io.github.aplcornell.viaduct.algebra.solver

io.github.aplcornell.viaduct.analysis

io.github.aplcornell.viaduct.attributes

Attribute grammars based on the Kiama library.

io.github.aplcornell.viaduct.backends

io.github.aplcornell.viaduct.backends.aby

io.github.aplcornell.viaduct.backends.cleartext

io.github.aplcornell.viaduct.backends.commitment

io.github.aplcornell.viaduct.backends.zkp

io.github.aplcornell.viaduct.codegeneration

io.github.aplcornell.viaduct.errors

io.github.aplcornell.viaduct.parsing

io.github.aplcornell.viaduct.passes

io.github.aplcornell.viaduct.security

io.github.aplcornell.viaduct.security.solver

io.github.aplcornell.viaduct.selection

io.github.aplcornell.viaduct.syntax

io.github.aplcornell.viaduct.syntax.circuit

io.github.aplcornell.viaduct.syntax.datatypes

io.github.aplcornell.viaduct.syntax.intermediate

The abstract syntax of the internal language.

io.github.aplcornell.viaduct.syntax.operators

io.github.aplcornell.viaduct.syntax.surface

The abstract syntax of the surface language.

io.github.aplcornell.viaduct.syntax.types

io.github.aplcornell.viaduct.syntax.values

io.github.aplcornell.viaduct.util

io.github.aplcornell.viaduct.util.dataflow