Packages tagged compilers-interpreters

142 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (93), bsd3 (87), program (81), mit (31), deprecated (25), language (18), code-generation (15), data (7), concurrency (6), gpl (6), parallelism (6), application (5), accelerate (4), text (3), algorithms (2), generics (2), languages (2), logic (2), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Befunge93110.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-20BrandonSimmons
CPBrainfuck140.0A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-06ThomasDavie
CPL170.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-16MasahiroSakai
Delta-Lambda220.0A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-11listofoptions
Fungi360.0Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-16ThomasEding
HARM (deprecated)110.0A simple ARM emulator in haskell (compilers-interpreters, deprecated, library, program)2008-12-06AlexMason
Haschoo (deprecated)230.0Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)2012-05-23MattiNiemenmaa
INblobs140.0Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-19MiguelVilaca
Jikka150.0A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-25kimiyuki
LambdaShell180.0Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-01RobertDockins
NXTDSL80.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
TinyLaunchbury120.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-20DavidSankel
TypeIlluminator100.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-19GwernBranwen
accelerate1702.5An embedded language for accelerated array processing (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28ManuelChakravarty, TrevorMcDonell
accelerate-cuda (deprecated in favor of accelerate-llvm-ptx)840.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-31ManuelChakravarty, TrevorMcDonell
accelerate-llvm500.0Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-native290.0Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-ptx492.0Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
alms370.0a practical affine language (bsd3, compilers-interpreters, program)2018-08-17JesseTov
amrun390.0Interpreter for AM (compilers-interpreters, program)2020-01-17DanielSeidel, JanisVoigtlaender, OliverWestphal
angle110.0A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
asic60.0Action Script Instrumentation Compiler (compilers-interpreters, program)2011-03-01ArieMiddelkoop
asil60.0Action Script Instrumentation Library (compilers-interpreters, library)2011-03-01ArieMiddelkoop
atuin100.0Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-17EdwinBrady
baskell140.0An interpreter for a small functional language (compilers-interpreters, program)2009-01-18GwernBranwen
bound10502.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2021-11-07EdwardKmett, EricMertens, ryanglscott
bound-gen190.0Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)2015-03-27jozefg
brainfuck460.0Brainfuck interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
brainfuck-monad310.0BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
cfipu90.0cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-02ByronJohnson
cfopu (deprecated in favor of cfipu)90.0cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-12ByronJohnson
cnc-spec-compiler160.0Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-12RyanNewton
compilation160.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
core-haskell310.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
dcpu16180.0DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-12anatolat
ddc-base (deprecated in favor of ddc-core)470.0Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-30BenLippmeier
ddc-build (deprecated)400.0Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier, amosrobinson
ddc-code (deprecated)390.0Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core (deprecated)380.0Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-babel (deprecated)130.0Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-eval (deprecated)340.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-core-flow (deprecated)230.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-llvm (deprecated)290.0Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-salt (deprecated)330.0Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-simpl (deprecated)510.0Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-tetra (deprecated)210.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-driver (deprecated)480.0Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-interface (deprecated)170.0Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-source-tetra (deprecated)240.0Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-tools (deprecated)350.0Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-06BenLippmeier
ddc-war (deprecated)110.0Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-31BenLippmeier
ddci-core (deprecated)210.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-24BenLippmeier
dedukti490.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-08MathieuBoespflug
egison9582.0Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2020-10-26SatoshiEgi, momohatt
egison-tutorial1870.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2020-06-07SatoshiEgi, momohatt
epic370.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-28AndreasAbel, EdwinBrady
exploring-interpreters1070.0A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2021-11-18DamianFrolich
fst170.0Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-29GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple150.0A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-14ltvanbinsbergen
funcons-tools520.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2021-06-26ltvanbinsbergen
funcons-values290.0Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-26ltvanbinsbergen
ghci-haskeline180.0An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-01JudahJacobson
ghclive170.0Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-20ShaeErisson
glambda212.0A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-27RichardEisenberg
graph-rewriting-lambdascope250.0Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ski820.0Two evalutors of the SKI combinator calculus as interactive graph rewrite systems (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-trs530.0Evaluate first-order applicative term rewrite systems interactively using graph reduction (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ww450.0Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
gulcii150.0graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-23ClaudeHeilandAllen
hLLVM130.0A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-15NingWang
haskeem410.0A small scheme interpreter (compilers-interpreters, program)2010-01-19UweHollerbach
helisp50.0An incomplete Elisp compiler (bsd3, compilers-interpreters, program)2008-04-07GwernBranwen
hiccup140.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-25KyleConsalus
hint8642.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2021-11-19gelisam, mvdan
hint-server580.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)100.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-06
hjs70.0JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-03GwernBranwen, MarkWassell
hoe90.0hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-24HideyukiTanaka
hoopl1392.0A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-29AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme2712.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs110.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hybrid50.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-04GwernBranwen
hyper-haskell-server300.0Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2020-11-13HeinrichApfelmus
hypertypes160.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
idris3952.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-22EdwinBrady, niklasl
intcode172.0Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-19EricMertens
lambda-ast150.0Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-24JonathanFischoff
lambdacube140.0A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-25LennartAugustsson
language-dickinson1132.0A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2020-12-04vmchale
llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf)1991.5Bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-28BenjaminSaunders, BryanOSullivan, CarterSchonwald, LennartAugustsson
llvm-base (deprecated in favor of llvm-general)310.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-28BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util110.0Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-17PaulMeng
llvm-dsl80.0Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
llvm-extension90.0Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-05HenningThielemann
llvm-extra1440.0Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-04-13HenningThielemann
llvm-ffi1052.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2021-10-30HenningThielemann
llvm-ffi-tools350.0Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2018-09-01HenningThielemann
llvm-general5252.25General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-pure2392.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-quote150.0QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-14TvH
llvm-hs1682.75General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-28cocreature, andrew_wja
llvm-hs-pure1382.5Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2019-09-06cocreature, andrew_wja
llvm-ht (deprecated in favor of llvm-tf, llvm-ffi)80.0Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)2010-09-21HenningThielemann
llvm-tf1600.0Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2021-10-30HenningThielemann
lvmlib80.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-02JurriaanHage
lvmrun50.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-02JurriaanHage
mappy450.0A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-18mjgpy3
nom120.0Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-10gabbay
nominal190.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2018-11-10PeterSelinger
noodle150.0the noodle programming language (compilers-interpreters, library, program)2011-12-10JesseRudolph
omega130.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
peg70.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
pesca120.0Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-20GwernBranwen, dpeteler
pi-forall90.0Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-23sweirich
piet50.0A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-20StephanFriedrichs
pretty-loc160.0Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-19GuerricChupin
risc386210.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2021-08-12AndreasAbel
secd100.0A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-12kseo
secdh80.0SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-13PeterGavin
shell-monad930.0shell monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
shimmer350.0The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-06BenLippmeier
simple-atom160.0Atom (or symbol) datatype for fast comparision and sorting. (bsd3, compilers-interpreters, data, library, parsing)2011-04-06ThomasSchilling
simple-pascal90.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-04IlyaPortnov
simple-stacked-vm180.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-30IlyaPortnov
soyuz90.0DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-10AlexKropivny
staticanalysis70.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
swf90.0A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-03AudreyTang, JeremyShaw
tempus110.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
textmatetags180.0A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-26AlessandroVermeulen
transf270.0Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-19HansHoglund
unbound970.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unification-fd1102.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
unlambda570.0Unlambda interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
uu-cco280.0Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-08AtzeDijkstra
uu-cco-examples140.0Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-30AtzeDijkstra
uu-cco-hut-parsing150.0Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
uu-cco-uu-parsinglib160.0Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
vintage-basic210.0Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-02LyleKopnicky
wasm92.25WebAssembly Language Toolkit and Interpreter (compilers-interpreters, library, mit, program)2018-06-20irezvov
whitespace160.0Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-02HaroldLee
yabi162.0Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-22fgaz
zot62.0Zot language (bsd3, compilers-interpreters, program)2016-03-27YoshikuniJujo