Compilers and Interpreters

Tooling to create compilers and interpreters

238 results

@hackage/Befunge93
An interpreter for the Befunge-93 Programming Language
BSD-3-Clausev0.1Thu, 20 May 2010
@hackage/CPBrainfuck
A simple Brainfuck interpretter.
BSD-3-Clausev1.1Thu, 6 Nov 2008
@hackage/CPL
An interpreter of Hagino's Categorical Programming Language (CPL).
BSD-3-Clausev0.0.9Fri, 16 Feb 2018
@hackage/DeepDarkFantasy
A DSL for creating neural network.
LicenseRef-Apachev0.2017.8.19Sat, 19 Aug 2017
@hackage/Delta-Lambda
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
MITv0.3.0.0Thu, 11 May 2017
@hackage/Elm
The Elm language module.
BSD-3-Clausev0.13Mon, 22 Sep 2014
@hackage/Fungi
Funge-98 interpreter written in Haskell
BSD-3-Clausev1.0.6Mon, 16 Feb 2015
@hackage/HARM
A simple ARM emulator in haskell
LicenseRef-OtherLicensev0.1.4Sat, 6 Dec 2008
@hackage/Haschoo
Minimalist R5RS Scheme interpreter
BSD-3-Clausev0.1.2Wed, 23 May 2012
@hackage/INblobs
Editor and interpreter for Interaction Nets
LicenseRef-LGPLv0.1.1Thu, 19 Jun 2008
@hackage/Jikka
A transpiler from Python to C++ for competitive programming
LicenseRef-Apachev5.6.0.0Sat, 25 Sep 2021
@hackage/KiCS
A compiler from Curry to Haskell
LicenseRef-OtherLicensev0.9.3Mon, 2 Jul 2012
@hackage/LambdaShell
Simple shell for evaluating lambda expressions
LicenseRef-GPLv0.9.3Sun, 1 Jun 2014
@hackage/NXTDSL
Generate NXC Code from DSL
BSD-3-Clausev0.4Sat, 31 Aug 2013
@hackage/TinyLaunchbury
Simple implementation of call-by-need using Launchbury's semantics
BSD-3-Clausev1.0.1Mon, 20 Jun 2011
@hackage/TransformeR
eDSL in R for Safe Variable Transformarion
BSD-3-Clausev0.1.0.0Thu, 4 Aug 2016
@hackage/TypeIlluminator
TypeIlluminator is a prototype tool exploring debugging of type errors/
BSD-3-Clausev0.0Tue, 19 Feb 2008
@hackage/accelerate
An embedded language for accelerated array processing
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-bignum
Fixed-length large integer arithmetic for Accelerate
BSD-3-Clausev0.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-cuda
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev0.17.0.0Fri, 31 Mar 2017
@hackage/accelerate-examples
Examples using the Accelerate library
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-fft
FFT using the Accelerate library
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-io
Convert between Accelerate arrays and raw pointers
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-llvm
Accelerate backend component generating LLVM IR
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/accelerate-llvm-native
Accelerate backend for multicore CPUs
BSD-3-Clausev1.3.0.0Sat, 4 Feb 2023
@hackage/accelerate-llvm-ptx
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev1.3.0.0Fri, 28 Aug 2020
@hackage/agda2hs
Compiling Agda code to readable Haskell.
BSD-3-Clausev1.3Fri, 4 Oct 2024
@hackage/ajhc
Haskell compiler that produce binary through C language
GPL-2.0-onlyv0.8.0.10Wed, 18 Dec 2013
@hackage/alms
a practical affine language
BSD-3-Clausev0.6.9Fri, 17 Aug 2018
@hackage/alpha
A compiler for the Alpha language
BSD-3-Clausev1.0.15Tue, 1 Jan 2013
@hackage/amrun
Interpreter for AM
LicenseRef-GPLv0.0.0.7Fri, 17 Jan 2020
@hackage/angle
A small, general-purpose programming language.
GPL-3.0-onlyv0.8.1.0Fri, 19 Aug 2016
@hackage/annah
Medium-level language that desugars to Morte
BSD-3-Clausev1.0.0Sun, 4 Sep 2022
@hackage/asic
Action Script Instrumentation Compiler
LicenseRef-LGPLv1.2Tue, 1 Mar 2011
@hackage/asil
Action Script Instrumentation Library
LicenseRef-LGPLv1.2Tue, 1 Mar 2011
@hackage/atuin
Embedded Turtle language compiler in Haskell, with Epic output
BSD-3-Clausev0.1.1Fri, 17 Dec 2010
@hackage/baskell
An interpreter for a small functional language
LicenseRef-GPLv0.1.1Sun, 18 Jan 2009
@hackage/binaryen
Haskell bindings to binaryen
BSD-3-Clausev0.0.6.0Mon, 11 Jan 2021
@hackage/bond
Bond schema compiler and code generator
MITv0.13.0.0Mon, 15 Jul 2024
@hackage/bound
Making de Bruijn Succ Less
BSD-3-Clausev2.0.7Fri, 5 Jul 2024
@hackage/bound-extras
ScopeH and ScopeT extras for bound
BSD-3-Clausev0.0.3Sat, 3 Aug 2024
@hackage/bound-gen
Unwrap Scope's with globally fresh values
MITv0.1.0.2Fri, 27 Mar 2015
@hackage/brainfuck
Brainfuck interpreter
LicenseRef-GPLv0.1.0.4Wed, 15 Nov 2023
@hackage/brainfuck-monad
BrainFuck monad
BSD-3-Clausev0.5.2Wed, 26 Feb 2020
@hackage/cao
CAO Compiler
LicenseRef-GPLv0.1.1Mon, 7 Apr 2014
@hackage/cfipu
cfipu processor for toy brainfuck-like language
BSD-3-Clausev1.1.0.4Tue, 2 Dec 2014
@hackage/cfopu
cfopu processor
BSD-3-Clausev1.0.0Mon, 12 Jul 2010
@hackage/circ
A Compiler IR Compiler.
BSD-3-Clausev0.0.4Wed, 1 Aug 2012
@hackage/cnc-spec-compiler
Compiler/Translator for CnC Specification Files.
BSD-3-Clausev0.2.0.1Fri, 12 Aug 2011
@hackage/compilation
Haskell functionality for quickly assembling simple compilers.
GPL-3.0-onlyv0.0.0.3Tue, 20 Aug 2013
@hackage/control-dsl
An alternative to monads in do-notation
BSD-3-Clausev0.2.1.3Sat, 29 Dec 2018
@hackage/core-compiler
compile your own mini functional language with Core
MITv0.1.0.2Sun, 6 Aug 2017
@hackage/core-haskell
A subset of Haskell using in UCC for teaching purpose
BSD-3-Clausev0.6.4Thu, 13 Mar 2014
@hackage/datafix
Fixing data-flow problems
ISCv0.0.1.0Sat, 28 Mar 2020
@hackage/dataflow
Generate Graphviz documents from a Haskell representation.
BSD-3-Clausev0.7.3.0Wed, 26 Aug 2015
@hackage/dcpu16
DCPU-16 Emulator & Assembler
BSD-3-Clausev0.1.0.2Thu, 12 Jan 2017
@hackage/ddc-base
Disciplined Disciple Compiler common utilities.
MITv0.4.2.1Sat, 30 Apr 2016
@hackage/ddc-build
Disciplined Disciple Compiler build framework.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-code
Disciplined Disciple Compiler base libraries.
MITv0.4.3.2Tue, 6 Sep 2016
@hackage/ddc-core
Disciplined Disciple Compiler core language and type checker.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-babel
Disciplined Disciple Compiler PHP code generator.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-eval
Disciplined Disciple Compiler semantic evaluator for the core language.
MITv0.4.1.3Fri, 31 Oct 2014
@hackage/ddc-core-flow
Disciplined Disciple Compiler data flow compiler.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-llvm
Disciplined Disciple Compiler LLVM code generator.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-salt
Disciplined Disciple Compiler C code generator.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-simpl
Disciplined Disciple Compiler code transformations.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-core-tetra
Disciplined Disciple Compiler intermediate language.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-driver
Disciplined Disciple Compiler top-level driver.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-interface
Disciplined Disciple Compiler user interface support.
MITv0.4.1.3Fri, 31 Oct 2014
@hackage/ddc-source-tetra
Disciplined Disciple Compiler source language.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-tools
Disciplined Disciple Compiler command line tools.
MITv0.4.3.1Tue, 6 Sep 2016
@hackage/ddc-war
Disciplined Disciple Compiler test driver and buildbot.
MITv0.4.1.3Fri, 31 Oct 2014
@hackage/ddci-core
Disciple Core language interactive interpreter.
MITv0.2.1.2Wed, 24 Oct 2012
@hackage/dedukti
A type-checker for the λΠ-modulo calculus.
LicenseRef-GPLv1.1.4Fri, 8 Apr 2011
@hackage/dhall
A configuration language guaranteed to terminate
BSD-3-Clausev1.42.2Sun, 19 Jan 2025
@hackage/dhall-bash
Compile Dhall to Bash
BSD-3-Clausev1.0.41Sun, 29 Sep 2024
@hackage/dhall-csv
Convert bidirectionally between Dhall and CSV files.
BSD-3-Clausev1.0.4Sun, 29 Sep 2024
@hackage/dhall-docs
Generate HTML docs from a dhall package
BSD-3-Clausev1.0.12Sun, 19 Jan 2025
@hackage/dhall-json
Convert between Dhall and JSON or YAML
BSD-3-Clausev1.7.12Sun, 29 Sep 2024
@hackage/dhall-nix
Dhall to Nix compiler
BSD-3-Clausev1.1.27Sun, 19 Jan 2025
@hackage/dhall-openapi
Convert an OpenAPI specification to a Dhall package
BSD-3-Clausev1.0.7Sun, 19 Jan 2025
@hackage/dhall-text
Template text using Dhall
BSD-3-Clausev1.0.18Sun, 4 Sep 2022
@hackage/dhall-text-shell
Render dhall text with shell commands as function arguments
MITv0.2.0.0Sun, 1 May 2022
@hackage/dhall-toml
Convert between Dhall and TOML
BSD-3-Clausev1.0.4Sun, 19 Jan 2025
@hackage/dhall-yaml
Convert between Dhall and YAML
GPL-3.0-onlyv1.2.12Sun, 29 Sep 2024
@hackage/do-notation-dsl
An alternative to monads
BSD-3-Clausev0.1.0.3Tue, 2 Oct 2018
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
MITv4.1.3Sat, 18 Dec 2021
@hackage/egison-tutorial
A tutorial program for the Egison programming language
MITv4.1.3Sat, 18 Dec 2021
@hackage/elm-bridge
Derive Elm types and Json code from Haskell types, using aeson's options
BSD-3-Clausev0.8.4Thu, 26 Sep 2024
@hackage/elm-build-lib
Compile Elm code to JS within Haskell
BSD-3-Clausev0.14.0.0Sat, 13 Dec 2014
@hackage/elm-compiler
Values to help with elm-package, elm-make, and elm-lang.org.
BSD-3-Clausev0.15Mon, 20 Apr 2015
@hackage/elm-core-sources
Source files for the Elm runtime and standard libraries
BSD-3-Clausev1.0.0Thu, 11 Dec 2014
@hackage/elm-reactor
Interactive development tool for Elm programs
BSD-3-Clausev0.3.1Mon, 20 Apr 2015
@hackage/elm-server
Server for developing Elm projects
BSD-3-Clausev0.11.0.1Tue, 20 May 2014
@hackage/elm-street
Crossing the road between Haskell and Elm
MPL-2.0v0.2.2.1Thu, 16 May 2024
@hackage/elm-syntax
Elm syntax and pretty-printing
BSD-3-Clausev0.3.3.0Sat, 2 Dec 2023
@hackage/epic
Compiler for a simple functional language
BSD-3-Clausev0.9.3.3Sat, 28 Mar 2015
@hackage/exploring-interpreters
A generic exploring interpreter for exploratory programming
BSD-3-Clausev1.6.0.0Fri, 21 Feb 2025
@hackage/feldspar-compiler
Compiler for the Feldspar language
BSD-3-Clausev0.7Sun, 1 Jun 2014
@hackage/flite
f-lite compiler, interpreter and libraries
BSD-3-Clausev0.1.2Tue, 17 Nov 2009
@hackage/flp
A layout spec language for memory managers implemented in Rust.
MITv0.1.0.0Mon, 27 Jan 2020
@hackage/formal
A statically typed, functional programming language
MITv0.1.0Mon, 12 Nov 2012
@hackage/forml
A statically typed, functional programming language
MITv0.2Mon, 14 Jan 2013
@hackage/fst
Finite state transducers
BSD-3-Clausev0.10.0.1Wed, 29 Apr 2015
@hackage/funcons-simple
A modular interpreter for executing SIMPLE funcons
MITv0.1.0.7Fri, 14 Dec 2018
@hackage/funcons-tools
A modular interpreter for executing funcons
MITv0.2.0.15Mon, 17 Apr 2023
@hackage/funcons-values
Library providing values and operations on values in a fixed universe.
MITv0.1.0.9Fri, 19 Jan 2024
@hackage/gf
Grammatical Framework
LicenseRef-OtherLicensev3.11Thu, 12 Aug 2021
@hackage/ghci-haskeline
An implementation of ghci using the Haskeline line-input library.
BSD-3-Clausev0.2Thu, 1 Apr 2010
@hackage/ghclive
Interactive Haskell interpreter in a browser.
BSD-3-Clausev0.1.0.2Mon, 20 Aug 2012
@hackage/gibbon
A compiler for operating on serialized trees.
BSD-3-Clausev0.1.1Mon, 6 Sep 2021
@hackage/glambda
A simply typed lambda calculus interpreter, written with GADTs
BSD-3-Clausev1.0.2Mon, 27 Nov 2017
@hackage/gotyno-hs
A type definition compiler supporting multiple output languages.
BSD-2-Clausev1.1.0Thu, 5 Aug 2021
@hackage/graph-rewriting-lambdascope
Lambdascope, an optimal evaluator of the lambda calculus
BSD-3-Clausev0.5.11Mon, 18 Mar 2024
@hackage/graph-rewriting-ski
Two interactive evalutors of the SKI combinator calculus
BSD-3-Clausev0.6.8Mon, 18 Mar 2024
@hackage/graph-rewriting-trs
Interactive evaluation of first-order applicative term rewrite systems
BSD-3-Clausev0.1.10Mon, 18 Mar 2024
@hackage/graph-rewriting-ww
Interactive evaluator of the lambda-calculus with explicit sharing
BSD-3-Clausev0.3.8Mon, 18 Mar 2024
@hackage/gulcii
graphical untyped lambda calculus interactive interpreter
GPL-2.0-onlyv0.3Mon, 23 Oct 2017
@hackage/hLLVM
A library for analyzing and transforming LLVM (3.5) assembly codes
BSD-3-Clausev0.5.0.1Wed, 15 Apr 2015
@hackage/hackager
Hackage testing tool
BSD-3-Clausev1.3.0.1Mon, 26 Jun 2023
@hackage/haskeem
A small scheme interpreter
LicenseRef-GPLv0.7.16Tue, 19 Jan 2010
@hackage/haskell-to-elm
Generate Elm types and JSON encoders and decoders from Haskell types
BSD-3-Clausev0.3.2.0Sat, 2 Dec 2023
@hackage/haskelm
Elm to Haskell translation
BSD-3-Clausev0.1.12.0Tue, 25 Mar 2014
@hackage/haste-compiler
Haskell To ECMAScript compiler
BSD-3-Clausev0.6.0.0Fri, 8 Sep 2017
@hackage/hcc
A toy C compiler.
BSD-3-Clausev0.0.0Fri, 20 Nov 2009
@hackage/helisp
An incomplete Elisp compiler
BSD-3-Clausev0.1Mon, 7 Apr 2008
@hackage/helium
The Helium Compiler.
LicenseRef-GPLv1.8.1Tue, 14 Apr 2015
@hackage/heystone
Haskell bindings for the Keystone assembler framework
GPL-2.0-onlyv0.1.0Fri, 8 Jul 2022
@hackage/hgom
An haskell port of the java version of gom
LicenseRef-GPLv0.6Thu, 4 Mar 2010
@hackage/hiccup
Relatively efficient Tcl interpreter with support for basic operations
LicenseRef-GPLv0.40Tue, 25 Mar 2008
@hackage/hint
A Haskell interpreter built on top of the GHC API
BSD-3-Clausev0.9.0.8Thu, 7 Nov 2024
@hackage/hint-server
A server process that runs hint.
BSD-3-Clausev1.4.3Sun, 27 Nov 2016
@hackage/hinter
Runtime Haskell interpreter (GHC API wrapper)
BSD-3-Clausev0.1.0.0Fri, 10 Apr 2020
@hackage/hjs
JavaScript Parser
BSD-3-Clausev0.2.1Thu, 3 Apr 2008
@hackage/hoe
hoe: Haskell One-liner Evaluator
BSD-3-Clausev1.1.0Wed, 24 Jun 2015
@hackage/hoopl
A library to support dataflow analysis and optimization
BSD-3-Clausev3.10.2.2Fri, 16 Mar 2018
@hackage/hs2bf
Haskell to Brainfuck compiler
BSD-3-Clausev0.6.2Sat, 20 Nov 2010
@hackage/husk-scheme
R5RS Scheme interpreter, compiler, and library.
MITv3.20Thu, 4 Feb 2021
@hackage/husk-scheme-libs
Extra libraries for the husk Scheme platform.
MITv0.0.1Wed, 13 Jun 2012
@hackage/hybrid
A implementation of a type-checker for Lambda-H
BSD-3-Clausev2.0Tue, 4 Mar 2008
@hackage/hyper-haskell-server
Server back-end for the HyperHaskell graphical Haskell interpreter
BSD-3-Clausev0.2.3.1Sat, 10 Feb 2024
@hackage/hypertypes
Typed ASTs
BSD-3-Clausev0.2.2Tue, 25 Jul 2023
@hackage/idris
Functional Programming Language with Dependent Types
BSD-3-Clausev1.3.4Fri, 22 Oct 2021
@hackage/inferno-core
A statically-typed functional scripting language
MITv0.1.0.0Tue, 29 Nov 2022
@hackage/inferno-lsp
LSP for Inferno
MITv0.1.0Tue, 29 Nov 2022
@hackage/inferno-types
Core types for Inferno
MITv0.1.0.0Tue, 29 Nov 2022
@hackage/inferno-vc
Version control server for Inferno
MITv0.1.0Tue, 29 Nov 2022
@hackage/intcode
Advent of Code 2019 intcode interpreter
ISCv0.3.0.0Wed, 8 Dec 2021
@hackage/j
J in Haskell
BSD-3-Clausev0.3.0.1Tue, 16 Aug 2022
@hackage/jacinda
Functional, expression-oriented data processing language
AGPL-3.0-onlyv3.3.0.3Sat, 1 Feb 2025
@hackage/jsonnet
Jsonnet implementaton in pure Haskell
BSD-3-Clausev0.4.0.0Wed, 9 Apr 2025
@hackage/koneko
a concatenative not-quite-lisp for kittens
GPL-3.0-or-laterv0.0.2Sat, 12 Feb 2022
@hackage/lambda
Interpreters for lambda calculus, calculus of constructions, and more
MITv0.1.0.0Thu, 28 Jul 2022
@hackage/lambda-ast
Lambda Calculi Abstract Syntax Trees
BSD-3-Clausev0.0.12Fri, 24 Feb 2012
@hackage/lambda2js
Untyped Lambda calculus to JavaScript compiler
GPL-3.0-onlyv0.1.0.1Sun, 27 Sep 2015
@hackage/lambdacube
A simple lambda cube type checker.
BSD-3-Clausev2008.12.25Thu, 25 Dec 2008
@hackage/lambdacube-compiler
LambdaCube 3D is a DSL to program GPUs
BSD-3-Clausev0.6.0.1Tue, 29 Nov 2016
@hackage/language-dickinson
A language for generative literature
BSD-3-Clausev1.4.3.1Wed, 29 May 2024
@hackage/lazyboy
An EDSL for programming the Game Boy.
BSD-3-Clausev0.2.2.0Tue, 4 Jun 2019
@hackage/lhc
LHC Haskell Compiler
LicenseRef-PublicDomainv0.10Mon, 24 May 2010
@hackage/linear-accelerate
Lifting linear vector spaces into Accelerate
BSD-3-Clausev0.7.0.0Fri, 28 Aug 2020
@hackage/llvm
Bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.2.0.2Tue, 28 May 2013
@hackage/llvm-base
FFI bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.2.0.2Tue, 28 May 2013
@hackage/llvm-base-util
Utilities for bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.0.1.0Sun, 17 Mar 2013
@hackage/llvm-dsl
Support for writing an EDSL with LLVM-JIT as target
BSD-3-Clausev0.1.2Tue, 9 Apr 2024
@hackage/llvm-extension
Processor specific intrinsics for the llvm interface
BSD-3-Clausev0.0Sun, 5 Jan 2020
@hackage/llvm-extra
Utility functions for the llvm interface
BSD-3-Clausev0.12.1Sun, 21 Jul 2024
@hackage/llvm-ffi
FFI bindings to the LLVM compiler toolkit.
BSD-3-Clausev16.0Sun, 8 Oct 2023
@hackage/llvm-ffi-tools
Tools for maintaining the llvm-ffi package
BSD-3-Clausev0.0.1Sun, 24 Sep 2023
@hackage/llvm-general
General purpose LLVM bindings
BSD-3-Clausev3.5.1.2Thu, 11 Feb 2016
@hackage/llvm-general-pure
Pure Haskell LLVM functionality (no FFI).
BSD-3-Clausev3.5.1.0Thu, 11 Feb 2016
@hackage/llvm-general-quote
QuasiQuoting llvm code for llvm-general
BSD-3-Clausev0.2.0.0Tue, 14 Oct 2014
@hackage/llvm-hs
General purpose LLVM bindings
BSD-3-Clausev9.0.1Sat, 28 Sep 2019
@hackage/llvm-hs-pure
Pure Haskell LLVM functionality (no FFI).
BSD-3-Clausev9.0.0Sat, 4 Feb 2023
@hackage/llvm-ht
Bindings to the LLVM compiler toolkit with some custom extensions.
BSD-3-Clausev0.7.0.0Tue, 21 Sep 2010
@hackage/llvm-party
General purpose LLVM bindings
BSD-3-Clausev12.1.1Tue, 27 Jun 2023
@hackage/llvm-tf
Bindings to the LLVM compiler toolkit using type families.
BSD-3-Clausev16.0Sun, 8 Oct 2023
@hackage/lvmlib
The Lazy Virtual Machine (LVM).
BSD-3-Clausev1.1Mon, 16 Sep 2024
@hackage/lvmrun
The Lazy Virtual Machine (LVM) Runtime System.
LicenseRef-LGPLv1.0Tue, 2 Sep 2014
@hackage/mappy
A functional programming language focused around maps.
BSD-3-Clausev0.1.3.1Thu, 18 Feb 2016
@hackage/maxsharing
Maximal sharing of terms in the lambda calculus with letrec
BSD-3-Clausev1.1Mon, 17 Oct 2016
@hackage/microc
microc compiler
BSD-3-Clausev1.0.0.1Mon, 6 Nov 2017
@hackage/miv
Vim plugin manager written in Haskell
MITv0.4.8Sun, 17 Jan 2021
@hackage/morloc
A multi-lingual, typed, workflow language
GPL-3.0-onlyv0.33.0Fri, 6 Nov 2020
@hackage/morte
A bare-bones calculus of constructions
BSD-3-Clausev1.7.2Sun, 4 Sep 2022
@hackage/nom
Name-binding & alpha-equivalence
BSD-3-Clausev0.1.0.2Mon, 10 Aug 2020
@hackage/nominal
Binders and alpha-equivalence made easy
GPL-3.0-onlyv0.3.0.0Wed, 16 Nov 2022
@hackage/noodle
the noodle programming language
LicenseRef-OtherLicensev0.0.19Sat, 10 Dec 2011
@hackage/ntha
A tiny statically typed functional programming language.
BSD-3-Clausev0.1.3Sat, 27 Aug 2016
@hackage/omega
A purely functional programming language and a proof system
BSD-3-Clausev1.5.2Wed, 21 Aug 2013
@hackage/oplang
Stack-based esoteric programming language
GPL-3.0-onlyv0.5.0.0Sat, 25 May 2024
@hackage/optimusprime
A supercompiler for f-lite
BSD-3-Clausev0.0.1.20091117Tue, 17 Nov 2009
@hackage/pcf
A one file compiler for PCF
MITv0.1.0.1Fri, 3 Apr 2015
@hackage/peg
a lazy non-deterministic concatenative programming language
GPL-3.0-onlyv0.2Mon, 16 Apr 2012
@hackage/pesca
Proof Editor for Sequent Calculus
LicenseRef-GPLv4.0.1Tue, 20 May 2008
@hackage/pi-forall
Demo implementation of typechecker for dependently-typed language
BSD-3-Clausev0.1.1Tue, 23 Aug 2016
@hackage/piet
A Piet interpreter
BSD-3-Clausev0.1Tue, 20 Jan 2009
@hackage/polyglot
Haskell to Purescript & Scala 3 transpiler
BSD-3-Clausev0.1.1.0Thu, 25 May 2023
@hackage/portager
DSL for configuring Gentoo portage
BSD-3-Clausev0.1.1.0Mon, 22 May 2017
@hackage/pretty-loc
Tracking and highlighting of locations in source files
BSD-3-Clausev0.1.0.1Wed, 19 Jun 2019
@hackage/record-preprocessor
Compiler preprocessor introducing a syntactic extension for anonymous records
MITv0.1.1.1Mon, 24 Oct 2016
@hackage/risc386
Reduced instruction set i386 simulator
BSD-3-Clausev0.0.20230928Thu, 28 Sep 2023
@hackage/secd
A Haskell implementation of the SECD abstract machine
BSD-3-Clausev0.1.0.0Tue, 12 Jul 2016
@hackage/secdh
SECDH Machine Simulator
BSD-3-Clausev0.2Tue, 13 Mar 2012
@hackage/servant-to-elm
Automatically generate Elm clients for Servant APIs
BSD-3-Clausev0.4.3.0Mon, 11 Oct 2021
@hackage/shell-monad
shell monad
BSD-3-Clausev0.6.10Mon, 7 Mar 2022
@hackage/shimmer
The Reflective Lambda Machine
MITv0.1.3.4Wed, 6 Feb 2019
@hackage/simple-atom
Atom (or symbol) datatype for fast comparision and sorting.
BSD-3-Clausev0.2Wed, 6 Apr 2011
@hackage/simple-pascal
Simplified Pascal language to SSVM compiler
BSD-3-Clausev0.1Mon, 4 Jul 2011
@hackage/simple-stacked-vm
Simple stacked virtual machine: assembler, disassembler, bytecode interpreter
BSD-3-Clausev0.1.2Mon, 30 Jul 2018
@hackage/sixty-five-oh-two
An eDSL for writing 65(C)02 bytecode.
MITv1.2.0.0Thu, 31 May 2018
@hackage/sjsp
Simple JavaScript Profiler
MITv0.1.0Sun, 5 Jul 2015
@hackage/souffle-dsl
Haskell EDSL for Souffle
MITv0.1.0Sun, 11 Apr 2021
@hackage/soyuz
DCPU-16 architecture utilities for Notch's 0x10c game.
MITv0.0.0Tue, 10 Apr 2012
@hackage/statechart
Compiles Rhapsody statecharts to C.
BSD-3-Clausev0.1.0Thu, 15 Jul 2010
@hackage/staticanalysis
Reusable static analysis interfaces and modules.
GPL-3.0-onlyv0.0.0.3Tue, 20 Aug 2013
@hackage/sunroof-compiler
Monadic Javascript Compiler
BSD-3-Clausev0.2Fri, 12 Apr 2013
@hackage/sunroof-examples
Tests for Sunroof
BSD-3-Clausev0.2.2Fri, 27 Jun 2014
@hackage/supero
A Supercompiler
BSD-3-Clausev3.0Sun, 13 Jun 2010
@hackage/swf
A library for creating Shockwave Flash (SWF) files
BSD-3-Clausev1.0.1Sun, 3 Aug 2008
@hackage/tempus
Interpreter for the FRP language Tempus
BSD-3-Clausev0.1.0Wed, 31 Aug 2011
@hackage/textmatetags
A simple Haskell program to provide tags for Haskell code completion in TextMate
MITv0.0.1.2Sat, 26 Mar 2011
@hackage/tiger
Tiger Compiler of Universiteit Utrecht
BSD-3-Clausev1.1.1Mon, 15 Aug 2011
@hackage/transf
Text transformer and interpreter.
BSD-3-Clausev0.13.1Tue, 19 Aug 2014
@hackage/unbound
Generic support for programming with names and binders
BSD-3-Clausev0.5.1.1Mon, 15 Oct 2018
@hackage/unification-fd
Simple generic unification algorithms.
BSD-3-Clausev0.12.0.2Wed, 12 Feb 2025
@hackage/unique-lang
Esoteric programming language where each number can only appear once
MITv0.1.0.0Fri, 29 Jul 2022
@hackage/unlambda
Unlambda interpreter
LicenseRef-GPLv0.1.4.2Sun, 5 Jun 2016
@hackage/uu-cco
Utilities for compiler construction: core functionality
BSD-3-Clausev0.1.0.5Mon, 8 Feb 2016
@hackage/uu-cco-examples
Utilities for compiler construction: example programs
BSD-3-Clausev0.1.0.1Thu, 30 Oct 2014
@hackage/uu-cco-hut-parsing
Utilities for compiler construction: Feedback wrapper around parser in uulib
BSD-3-Clausev0.1.0.1Thu, 30 Oct 2014
@hackage/uu-cco-uu-parsinglib
Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib
BSD-3-Clausev0.1.0.1Thu, 30 Oct 2014
@hackage/vintage-basic
Interpreter for microcomputer-era BASIC
BSD-3-Clausev1.0.3Wed, 2 Aug 2017
@hackage/wasm
WebAssembly Language Toolkit and Interpreter
MITv1.1.1Sun, 12 Dec 2021
@hackage/whitespace
Whitespace, an esoteric programming language.
LicenseRef-GPLv0.4Fri, 2 Nov 2012
@hackage/yabi
Yet Another Brainfuck Interpreter
MITv0.2.0.0Mon, 4 Mar 2019
@hackage/zeolite-lang
Zeolite is a statically-typed, general-purpose programming language.
Apache-2.0v0.24.1.0Mon, 8 Jan 2024
@hackage/zot
Zot language
BSD-3-Clausev0.0.3Tue, 4 Jun 2024

Compilers and Interpreters

@hackage/Befunge93

@hackage/CPBrainfuck

@hackage/CPL

@hackage/DeepDarkFantasy

@hackage/Delta-Lambda

@hackage/Elm

@hackage/Fungi

@hackage/HARM

@hackage/Haschoo

@hackage/INblobs

@hackage/Jikka

@hackage/KiCS

@hackage/LambdaShell

@hackage/NXTDSL

@hackage/TinyLaunchbury

@hackage/TransformeR

@hackage/TypeIlluminator

@hackage/accelerate

@hackage/accelerate-bignum

@hackage/accelerate-cuda

@hackage/accelerate-examples

@hackage/accelerate-fft

@hackage/accelerate-io

@hackage/accelerate-llvm

@hackage/accelerate-llvm-native

@hackage/accelerate-llvm-ptx

@hackage/agda2hs

@hackage/ajhc

@hackage/alms

@hackage/alpha

@hackage/amrun

@hackage/angle

@hackage/annah

@hackage/asic

@hackage/asil

@hackage/atuin

@hackage/baskell

@hackage/binaryen

@hackage/bond

@hackage/bound

@hackage/bound-extras

@hackage/bound-gen

@hackage/brainfuck

@hackage/brainfuck-monad

@hackage/cao

@hackage/cfipu

@hackage/cfopu

@hackage/circ

@hackage/cnc-spec-compiler

@hackage/compilation

@hackage/control-dsl

@hackage/core-compiler

@hackage/core-haskell

@hackage/datafix

@hackage/dataflow

@hackage/dcpu16

@hackage/ddc-base

@hackage/ddc-build

@hackage/ddc-code

@hackage/ddc-core

@hackage/ddc-core-babel

@hackage/ddc-core-eval

@hackage/ddc-core-flow

@hackage/ddc-core-llvm

@hackage/ddc-core-salt

@hackage/ddc-core-simpl

@hackage/ddc-core-tetra

@hackage/ddc-driver

@hackage/ddc-interface

@hackage/ddc-source-tetra

@hackage/ddc-tools

@hackage/ddc-war

@hackage/ddci-core

@hackage/dedukti

@hackage/dhall

@hackage/dhall-bash

@hackage/dhall-csv

@hackage/dhall-docs

@hackage/dhall-json