Skip to content

@inc-lc inc-lc

Change the repository type filter

All

    Repositories list

    4 repositories

    • inc-lc.github.io

      Public
      Website for Incremental Lambda Calculus
      HTML
      •0•0•0•0•Updated Jan 23, 2020Jan 23, 2020

    • cts

      Public
      Material for Static Differentiation in Cache Transfer Style
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Feb 19, 2019Feb 19, 2019

    • ilc-agda

      Public
      Machine-checked Agda formalization for the ILC project
      Agda
      •
      Other
      •1•15•0•1•Updated Apr 6, 2018Apr 6, 2018

    • ilc-scala

      Public
      Scala implementation of ILC, with benchmarks
      Scala
      •
      Other
      •0•25•1•0•Updated Jul 5, 2016Jul 5, 2016