Selected Tags

Click on a tag to remove it

Linearscan packages

Showing projects tagged as Linearscan

  • linearscan

    6.5 4.9 Coq
    Linear scan register allocator, formally verified in Coq
  • linearscan-hoopl

    4.4 0.0 Haskell
    Makes it easy to use the linearscan register allocator with Hoopl