Categories Compilers and Interpreters
Tooling to create compilers and interpreters
239 results
Check out Package Feeds
@hackage/zeolite-lang
Zeolite is a statically-typed, general-purpose programming language.
@hackage/accelerate-bignum
Fixed-length large integer arithmetic for Accelerate
@hackage/haskeem
A small scheme interpreter
@hackage/noodle
the noodle programming language
@hackage/dhall-openapi
Convert an OpenAPI specification to a Dhall package
@hackage/hinter
Runtime Haskell interpreter (GHC API wrapper)
@hackage/sjsp
Simple JavaScript Profiler
@hackage/alpha
A compiler for the Alpha language
@hackage/secd
A Haskell implementation of the SECD abstract machine
@hackage/simple-stacked-vm
Simple stacked virtual machine: assembler, disassembler, bytecode interpreter
@hackage/lhc
LHC Haskell Compiler
@hackage/dhall-docs
Generate HTML docs from a dhall package
@hackage/j
J in Haskell
@hackage/accelerate-llvm
Accelerate backend component generating LLVM IR
@hackage/llvm-extra
Utility functions for the llvm interface
@hackage/llvm-base
FFI bindings to the LLVM compiler toolkit.
@hackage/glambda
A simply typed lambda calculus interpreter, written with GADTs
@hackage/asil
Action Script Instrumentation Library
@hackage/ddc-interface
Disciplined Disciple Compiler user interface support.
@hackage/llvm-extension
Processor specific intrinsics for the llvm interface
@hackage/ddc-base
Disciplined Disciple Compiler common utilities.
@hackage/bound-gen
Unwrap Scope's with globally fresh values
@hackage/hyper-haskell-server
Server back-end for the HyperHaskell graphical Haskell interpreter
@hackage/TransformeR
eDSL in R for Safe Variable Transformarion
@hackage/control-dsl
An alternative to monads in do-notation
@hackage/llvm
Bindings to the LLVM compiler toolkit.
@hackage/soyuz
DCPU-16 architecture utilities for Notch's 0x10c game.
@hackage/Fungi
Funge-98 interpreter written in Haskell
@hackage/llvm-hs-pure
Pure Haskell LLVM functionality (no FFI).
@hackage/elm-server
Server for developing Elm projects
@hackage/jsonnet
Jsonnet implementaton in pure Haskell
@hackage/statechart
Compiles Rhapsody statecharts to C.
@hackage/lambdacube-compiler
LambdaCube 3D is a DSL to program GPUs
@hackage/jacinda
Functional, expression-oriented data processing language
@hackage/inferno-lsp
LSP for Inferno
@hackage/brainfuck
Brainfuck interpreter
@hackage/dhall-json
Convert between Dhall and JSON or YAML
@hackage/inferno-types
Core types for Inferno
@hackage/Jikka
A transpiler from Python to C++ for competitive programming
@hackage/ddc-core-llvm
Disciplined Disciple Compiler LLVM code generator.
@hackage/morte
A bare-bones calculus of constructions
@hackage/souffle-dsl
Haskell EDSL for Souffle
@hackage/sunroof-compiler
Monadic Javascript Compiler
@hackage/gf
Grammatical Framework
@hackage/supero
A Supercompiler
@hackage/ddc-core-flow
Disciplined Disciple Compiler data flow compiler.
@hackage/llvm-base-util
Utilities for bindings to the LLVM compiler toolkit.
@hackage/lazyboy
An EDSL for programming the Game Boy.
@hackage/hypertypes
Typed ASTs
@hackage/piet
A Piet interpreter
@hackage/Befunge93
An interpreter for the Befunge-93 Programming Language
@hackage/graph-rewriting-lambdascope
Lambdascope, an optimal evaluator of the lambda calculus
@hackage/hgom
An haskell port of the java version of gom
@hackage/graph-rewriting-ww
Interactive evaluator of the lambda-calculus with explicit sharing
@hackage/CPL
An interpreter of Hagino's Categorical Programming Language (CPL).
@hackage/idris
Functional Programming Language with Dependent Types
@hackage/simple-atom
Atom (or symbol) datatype for fast comparision and sorting.
@hackage/llvm-ht
Bindings to the LLVM compiler toolkit with some custom extensions.
@hackage/zot
Zot language
@hackage/dhall-nix
Dhall to Nix compiler
@hackage/llvm-tf
Bindings to the LLVM compiler toolkit using type families.
@hackage/hjs
JavaScript Parser
@hackage/bound
Making de Bruijn Succ Less
@hackage/llvm-general-pure
Pure Haskell LLVM functionality (no FFI).
@hackage/dhall-text-shell
Render dhall text with shell commands as function arguments
@hackage/whitespace
Whitespace, an esoteric programming language.
@hackage/oplang
Stack-based esoteric programming language
@hackage/atuin
Embedded Turtle language compiler in Haskell, with Epic output
@hackage/dhall
A configuration language guaranteed to terminate
@hackage/sunroof-examples
Tests for Sunroof
@hackage/microc
microc compiler
@hackage/ddci-core
Disciple Core language interactive interpreter.
@hackage/core-compiler
compile your own mini functional language with Core
@hackage/flp
A layout spec language for memory managers implemented in Rust.
@hackage/language-dickinson
A language for generative literature
@hackage/accelerate-llvm-ptx
Accelerate backend for NVIDIA GPUs
@hackage/gotyno-hs
A type definition compiler supporting multiple output languages.
@hackage/unbound
Generic support for programming with names and binders
@hackage/mappy
A functional programming language focused around maps.
@hackage/pi-forall
Demo implementation of typechecker for dependently-typed language
@hackage/fst
Finite state transducers
@hackage/bound-extras
ScopeH and ScopeT extras for bound
@hackage/bond
Bond schema compiler and code generator
@hackage/DeepDarkFantasy
A DSL for creating neural network.
@hackage/angle
A small, general-purpose programming language.
@hackage/baskell
An interpreter for a small functional language
@hackage/ddc-core
Disciplined Disciple Compiler core language and type checker.
@hackage/uu-cco-examples
Utilities for compiler construction: example programs
@hackage/arxiv-client
Tiny client for the arXiv Atom API with a simple query DSL
@hackage/llvm-general
General purpose LLVM bindings
@hackage/Haschoo
Minimalist R5RS Scheme interpreter
@hackage/cfipu
cfipu processor for toy brainfuck-like language
@hackage/TinyLaunchbury
Simple implementation of call-by-need using Launchbury's semantics
@hackage/accelerate-llvm-native
Accelerate backend for multicore CPUs
@hackage/TypeIlluminator
TypeIlluminator is a prototype tool exploring debugging of type errors/
@hackage/ddc-core-simpl
Disciplined Disciple Compiler code transformations.
@hackage/agda2hs
Compiling Agda code to readable Haskell.
@hackage/inferno-core
A statically-typed functional scripting language
@hackage/accelerate-fft
FFT using the Accelerate library
@hackage/datafix
Fixing data-flow problems
@hackage/dhall-text
Template text using Dhall
@hackage/flite
f-lite compiler, interpreter and libraries
@hackage/hoopl
A library to support dataflow analysis and optimization
@hackage/funcons-tools
A modular interpreter for executing funcons
@hackage/lambda-ast
Lambda Calculi Abstract Syntax Trees
@hackage/unique-lang
Esoteric programming language where each number can only appear once
@hackage/feldspar-compiler
Compiler for the Feldspar language
@hackage/accelerate-cuda
Accelerate backend for NVIDIA GPUs
@hackage/LambdaShell
Simple shell for evaluating lambda expressions
@hackage/textmatetags
A simple Haskell program to provide tags for Haskell code completion in TextMate
@hackage/gibbon
A compiler for operating on serialized trees.
@hackage/uu-cco
Utilities for compiler construction: core functionality
@hackage/uu-cco-hut-parsing
Utilities for compiler construction: Feedback wrapper around parser in uulib
@hackage/intcode
Advent of Code 2019 intcode interpreter
@hackage/exploring-interpreters
A generic exploring interpreter for exploratory programming
@hackage/INblobs
Editor and interpreter for Interaction Nets
@hackage/elm-street
Crossing the road between Haskell and Elm
@hackage/llvm-general-quote
QuasiQuoting llvm code for llvm-general
@hackage/pesca
Proof Editor for Sequent Calculus
@hackage/portager
DSL for configuring Gentoo portage
@hackage/cfopu
cfopu processor
@hackage/nominal
Binders and alpha-equivalence made easy
@hackage/hLLVM
A library for analyzing and transforming LLVM (3.5) assembly codes
@hackage/dedukti
A type-checker for the λΠ-modulo calculus.
@hackage/sixty-five-oh-two
An eDSL for writing 65(C)02 bytecode.
@hackage/vintage-basic
Interpreter for microcomputer-era BASIC
@hackage/accelerate
An embedded language for accelerated array processing
@hackage/hs2bf
Haskell to Brainfuck compiler
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
@hackage/ddc-war
Disciplined Disciple Compiler test driver and buildbot.
@hackage/forml
A statically typed, functional programming language
@hackage/ghclive
Interactive Haskell interpreter in a browser.
@hackage/formal
A statically typed, functional programming language
@hackage/llvm-ffi-tools
Tools for maintaining the llvm-ffi package
@hackage/hiccup
Relatively efficient Tcl interpreter with support for basic operations
@hackage/CPBrainfuck
A simple Brainfuck interpretter.
@hackage/staticanalysis
Reusable static analysis interfaces and modules.
@hackage/dhall-csv
Convert bidirectionally between Dhall and CSV files.
@hackage/annah
Medium-level language that desugars to Morte
@hackage/unlambda
Unlambda interpreter
@hackage/haskelm
Elm to Haskell translation
@hackage/helisp
An incomplete Elisp compiler
@hackage/hint-server
A server process that runs hint.
@hackage/shimmer
The Reflective Lambda Machine
@hackage/dhall-bash
Compile Dhall to Bash
@hackage/morloc
A multi-lingual, typed, workflow language
@hackage/peg
a lazy non-deterministic concatenative programming language
@hackage/ddc-core-babel
Disciplined Disciple Compiler PHP code generator.
@hackage/tiger
Tiger Compiler of Universiteit Utrecht
@hackage/lambda2js
Untyped Lambda calculus to JavaScript compiler
@hackage/elm-compiler
Values to help with elm-package, elm-make, and elm-lang.org.
@hackage/ddc-core-salt
Disciplined Disciple Compiler C code generator.
@hackage/alms
a practical affine language
@hackage/binaryen
Haskell bindings to binaryen
@hackage/amrun
Interpreter for AM
@hackage/lambda
Interpreters for lambda calculus, calculus of constructions, and more
@hackage/llvm-hs
General purpose LLVM bindings
@hackage/elm-bridge
Derive Elm types and Json code from Haskell types, using aeson's options
@hackage/HARM
A simple ARM emulator in haskell
@hackage/uu-cco-uu-parsinglib
Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib
@hackage/miv
Vim plugin manager written in Haskell
@hackage/wasm
WebAssembly Language Toolkit and Interpreter
@hackage/transf
Text transformer and interpreter.
@hackage/ddc-core-tetra
Disciplined Disciple Compiler intermediate language.
@hackage/cnc-spec-compiler
Compiler/Translator for CnC Specification Files.
@hackage/cao
CAO Compiler
@hackage/hybrid
A implementation of a type-checker for Lambda-H
@hackage/haskell-to-elm
Generate Elm types and JSON encoders and decoders from Haskell types
@hackage/inferno-vc
Version control server for Inferno
@hackage/risc386
Reduced instruction set i386 simulator
@hackage/husk-scheme-libs
Extra libraries for the husk Scheme platform.
@hackage/unification-fd
Simple generic unification algorithms.
@hackage/funcons-simple
A modular interpreter for executing SIMPLE funcons
@hackage/haste-compiler
Haskell To ECMAScript compiler
@hackage/gulcii
graphical untyped lambda calculus interactive interpreter
@hackage/compilation
Haskell functionality for quickly assembling simple compilers.
@hackage/ddc-build
Disciplined Disciple Compiler build framework.
@hackage/servant-to-elm
Automatically generate Elm clients for Servant APIs
@hackage/polyglot
Haskell to Purescript & Scala 3 transpiler
@hackage/elm-syntax
Elm syntax and pretty-printing
@hackage/epic
Compiler for a simple functional language
@hackage/Delta-Lambda
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
@hackage/hint
A Haskell interpreter built on top of the GHC API
@hackage/accelerate-io
Convert between Accelerate arrays and raw pointers
@hackage/hoe
hoe: Haskell One-liner Evaluator
@hackage/simple-pascal
Simplified Pascal language to SSVM compiler
@hackage/shell-monad
shell monad
@hackage/ghci-haskeline
An implementation of ghci using the Haskeline line-input library.
@hackage/yabi
Yet Another Brainfuck Interpreter
@hackage/pretty-loc
Tracking and highlighting of locations in source files
@hackage/ajhc
Haskell compiler that produce binary through C language
@hackage/graph-rewriting-ski
Two interactive evalutors of the SKI combinator calculus
@hackage/elm-reactor
Interactive development tool for Elm programs
@hackage/dhall-yaml
Convert between Dhall and YAML
@hackage/circ
A Compiler IR Compiler.
@hackage/dataflow
Generate Graphviz documents from a Haskell representation.
@hackage/heystone
Haskell bindings for the Keystone assembler framework
@hackage/asic
Action Script Instrumentation Compiler
@hackage/hcc
A toy C compiler.
@hackage/egison-tutorial
A tutorial program for the Egison programming language
@hackage/dcpu16
DCPU-16 Emulator & Assembler
@hackage/ntha
A tiny statically typed functional programming language.
@hackage/hackager
Hackage testing tool
@hackage/elm-core-sources
Source files for the Elm runtime and standard libraries
@hackage/lvmrun
The Lazy Virtual Machine (LVM) Runtime System.
@hackage/ddc-core-eval
Disciplined Disciple Compiler semantic evaluator for the core language.
@hackage/llvm-ffi
FFI bindings to the LLVM compiler toolkit.
@hackage/funcons-values
Library providing values and operations on values in a fixed universe.
@hackage/helium
The Helium Compiler.
@hackage/maxsharing
Maximal sharing of terms in the lambda calculus with letrec
@hackage/graph-rewriting-trs
Interactive evaluation of first-order applicative term rewrite systems
@hackage/record-preprocessor
Compiler preprocessor introducing a syntactic extension for anonymous records
@hackage/ddc-driver
Disciplined Disciple Compiler top-level driver.
@hackage/KiCS
A compiler from Curry to Haskell
@hackage/dhall-toml
Convert between Dhall and TOML
@hackage/secdh
SECDH Machine Simulator
@hackage/lambdacube
A simple lambda cube type checker.
@hackage/lvmlib
The Lazy Virtual Machine (LVM).
@hackage/ddc-code
Disciplined Disciple Compiler base libraries.
@hackage/do-notation-dsl
An alternative to monads
@hackage/optimusprime
A supercompiler for f-lite
@hackage/llvm-dsl
Support for writing an EDSL with LLVM-JIT as target
@hackage/swf
A library for creating Shockwave Flash (SWF) files
@hackage/accelerate-examples
Examples using the Accelerate library
@hackage/omega
A purely functional programming language and a proof system
@hackage/tempus
Interpreter for the FRP language Tempus
@hackage/pcf
A one file compiler for PCF
@hackage/ddc-tools
Disciplined Disciple Compiler command line tools.
@hackage/brainfuck-monad
BrainFuck monad
@hackage/linear-accelerate
Lifting linear vector spaces into Accelerate
@hackage/ddc-source-tetra
Disciplined Disciple Compiler source language.
@hackage/nom
Name-binding & alpha-equivalence
@hackage/NXTDSL
Generate NXC Code from DSL
@hackage/elm-build-lib
Compile Elm code to JS within Haskell
@hackage/core-haskell
A subset of Haskell using in UCC for teaching purpose
@hackage/husk-scheme
R5RS Scheme interpreter, compiler, and library.
@hackage/llvm-party
General purpose LLVM bindings
@hackage/Elm
The Elm language module.
@hackage/koneko
a concatenative not-quite-lisp for kittens