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
Befunge9390.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-20BrandonSimmons
CPBrainfuck110.0A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-06ThomasDavie
CPL150.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-16MasahiroSakai
Delta-Lambda130.0A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-11listofoptions
Fungi220.0Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-16ThomasEding
HARM (deprecated)130.0A simple ARM emulator in haskell (compilers-interpreters, deprecated, library, program)2008-12-06AlexMason
Haschoo (deprecated)200.0Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)2012-05-23MattiNiemenmaa
INblobs160.0Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-19MiguelVilaca
Jikka1230.0A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-25kimiyuki
LambdaShell130.0Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-01RobertDockins
NXTDSL110.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
TinyLaunchbury90.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-20DavidSankel
TypeIlluminator80.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-19GwernBranwen
accelerate1472.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)620.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-31ManuelChakravarty, TrevorMcDonell
accelerate-llvm520.0Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-native450.0Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-ptx512.0Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
alms380.0a practical affine language (bsd3, compilers-interpreters, program)2018-08-17JesseTov
amrun340.0Interpreter for AM (compilers-interpreters, program)2020-01-17DanielSeidel, JanisVoigtlaender, OliverWestphal
angle90.0A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
asic30.0Action Script Instrumentation Compiler (compilers-interpreters, program)2011-03-01ArieMiddelkoop
asil30.0Action Script Instrumentation Library (compilers-interpreters, library)2011-03-01ArieMiddelkoop
atuin70.0Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-17EdwinBrady
baskell160.0An interpreter for a small functional language (compilers-interpreters, program)2009-01-18GwernBranwen
bound2262.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2021-02-05EdwardKmett, EricMertens, ryanglscott
bound-gen170.0Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)2015-03-27jozefg
brainfuck400.0Brainfuck interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
brainfuck-monad280.0BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
cfipu50.0cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-02ByronJohnson
cfopu (deprecated in favor of cfipu)70.0cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-12ByronJohnson
cnc-spec-compiler100.0Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-12RyanNewton
compilation130.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
core-haskell260.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
dcpu16110.0DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-12anatolat
ddc-base (deprecated in favor of ddc-core)390.0Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-30BenLippmeier
ddc-build (deprecated)290.0Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier, amosrobinson
ddc-code (deprecated)300.0Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core (deprecated)300.0Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-babel (deprecated)110.0Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-eval (deprecated)330.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-core-flow (deprecated)160.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-llvm (deprecated)240.0Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-salt (deprecated)220.0Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-simpl (deprecated)450.0Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-tetra (deprecated)220.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-driver (deprecated)470.0Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-interface (deprecated)130.0Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-source-tetra (deprecated)200.0Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-tools (deprecated)260.0Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-06BenLippmeier
ddc-war (deprecated)100.0Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-31BenLippmeier
ddci-core (deprecated)160.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-24BenLippmeier
dedukti400.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-08MathieuBoespflug
egison7132.0Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2020-10-26SatoshiEgi, momohatt
egison-tutorial1580.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2020-06-07SatoshiEgi, momohatt
epic380.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-28AndreasAbel, EdwinBrady
exploring-interpreters1090.0A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2021-10-01DamianFrolich
fst180.0Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-29GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple110.0A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-14ltvanbinsbergen
funcons-tools450.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2021-06-26ltvanbinsbergen
funcons-values250.0Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-26ltvanbinsbergen
ghci-haskeline170.0An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-01JudahJacobson
ghclive130.0Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-20ShaeErisson
glambda162.0A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-27RichardEisenberg
graph-rewriting-lambdascope190.0Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ski530.0Two evalutors of the SKI combinator calculus as interactive graph rewrite systems (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-trs310.0Evaluate first-order applicative term rewrite systems interactively using graph reduction (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ww210.0Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
gulcii90.0graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-23ClaudeHeilandAllen
hLLVM70.0A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-15NingWang
haskeem210.0A small scheme interpreter (compilers-interpreters, program)2010-01-19UweHollerbach
helisp20.0An incomplete Elisp compiler (bsd3, compilers-interpreters, program)2008-04-07GwernBranwen
hiccup100.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-25KyleConsalus
hint3162.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2021-03-13gelisam, mvdan
hint-server270.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)60.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-06
hjs40.0JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-03GwernBranwen, MarkWassell
hoe60.0hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-24HideyukiTanaka
hoopl1012.0A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-29AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme1682.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs70.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hybrid20.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-04GwernBranwen
hyper-haskell-server190.0Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2020-11-13HeinrichApfelmus
hypertypes100.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
idris3932.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-22EdwinBrady, niklasl
intcode92.0Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-19EricMertens
lambda-ast100.0Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-24JonathanFischoff
lambdacube60.0A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-25LennartAugustsson
language-dickinson542.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)1501.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)240.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-28BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util80.0Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-17PaulMeng
llvm-dsl60.0Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
llvm-extension70.0Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-05HenningThielemann
llvm-extra790.0Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-04-13HenningThielemann
llvm-ffi3282.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2021-10-16HenningThielemann
llvm-ffi-tools100.0Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2018-09-01HenningThielemann
llvm-general2762.25General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-pure1052.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-quote90.0QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-14TvH
llvm-hs1302.75General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-28cocreature, andrew_wja
llvm-hs-pure1272.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)20.0Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)2010-09-21HenningThielemann
llvm-tf4200.0Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2021-10-16HenningThielemann
lvmlib30.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-02JurriaanHage
lvmrun20.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-02JurriaanHage
mappy300.0A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-18mjgpy3
nom90.0Name-binding & alpha-equivalence (bsd3, compilers-interpreters, language, library)2020-08-10gabbay
nominal100.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2018-11-10PeterSelinger
noodle80.0the noodle programming language (compilers-interpreters, library, program)2011-12-10JesseRudolph
omega80.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
peg30.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
pesca70.0Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-20GwernBranwen, dpeteler
pi-forall70.0Demo implementation of typechecker for dependently-typed language (bsd3, compilers-interpreters, library, program)2016-08-23sweirich
piet10.0A Piet interpreter (bsd3, compilers-interpreters, library, program)2009-01-20StephanFriedrichs
pretty-loc150.0Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-19GuerricChupin
risc38690.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2021-08-12AndreasAbel
secd70.0A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-12kseo
secdh40.0SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-13PeterGavin
shell-monad510.0shell monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
shimmer210.0The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-06BenLippmeier
simple-atom140.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-vm120.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-30IlyaPortnov
soyuz70.0DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-10AlexKropivny
staticanalysis40.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
swf30.0A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-03AudreyTang, JeremyShaw
tempus60.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
textmatetags80.0A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-26AlessandroVermeulen
transf160.0Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-19HansHoglund
unbound780.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unification-fd1192.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
unlambda510.0Unlambda interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
uu-cco240.0Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-08AtzeDijkstra
uu-cco-examples100.0Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-30AtzeDijkstra
uu-cco-hut-parsing90.0Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
uu-cco-uu-parsinglib100.0Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
vintage-basic140.0Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-02LyleKopnicky
wasm72.25WebAssembly Language Toolkit and Interpreter (compilers-interpreters, library, mit, program)2018-06-20irezvov
whitespace110.0Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-02HaroldLee
yabi92.0Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-22fgaz
zot62.0Zot language (bsd3, compilers-interpreters, program)2016-03-27YoshikuniJujo