Selected Tags

Click on a tag to remove it

Linearscan packages

Showing projects tagged as Development and Linearscan

  • linearscan

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

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