inc-lc

Pinned Repositories

cts
Material for Static Differentiation in Cache Transfer Style
Language:HTML0 1 00
ilc-agda
Machine-checked Agda formalization for the ILC project
Language:Agda15 5 41
ilc-scala
Scala implementation of ILC, with benchmarks
Language:Scala25 6 70
inc-lc.github.io
Website for Incremental Lambda Calculus
Language:HTML0 5 00

inc-lc's Repositories

inc-lc/ilc-scala
Scala implementation of ILC, with benchmarks
Language:Scala25 6 70
inc-lc/ilc-agda
Machine-checked Agda formalization for the ILC project
Language:Agda15 5 41
inc-lc/cts
Material for Static Differentiation in Cache Transfer Style
Language:HTML0 1 00
inc-lc/inc-lc.github.io
Website for Incremental Lambda Calculus
Language:HTML0 5 00