Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Compilers/Interpreters packages

Showing projects tagged as Language and Compilers/Interpreters

  • husk-scheme

    9.7 1.2 Haskell
    A full implementation of the Scheme programming language for the Haskell Platform.
  • bound

    9.4 3.5 Haskell
    Combinators for manipulating locally-nameless generalized de Bruijn terms
  • unbound

    8.5 3.1 Coq
    Replib: generic programming & Unbound: generic treatment of binders
  • nom

    8.2 0.0 Haskell
    Haskell implementation of nominal datatypes and functions
  • language-dickinson

    7.0 7.9 Haskell
    Text generation language
  • compilation

    3.3 0.0 Haskell
    Haskell functionality for quickly assembling compilers.
  • staticanalysis

    2.4 0.0 Haskell
    Reusable static analysis interfaces and modules for Haskell projects.
  • hint-server

    2.1 0.0 Haskell
    A server process that runs hint.
  • hinter

    0.9 0.0 Haskell
    Runtime Haskell interpreter
  • hint

    0.5 0.0 Haskell
    Runtime Haskell interpreter