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
Befunge9360.01An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-200.1BrandonSimmons
CPBrainfuck80.01A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-061.1ThomasDavie
CPL250.01An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-160.0.9MasahiroSakai
Delta-Lambda140.01A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-110.3.0.0listofoptions
Fungi280.01Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-161.0.6ThomasEding
HARM (deprecated)180.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
INblobs80.01Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-190.1.1MiguelVilaca
Jikka330.00A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-255.6.0.0kimiyuki
LambdaShell130.01Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-010.9.3RobertDockins
NXTDSL100.01Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-310.4AlexanderThiemann
TinyLaunchbury110.01Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-201.0.1DavidSankel
TypeIlluminator50.01TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-190.0GwernBranwen
accelerate1022.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)540.08Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-310.17.0.0ManuelChakravarty, TrevorMcDonell
accelerate-llvm300.06Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-native320.05Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
accelerate-llvm-ptx322.05Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-281.3.0.0TrevorMcDonell
alms510.01a practical affine language (bsd3, compilers-interpreters, program)2018-08-170.6.9JesseTov
amrun300.01Interpreter for AM (compilers-interpreters, program)2020-01-170.0.0.7DanielSeidel, JanisVoigtlaender, OliverWestphal
angle60.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
baskell100.01An interpreter for a small functional language (compilers-interpreters, program)2009-01-180.1.1GwernBranwen
bound1832.59Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2023-08-062.0.7EdwardKmett, EricMertens, ryanglscott
bound-gen170.01Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)2015-03-270.1.0.2jozefg
brainfuck340.03Brainfuck interpreter (compilers-interpreters, library, program)2023-11-150.1.0.4GwernBranwen, abbradar, ncfavier
brainfuck-monad310.01BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-260.5.2JoeyHess
cfipu50.01cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-021.1.0.4ByronJohnson
cfopu (deprecated in favor of cfipu)100.01cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-121.0.0ByronJohnson
cnc-spec-compiler80.01Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-120.2.0.1RyanNewton
compilation110.02Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
core-haskell200.01A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-130.6.4happlebao
dcpu16110.00DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-120.1.0.2anatolat
ddc-base (deprecated in favor of ddc-core)330.014Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-300.4.2.1BenLippmeier
ddc-build (deprecated)300.02Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier, amosrobinson
ddc-code (deprecated)250.01Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.2BenLippmeier
ddc-core (deprecated)380.012Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-babel (deprecated)90.01Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-eval (deprecated)200.03Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-310.4.1.3BenLippmeier
ddc-core-flow (deprecated)200.04Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-llvm (deprecated)240.03Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-salt (deprecated)240.07Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-simpl (deprecated)330.07Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-core-tetra (deprecated)190.06Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-driver (deprecated)310.01Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-interface (deprecated)120.02Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)2014-10-310.4.1.3BenLippmeier
ddc-source-tetra (deprecated)140.03Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-060.4.3.1BenLippmeier
ddc-tools (deprecated)290.01Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-060.4.3.1BenLippmeier
ddc-war (deprecated)120.01Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-310.4.1.3BenLippmeier
ddci-core (deprecated)170.01Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-240.2.1.2BenLippmeier
dedukti220.01A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-081.1.4MathieuBoespflug
egison5832.02Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
egison-tutorial1170.01A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2021-12-184.1.3SatoshiEgi, momohatt
epic370.03Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-280.9.3.3AndreasAbel, EdwinBrady
exploring-interpreters470.01A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2024-01-191.5.0.0ltvanbinsbergen, DamianFrolich
fst160.02Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-290.10.0.1GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple110.01A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-140.1.0.7ltvanbinsbergen
funcons-tools382.00A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2023-04-170.2.0.15ltvanbinsbergen
funcons-values210.01Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-260.1.0.9ltvanbinsbergen
ghci-haskeline100.01An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-010.2JudahJacobson
ghclive130.01Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-200.1.0.2ShaeErisson
glambda182.00A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-271.0.2RichardEisenberg
graph-rewriting-lambdascope810.01Lambdascope, an optimal evaluator of the lambda calculus (application, bsd3, compilers-interpreters, program)2024-03-180.5.11JanRochel
graph-rewriting-ski790.01Two interactive evalutors of the SKI combinator calculus (application, bsd3, compilers-interpreters, program)2024-03-180.6.8JanRochel
graph-rewriting-trs470.01Interactive evaluation of first-order applicative term rewrite systems (application, bsd3, compilers-interpreters, program)2024-03-180.1.10JanRochel
graph-rewriting-ww460.01Interactive evaluator of the lambda-calculus with explicit sharing (application, bsd3, compilers-interpreters, program)2024-03-180.3.8JanRochel
gulcii110.01graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-230.3ClaudeHeilandAllen
hLLVM110.01A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-150.5.0.1NingWang
haskeem270.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
heystone50.01Haskell bindings for the Keystone assembler framework (assembler, bindings, compilers-interpreters, gpl, library)2022-07-080.1.0raehik
hiccup160.01Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-250.40KyleConsalus
hint2252.539A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2023-10-140.9.0.8gelisam, mvdan
hint-server430.05A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-271.4.3CorentinDupont, FernandoBenavides
hinter (deprecated)60.01Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-060.1.0.0
hjs120.01JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-030.2.1GwernBranwen, MarkWassell
hoe190.01hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-241.1.0HideyukiTanaka
hoopl842.259A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-293.10.2.2AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme2162.03R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-043.20JustinEthier
husk-scheme-libs140.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-server300.01Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2024-02-100.2.3.1HeinrichApfelmus
hypertypes210.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2023-07-250.2.2YairChuchem
idris2842.251Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-221.3.4EdwinBrady, niklasl
intcode112.00Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-190.3.0.0EricMertens
koneko50.00a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-120.0.2obfusk
lambda90.00Interpreters for lambda calculus, calculus of constructions, and more (compilers-interpreters, mit, program)2022-07-280.1.0.0OwenBechtel
lambda-ast130.02Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-240.0.12JonathanFischoff
lambdacube90.01A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-252008.12.25LennartAugustsson
language-dickinson792.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)1561.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)230.04FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-283.2.0.2BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util60.01Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-173.0.1.0PaulMeng
llvm-dsl240.02Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2024-04-090.1.2HenningThielemann
llvm-extension50.00Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-050.0HenningThielemann
llvm-extra1140.07Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2024-04-040.12.0.1HenningThielemann
llvm-ffi1012.02FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
llvm-ffi-tools130.01Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2023-09-240.0.1HenningThielemann
llvm-general2792.254General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.2BenjaminScarlet
llvm-general-pure1772.07Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-113.5.1.0BenjaminScarlet
llvm-general-quote100.01QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-140.2.0.0TvH
llvm-hs1022.753General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-289.0.1cocreature, andrew_wja
llvm-hs-pure722.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-party100.00General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2023-06-2712.1.1Jappie, mangoiv
llvm-tf1310.08Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2023-10-0816.0HenningThielemann
lvmlib80.02The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-021.1JurriaanHage
lvmrun110.01The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-021.0JurriaanHage
mappy260.00A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-180.1.3.1mjgpy3
nom150.00Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-100.1.0.2gabbay
nominal170.01Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2022-11-160.3.0.0PeterSelinger
noodle80.01the noodle programming language (compilers-interpreters, library, program)2011-12-100.0.19JesseRudolph
omega110.01A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-211.5.2GaborGreif
oplang220.00Stack-based esoteric programming language (compilers-interpreters, gpl, language, program)2023-12-280.4.0.1aionescu
peg90.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-forall60.01Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-230.1.1sweirich
piet60.01A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-200.1StephanFriedrichs
pretty-loc150.00Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-190.1.0.1GuerricChupin
risc386360.01Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2023-09-280.0.20230928AndreasAbel
secd120.00A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-120.1.0.0kseo
secdh120.01SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-130.2PeterGavin
shell-monad730.01shell monad (bsd3, compilers-interpreters, library)2022-03-070.6.10JoeyHess
shimmer270.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-pascal60.01Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-040.1IlyaPortnov
simple-stacked-vm130.02Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-300.1.2IlyaPortnov
soyuz60.01DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-100.0.0AlexKropivny
staticanalysis150.02Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-200.0.0.3AndreiLapets
swf100.01A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-031.0.1AudreyTang, JeremyShaw
tempus40.01Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-310.1.0MatthiasReisner
textmatetags130.01A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-260.0.1.2AlessandroVermeulen
transf270.01Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-190.13.1HansHoglund
unbound820.03Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-150.5.1.1BrentYorgey, sweirich
unification-fd682.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano
unique-lang60.00Esoteric programming language where each number can only appear once (compilers-interpreters, mit, program)2022-07-290.1.0.0OwenBechtel
unlambda380.03Unlambda interpreter (compilers-interpreters, library, program)2016-06-050.1.4.2GwernBranwen, abbradar, ncfavier
uu-cco180.03Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-080.1.0.5AtzeDijkstra
uu-cco-examples90.01Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-300.1.0.1AtzeDijkstra
uu-cco-hut-parsing100.01Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
uu-cco-uu-parsinglib90.01Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-300.1.0.1AtzeDijkstra
vintage-basic160.01Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-021.0.3LyleKopnicky
whitespace110.01Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-020.4HaroldLee
yabi172.01Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-220.2.0.0fgaz
zot172.01Zot language (bsd3, compilers-interpreters, program)2016-03-270.0.3YoshikuniJujo