Packages tagged compilers-interpreters

131 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (84), library (84), program (75), mit (27), deprecated (23), gpl (14), code-generation (13), language (13), concurrency (11), data (11), parallelism (11), application (5), lgpl (4), benchmark (3), algebra (2), languages (2), theorem-provers (2), algorithms (1), ...

Name
DLs
Rating
Description
Tags
Maintainer
Befunge9370.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)BrandonSimmons
CPBrainfuck140.0A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)ThomasDavie
CPL300.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)MasahiroSakai
Delta-Lambda200.0A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)listofoptions
Fungi430.0Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)ThomasEding
HARM250.0A simple ARM emulator in haskell (compilers-interpreters, library, program)AlexMason
Haschoo (deprecated)210.0Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)MattiNiemenmaa
INblobs110.0Editor and interpreter for Interaction Nets (compilers-interpreters, lgpl, program)MiguelVilaca
LambdaShell170.0Simple shell for evaluating lambda expressions (compilers-interpreters, gpl, program)RobertDockins
NXTDSL170.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)AlexanderThiemann
TinyLaunchbury120.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)DavidSankel
TypeIlluminator50.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)GwernBranwen
accelerate1332.0An embedded language for accelerated array processing (bsd3, compilers-interpreters, concurrency, data, library, parallelism)ManuelChakravarty, TrevorMcDonell
accelerate-bignum80.0Fixed-length large integer arithmetic for Accelerate (benchmark, bsd3, compilers-interpreters, concurrency, data, library, parallelism)TrevorMcDonell
accelerate-cuda (deprecated in favor of accelerate-llvm-ptx)760.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)ManuelChakravarty, TrevorMcDonell
accelerate-examples450.0Examples using the Accelerate library (bsd3, compilers-interpreters, concurrency, data, library, parallelism)ManuelChakravarty, TrevorMcDonell
accelerate-fft270.0FFT using the Accelerate library (bsd3, compilers-interpreters, concurrency, data, library, parallelism)TrevorMcDonell
accelerate-io640.0Read and write Accelerate arrays in various formats (bsd3, compilers-interpreters, concurrency, data, library, parallelism)ManuelChakravarty, TrevorMcDonell
accelerate-llvm130.0Accelerate backend generating LLVM (bsd3, compilers-interpreters, concurrency, data, library, parallelism)TrevorMcDonell
accelerate-llvm-native140.0Accelerate backend generating LLVM (bsd3, compilers-interpreters, concurrency, data, library, parallelism)TrevorMcDonell
accelerate-llvm-ptx140.0Accelerate backend generating LLVM (bsd3, compilers-interpreters, concurrency, data, library, parallelism)TrevorMcDonell
alms550.0a practical affine language (bsd3, compilers-interpreters, program)JesseTov
amrun200.0Interpreter for AM (compilers-interpreters, gpl, program)DanielSeidel, JanisVoigtlaender
angle40.0A small, general-purpose programming language. (benchmark, compilers-interpreters, gpl, library, program)GuiltyDolphin
asic40.0Action Script Instrumentation Compiler (compilers-interpreters, lgpl, program)ArieMiddelkoop
asil50.0Action Script Instrumentation Library (compilers-interpreters, lgpl, library)ArieMiddelkoop
atuin50.0Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)EdwinBrady
baskell110.0An interpreter for a small functional language (compilers-interpreters, gpl, program)GwernBranwen
bound1222.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)EdwardKmett, EricMertens, ryanglscott
bound-gen110.0Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)jozefg
brainfuck370.0Brainfuck interpreter (compilers-interpreters, gpl, library, program)GwernBranwen, abbradar
brainfuck-monad180.0BrainFuck monad (bsd3, compilers-interpreters, library)JoeyHess
cfipu40.0cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)ByronJohnson
cfopu (deprecated in favor of cfipu)90.0cfopu processor (bsd3, compilers-interpreters, deprecated, program)ByronJohnson
cnc-spec-compiler80.0Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)RyanNewton
compilation110.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)AndreiLapets
core-haskell160.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)happlebao
dcpu16120.0DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)anatolat
ddc-base (deprecated in favor of ddc-core)280.0Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-build (deprecated)250.0Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)BenLippmeier, amosrobinson
ddc-code (deprecated)240.0Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core (deprecated)370.0Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-babel (deprecated)100.0Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-eval (deprecated)220.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-flow (deprecated)210.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-llvm (deprecated)230.0Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-salt (deprecated)210.0Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-simpl (deprecated)330.0Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-core-tetra (deprecated)150.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-driver (deprecated)300.0Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-interface (deprecated)100.0Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-source-tetra (deprecated)160.0Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)BenLippmeier
ddc-tools (deprecated)300.0Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)BenLippmeier
ddc-war (deprecated)100.0Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)BenLippmeier
ddci-core (deprecated)120.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)BenLippmeier
dedukti380.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, gpl, library, program, theorem-provers)MathieuBoespflug
egison5160.0Programming language with non-linear pattern-matching against non-free data (benchmark, compilers-interpreters, library, mit, program)SatoshiEgi
egison-tutorial810.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)SatoshiEgi
epic580.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)AndreasAbel, EdwinBrady
fst150.0Finite state transducers (bsd3, compilers-interpreters, library, program)GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-tools30.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)ltvanbinsbergen
ghci-haskeline160.0An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)JudahJacobson
ghclive100.0Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)ShaeErisson
glambda82.0A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)RichardEisenberg
graph-rewriting-lambdascope720.0Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system (application, bsd3, compilers-interpreters, program)JanRochel
graph-rewriting-ski690.0Two evalutors of the SKI combinator calculus as interactive graph rewrite systems (application, bsd3, compilers-interpreters, program)JanRochel
graph-rewriting-trs380.0Evaluate first-order applicative term rewrite systems interactively using graph reduction (application, bsd3, compilers-interpreters, program)JanRochel
graph-rewriting-ww350.0Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing (application, bsd3, compilers-interpreters, program)JanRochel
hLLVM70.0A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)NingWang
haskeem330.0A small scheme interpreter (compilers-interpreters, gpl, program)UweHollerbach
helisp50.0An incomplete Elisp compiler (bsd3, compilers-interpreters, program)GwernBranwen
hiccup110.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, gpl, program)KyleConsalus
hint1892.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)mvdan
hint-server200.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)CorentinDupont, FernandoBenavides
hjs80.0JavaScript Parser (bsd3, compilers-interpreters, library, program)GwernBranwen, MarkWassell
hoe70.0hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)HideyukiTanaka
hoopl770.0A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme860.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)JustinEthier
husk-scheme-libs30.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)JustinEthier
hybrid20.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)GwernBranwen
hyper-haskell-server140.0Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)HeinrichApfelmus
idris2000.0Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)EdwinBrady
lambda-ast40.0Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)JonathanFischoff
lambdacube50.0A simple lambda cube type checker. (bsd3, compilers-interpreters, program)LennartAugustsson
linear-accelerate260.0Lifting linear vector spaces into Accelerate (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)EdwardKmett, TrevorMcDonell, ryanglscott
llvm (deprecated in favor of llvm-general)801.5Bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)BenjaminSaunders, BryanOSullivan, CarterSchonwald, HenningThielemann, LennartAugustsson
llvm-base (deprecated in favor of llvm-general)120.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util10.0Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)PaulMeng
llvm-extra380.0Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)HenningThielemann
llvm-ffi180.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)HenningThielemann
llvm-ffi-tools30.0Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)HenningThielemann
llvm-general1162.25General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)BenjaminScarlet
llvm-general-pure552.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)BenjaminScarlet
llvm-general-quote30.0QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)TvH
llvm-hs532.0General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)cocreature
llvm-hs-pure472.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)cocreature
llvm-ht (deprecated in favor of llvm-tf, llvm-ffi)40.0Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)HenningThielemann
llvm-tf300.0Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)HenningThielemann
lvmlib20.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)JurriaanHage
lvmrun20.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, lgpl, program)JurriaanHage
mappy90.0A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)mjgpy3
noodle40.0the noodle programming language (compilers-interpreters, library, program)JesseRudolph
omega60.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)GaborGreif
peg50.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)DustinDeWeese
pesca80.0Proof Editor for Sequent Calculus (compilers-interpreters, gpl, program, theorem-provers)GwernBranwen
pi-forall40.0Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)sweirich
piet20.0A Piet interpreter (bsd3, compilers-interpreters, library, program)StephanFriedrichs
risc38640.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)AndreasAbel
secd40.0A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)kseo
secdh30.0SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)PeterGavin
shell-monad170.0shell monad (bsd3, compilers-interpreters, library)JoeyHess
simple-atom30.0Atom (or symbol) datatype for fast comparision and sorting. (bsd3, compilers-interpreters, data, library, parsing)ThomasSchilling
simple-pascal70.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)IlyaPortnov
simple-stacked-vm50.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)IlyaPortnov
soyuz10.0DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)AlexKropivny
staticanalysis40.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)AndreiLapets
swf40.0A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)AudreyTang, JeremyShaw
tempus20.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)MatthiasReisner
textmatetags70.0A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)AlessandroVermeulen
transf80.0Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)HansHoglund
unbound360.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)BrentYorgey, sweirich
unification-fd162.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)WrenThornton
unlambda270.0Unlambda interpreter (compilers-interpreters, gpl, library, program)GwernBranwen, abbradar
uu-cco70.0Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)AtzeDijkstra
uu-cco-examples40.0Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)AtzeDijkstra
uu-cco-hut-parsing40.0Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)AtzeDijkstra
uu-cco-uu-parsinglib30.0Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)AtzeDijkstra
vintage-basic120.0Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)LyleKopnicky
whitespace30.0Whitespace, an esoteric programming language. (compilers-interpreters, gpl, program)HaroldLee
yabi72.0Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)fgaz
zot80.0Zot language (bsd3, compilers-interpreters, program)YoshikuniJujo