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
Befunge9300.01An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-200.1BrandonSimmons
CPBrainfuck20.01A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-061.1ThomasDavie
CPL30.01An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-160.0.9MasahiroSakai
Delta-Lambda30.01A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-110.3.0.0listofoptions
Fungi80.01Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-161.0.6ThomasEding
HARM (deprecated)40.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
INblobs30.01Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-190.1.1MiguelVilaca
Jikka150.00A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-255.6.0.0kimiyuki
LambdaShell60.01Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-010.9.3RobertDockins
NXTDSL70.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
TinyLaunchbury00.01Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-201.0.1DavidSankel
TypeIlluminator30.01TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-190.0GwernBranwen
accelerate552.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)170.08Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-310.17.0.0ManuelChakravarty, TrevorMcDonell
accelerate-llvm160.06Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-native220.05Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-ptx212.05Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
alms120.01a practical affine language (bsd3, compilers-interpreters, program)2018-08-170.6.9JesseTov
amrun150.01Interpreter for AM (compilers-interpreters, program)2020-01-170.0.0.7DanielSeidel, JanisVoigtlaender, OliverWestphal
angle10.00A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-190.8.1.0GuiltyDolphin
asic10.01Action Script Instrumentation Compiler (compilers-interpreters, program)2011-03-011.2ArieMiddelkoop
asil20.01Action Script Instrumentation Library (compilers-interpreters, library)2011-03-011.2ArieMiddelkoop
atuin10.01Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-170.1.1EdwinBrady
baskell20.01An interpreter for a small functional language (compilers-interpreters, program)2009-01-180.1.1GwernBranwen
bound802.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
brainfuck220.03Brainfuck interpreter (compilers-interpreters, library, program)2023-11-150.1.0.4GwernBranwen, abbradar, ncfavier
brainfuck-monad180.01BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-260.5.2JoeyHess
cfipu10.01cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-021.1.0.4ByronJohnson
cfopu (deprecated in favor of cfipu)30.01cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-121.0.0ByronJohnson
cnc-spec-compiler10.01Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-120.2.0.1RyanNewton
compilation70.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
core-haskell10.01A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-130.6.4happlebao
dcpu1630.00DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-120.1.0.2anatolat
ddc-base (deprecated in favor of ddc-core)110.014Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-300.4.2.1BenLippmeier
ddc-build (deprecated)120.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)120.012Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-babel (deprecated)00.01Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-eval (deprecated)90.03Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-310.4.1.3BenLippmeier
ddc-core-flow (deprecated)80.04Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-llvm (deprecated)70.03Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-salt (deprecated)70.07Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-simpl (deprecated)110.07Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-tetra (deprecated)30.06Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-driver (deprecated)110.01Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-interface (deprecated)40.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)240.01Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-060.4.3.1BenLippmeier
ddc-war (deprecated)50.01Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-310.4.1.3BenLippmeier
ddci-core (deprecated)40.01Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-240.2.1.2BenLippmeier
dedukti100.01A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-081.1.4MathieuBoespflug
egison2162.02Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
egison-tutorial90.01A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
epic170.03Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-280.9.3.3AndreasAbel, EdwinBrady
exploring-interpreters110.01A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2024-04-291.5.0.1ltvanbinsbergen, DamianFrolich
fst80.02Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-290.10.0.1GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple30.01A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-140.1.0.7ltvanbinsbergen
funcons-tools172.00A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2023-04-170.2.0.15ltvanbinsbergen
funcons-values70.01Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-260.1.0.9ltvanbinsbergen
ghci-haskeline60.01An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-010.2JudahJacobson
ghclive50.01Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-200.1.0.2ShaeErisson
glambda72.00A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-271.0.2RichardEisenberg
graph-rewriting-lambdascope390.01Lambdascope, an optimal evaluator of the lambda calculus (application, bsd3, compilers-interpreters, program)2024-03-180.5.11JanRochel
graph-rewriting-ski190.01Two interactive evalutors of the SKI combinator calculus (application, bsd3, compilers-interpreters, program)2024-03-180.6.8JanRochel
graph-rewriting-trs90.01Interactive evaluation of first-order applicative term rewrite systems (application, bsd3, compilers-interpreters, program)2024-03-180.1.10JanRochel
graph-rewriting-ww40.01Interactive evaluator of the lambda-calculus with explicit sharing (application, bsd3, compilers-interpreters, program)2024-03-180.3.8JanRochel
gulcii40.01graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-230.3ClaudeHeilandAllen
hLLVM00.01A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-150.5.0.1NingWang
haskeem160.01A small scheme interpreter (compilers-interpreters, program)2010-01-190.7.16UweHollerbach
helisp10.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
hiccup60.01Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-250.40KyleConsalus
hint2532.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server140.05A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-271.4.3CorentinDupont, FernandoBenavides
hinter (deprecated)20.01Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-060.1.0.0
hjs30.01JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-030.2.1GwernBranwen, MarkWassell
hoe50.01hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-241.1.0HideyukiTanaka
hoopl42.259A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-293.10.2.2AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme832.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs30.01Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-130.0.1JustinEthier
hybrid10.01A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-042.0GwernBranwen
hyper-haskell-server160.01Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2024-02-100.2.3.1HeinrichApfelmus
hypertypes60.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
idris552.251Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-221.3.4EdwinBrady, niklasl
intcode02.00Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-190.3.0.0EricMertens
koneko10.00a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-120.0.2obfusk
lambda10.00Interpreters for lambda calculus, calculus of constructions, and more (compilers-interpreters, mit, program)2022-07-280.1.0.0OwenBechtel
lambda-ast40.02Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-240.0.12JonathanFischoff
lambdacube30.01A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-252008.12.25LennartAugustsson
language-dickinson242.00A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2024-05-291.4.3.1vmchale
llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf)891.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)60.04FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-283.2.0.2BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util20.01Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-173.0.1.0PaulMeng
llvm-dsl50.03Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2024-04-090.1.2HenningThielemann
llvm-extension10.00Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-050.0HenningThielemann
llvm-extra400.07Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2024-07-210.12.1HenningThielemann
llvm-ffi302.02FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
llvm-ffi-tools10.01Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2023-09-240.0.1HenningThielemann
llvm-general1152.254General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.2BenjaminScarlet
llvm-general-pure822.07Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.0BenjaminScarlet
llvm-general-quote20.01QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-140.2.0.0TvH
llvm-hs822.753General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-289.0.1cocreature, andrew_wja
llvm-hs-pure602.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)10.03Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)2010-09-210.7.0.0HenningThielemann
llvm-party10.00General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2023-06-2712.1.1Jappie, mangoiv
llvm-tf890.08Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
lvmlib20.02The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-021.1JurriaanHage
lvmrun60.01The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-021.0JurriaanHage
mappy10.00A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-180.1.3.1mjgpy3
nom30.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal90.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
noodle20.01the noodle programming language (compilers-interpreters, library, program)2011-12-100.0.19JesseRudolph
omega30.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
oplang80.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2024-04-280.5.0.0aionescu
peg40.01a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-160.2DustinDeWeese
pesca30.01Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-204.0.1GwernBranwen, dpeteler, mmhat
pi-forall10.01Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-230.1.1sweirich
piet30.01A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-200.1StephanFriedrichs
pretty-loc90.00Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-190.1.0.1GuerricChupin
risc386150.01Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2023-09-280.0.20230928AndreasAbel
secd50.00A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-120.1.0.0kseo
secdh50.01SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-130.2PeterGavin
shell-monad300.01shell monad (bsd3, compilers-interpreters, library)2022-03-070.6.10JoeyHess
shimmer60.01The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-060.1.3.4BenLippmeier
simple-atom30.01Atom (or symbol) datatype for fast comparision and sorting. (bsd3, compilers-interpreters, data, library, parsing)2011-04-060.2ThomasSchilling
simple-pascal20.01Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-040.1IlyaPortnov
simple-stacked-vm30.02Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-300.1.2IlyaPortnov
soyuz00.01DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-100.0.0AlexKropivny
staticanalysis70.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
swf20.01A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-031.0.1AudreyTang, JeremyShaw
tempus10.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
textmatetags40.01A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-260.0.1.2AlessandroVermeulen
transf100.01Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-190.13.1HansHoglund
unbound20.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unification-fd652.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2024-11-270.12.0.1WrenThornton, WrenRomano
unique-lang00.00Esoteric programming language where each number can only appear once (compilers-interpreters, mit, program)2022-07-290.1.0.0OwenBechtel
unlambda100.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-examples10.01Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-300.1.0.1AtzeDijkstra
uu-cco-hut-parsing30.01Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
uu-cco-uu-parsinglib30.01Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
vintage-basic20.01Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-021.0.3LyleKopnicky
whitespace70.01Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-020.4HaroldLee
yabi72.01Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-220.2.0.0fgaz
zot162.01Zot language (bsd3, compilers-interpreters, program)2016-03-270.0.3YoshikuniJujo