Packages tagged compilers-interpreters

147 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (95), bsd3 (88), program (84), mit (32), deprecated (25), language (19), code-generation (16), gpl (9), data (7), concurrency (6), parallelism (6), application (5), accelerate (4), text (3), algorithms (2), generics (2), languages (2), logic (2), theorem-provers (2), unification (2), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Befunge9350.01An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-200.1BrandonSimmons
CPBrainfuck70.01A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-061.1ThomasDavie
CPL130.01An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-160.0.9MasahiroSakai
Delta-Lambda60.01A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-110.3.0.0listofoptions
Fungi130.01Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-161.0.6ThomasEding
HARM (deprecated)110.01A simple ARM emulator in haskell (compilers-interpreters, deprecated, library, program)2008-12-060.1.4AlexMason
Haschoo (deprecated)120.01Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)2012-05-230.1.2MattiNiemenmaa
INblobs50.01Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-190.1.1MiguelVilaca
Jikka210.00A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-255.6.0.0kimiyuki
LambdaShell80.01Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-010.9.3RobertDockins
NXTDSL120.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
TinyLaunchbury50.01Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-201.0.1DavidSankel
TypeIlluminator40.01TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-190.0GwernBranwen
accelerate562.544An embedded language for accelerated array processing (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0ManuelChakravarty, TrevorMcDonell
accelerate-cuda (deprecated in favor of accelerate-llvm-ptx)220.08Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-310.17.0.0ManuelChakravarty, TrevorMcDonell
accelerate-llvm170.06Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-native170.05Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-ptx182.05Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
alms360.01a practical affine language (bsd3, compilers-interpreters, program)2018-08-170.6.9JesseTov
amrun280.01Interpreter for AM (compilers-interpreters, program)2020-01-170.0.0.7DanielSeidel, JanisVoigtlaender, OliverWestphal
angle50.00A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-190.8.1.0GuiltyDolphin
asic50.01Action Script Instrumentation Compiler (compilers-interpreters, program)2011-03-011.2ArieMiddelkoop
asil50.01Action Script Instrumentation Library (compilers-interpreters, library)2011-03-011.2ArieMiddelkoop
atuin50.01Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-170.1.1EdwinBrady
baskell70.01An interpreter for a small functional language (compilers-interpreters, program)2009-01-180.1.1GwernBranwen
bound892.59Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2023-08-062.0.7EdwardKmett, EricMertens, ryanglscott
bound-gen80.01Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)2015-03-270.1.0.2jozefg
brainfuck400.03Brainfuck interpreter (compilers-interpreters, library, program)2023-11-150.1.0.4GwernBranwen, abbradar, ncfavier
brainfuck-monad190.01BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-260.5.2JoeyHess
cfipu40.01cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-021.1.0.4ByronJohnson
cfopu (deprecated in favor of cfipu)60.01cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-121.0.0ByronJohnson
cnc-spec-compiler50.01Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-120.2.0.1RyanNewton
compilation90.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
core-haskell90.01A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-130.6.4happlebao
dcpu1650.00DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-120.1.0.2anatolat
ddc-base (deprecated in favor of ddc-core)140.014Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-300.4.2.1BenLippmeier
ddc-build (deprecated)140.02Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier, amosrobinson
ddc-code (deprecated)110.01Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.2BenLippmeier
ddc-core (deprecated)140.012Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-babel (deprecated)50.01Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-eval (deprecated)210.03Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-310.4.1.3BenLippmeier
ddc-core-flow (deprecated)90.04Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-llvm (deprecated)110.03Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-salt (deprecated)90.07Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-simpl (deprecated)130.07Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-tetra (deprecated)90.06Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-driver (deprecated)120.01Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-interface (deprecated)70.02Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)2014-10-310.4.1.3BenLippmeier
ddc-source-tetra (deprecated)60.03Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-tools (deprecated)110.01Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-060.4.3.1BenLippmeier
ddc-war (deprecated)70.01Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-310.4.1.3BenLippmeier
ddci-core (deprecated)90.01Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-240.2.1.2BenLippmeier
dedukti290.01A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-081.1.4MathieuBoespflug
egison2002.02Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
egison-tutorial480.01A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
epic400.03Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-280.9.3.3AndreasAbel, EdwinBrady
exploring-interpreters210.01A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2024-01-191.5.0.0ltvanbinsbergen, DamianFrolich
fst90.02Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-290.10.0.1GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple70.01A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-140.1.0.7ltvanbinsbergen
funcons-tools142.00A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2023-04-170.2.0.15ltvanbinsbergen
funcons-values110.01Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-260.1.0.9ltvanbinsbergen
ghci-haskeline110.01An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-010.2JudahJacobson
ghclive80.01Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-200.1.0.2ShaeErisson
glambda112.00A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-271.0.2RichardEisenberg
graph-rewriting-lambdascope310.01Lambdascope, an optimal evaluator of the lambda calculus (application, bsd3, compilers-interpreters, program)2024-03-180.5.11JanRochel
graph-rewriting-ski350.01Two interactive evalutors of the SKI combinator calculus (application, bsd3, compilers-interpreters, program)2024-03-180.6.8JanRochel
graph-rewriting-trs280.01Interactive evaluation of first-order applicative term rewrite systems (application, bsd3, compilers-interpreters, program)2024-03-180.1.10JanRochel
graph-rewriting-ww200.01Interactive evaluator of the lambda-calculus with explicit sharing (application, bsd3, compilers-interpreters, program)2024-03-180.3.8JanRochel
gulcii90.01graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-230.3ClaudeHeilandAllen
hLLVM50.01A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-150.5.0.1NingWang
haskeem120.01A small scheme interpreter (compilers-interpreters, program)2010-01-190.7.16UweHollerbach
helisp50.01An incomplete Elisp compiler (bsd3, compilers-interpreters, program)2008-04-070.1GwernBranwen
heystone30.01Haskell bindings for the Keystone assembler framework (assembler, bindings, compilers-interpreters, gpl, library)2022-07-080.1.0raehik
hiccup100.01Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-250.40KyleConsalus
hint1892.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server150.05A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-271.4.3CorentinDupont, FernandoBenavides
hinter (deprecated)30.01Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-060.1.0.0
hjs60.01JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-030.2.1GwernBranwen, MarkWassell
hoe100.01hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-241.1.0HideyukiTanaka
hoopl432.259A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-293.10.2.2AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme882.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs130.01Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-130.0.1JustinEthier
hybrid60.01A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-042.0GwernBranwen
hyper-haskell-server330.01Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2024-02-100.2.3.1HeinrichApfelmus
hypertypes140.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
idris1292.251Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-221.3.4EdwinBrady, niklasl
intcode102.00Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-190.3.0.0EricMertens
koneko40.00a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-120.0.2obfusk
lambda40.00Interpreters for lambda calculus, calculus of constructions, and more (compilers-interpreters, mit, program)2022-07-280.1.0.0OwenBechtel
lambda-ast190.02Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-240.0.12JonathanFischoff
lambdacube60.01A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-252008.12.25LennartAugustsson
language-dickinson322.00A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2022-09-101.4.3.0vmchale
llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf)661.55Bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-283.2.0.2BenjaminSaunders, BryanOSullivan, CarterSchonwald, LennartAugustsson
llvm-base (deprecated in favor of llvm-general)120.04FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-283.2.0.2BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util40.01Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-173.0.1.0PaulMeng
llvm-dsl90.02Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2023-09-300.1.1HenningThielemann
llvm-extension60.00Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-050.0HenningThielemann
llvm-extra590.07Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2023-10-050.12HenningThielemann
llvm-ffi422.02FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
llvm-ffi-tools70.01Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2023-09-240.0.1HenningThielemann
llvm-general1722.254General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.2BenjaminScarlet
llvm-general-pure642.07Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.0BenjaminScarlet
llvm-general-quote70.01QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-140.2.0.0TvH
llvm-hs772.753General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-289.0.1cocreature, andrew_wja
llvm-hs-pure382.57Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2019-09-069.0.0cocreature, andrew_wja
llvm-ht (deprecated in favor of llvm-tf, llvm-ffi)50.03Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)2010-09-210.7.0.0HenningThielemann
llvm-party60.00General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2023-06-2712.1.1Jappie, mangoiv
llvm-tf800.08Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
lvmlib70.02The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-021.1JurriaanHage
lvmrun130.01The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-021.0JurriaanHage
mappy150.00A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-180.1.3.1mjgpy3
nom60.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal140.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
noodle40.01the noodle programming language (compilers-interpreters, library, program)2011-12-100.0.19JesseRudolph
omega50.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
oplang90.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2023-12-280.4.0.1aionescu
peg50.01a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-160.2DustinDeWeese
pesca90.01Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-204.0.1GwernBranwen, dpeteler, mmhat
pi-forall50.01Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-230.1.1sweirich
piet50.01A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-200.1StephanFriedrichs
pretty-loc180.00Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-190.1.0.1GuerricChupin
risc386200.01Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2023-09-280.0.20230928AndreasAbel
secd140.00A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-120.1.0.0kseo
secdh70.01SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-130.2PeterGavin
shell-monad390.01shell monad (bsd3, compilers-interpreters, library)2022-03-070.6.10JoeyHess
shimmer120.01The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-060.1.3.4BenLippmeier
simple-atom80.01Atom (or symbol) datatype for fast comparision and sorting. (bsd3, compilers-interpreters, data, library, parsing)2011-04-060.2ThomasSchilling
simple-pascal40.01Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-040.1IlyaPortnov
simple-stacked-vm60.02Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-300.1.2IlyaPortnov
soyuz40.01DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-100.0.0AlexKropivny
staticanalysis180.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
swf90.01A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-031.0.1AudreyTang, JeremyShaw
tempus60.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
textmatetags90.01A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-260.0.1.2AlessandroVermeulen
transf120.01Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-190.13.1HansHoglund
unbound320.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unification-fd462.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano
unique-lang50.00Esoteric programming language where each number can only appear once (compilers-interpreters, mit, program)2022-07-290.1.0.0OwenBechtel
unlambda290.03Unlambda interpreter (compilers-interpreters, library, program)2016-06-050.1.4.2GwernBranwen, abbradar, ncfavier
uu-cco100.03Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-080.1.0.5AtzeDijkstra
uu-cco-examples50.01Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-300.1.0.1AtzeDijkstra
uu-cco-hut-parsing60.01Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
uu-cco-uu-parsinglib50.01Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
vintage-basic140.01Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-021.0.3LyleKopnicky
whitespace140.01Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-020.4HaroldLee
yabi132.01Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-220.2.0.0fgaz
zot182.01Zot language (bsd3, compilers-interpreters, program)2016-03-270.0.3YoshikuniJujo