Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: equality saturation

sio4/code/rdt-rvsdg

Resourceful Dependent Types enriched with inductive types; compiled to Regionalized Value State Dependence Graph enriched with Equality Saturation; accelerated by deriving optimizations from user defined equivalence proofs.

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

Related Keywords
compiler 1 dependently typed lambda calculus 1 eqsat 1 equality saturation 1 linear types 1 optimizations 1 proofgen 1 regionalized value state dependence graph 1 resourceful dependent types 1 rvsdg 1 type theory 1