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 4.2 Haskell
    A full implementation of the Scheme programming language for the Haskell Platform.
  • hint

    9.6 7.0 Haskell
    Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
  • wasm

    9.4 5.6 Haskell
    Haskell WebAssembly Toolkit
  • bound

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

    8.4 0.0 Coq
    Replib: generic programming & Unbound: generic treatment of binders
  • nom

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

    7.3 7.0 Haskell
    Text generation language
  • oplang

    6.3 6.9 Haskell
    Stack-based esoteric programming language
  • hint-server

    2.9 0.0 Haskell
    A server process that runs hint.
  • compilation

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

    1.4 0.0 Haskell
    Reusable static analysis interfaces and modules for Haskell projects.
  • hinter

    1.0 0.0 Haskell
    Runtime Haskell interpreter