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
Befunge93130.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-20BrandonSimmons
CPBrainfuck150.0A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-06ThomasDavie
CPL210.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-16MasahiroSakai
Delta-Lambda170.0A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-11listofoptions
Fungi310.0Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-16ThomasEding
HARM (deprecated)190.0A simple ARM emulator in haskell (compilers-interpreters, deprecated, library, program)2008-12-06AlexMason
Haschoo (deprecated)210.0Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)2012-05-23MattiNiemenmaa
INblobs130.0Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-19MiguelVilaca
Jikka1300.0A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-04kimiyuki
LambdaShell230.0Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-01RobertDockins
NXTDSL190.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
TinyLaunchbury130.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-20DavidSankel
TypeIlluminator110.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-19GwernBranwen
accelerate1552.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)410.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-31ManuelChakravarty, TrevorMcDonell
accelerate-llvm630.0Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-native540.0Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-ptx482.0Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
alms460.0a practical affine language (bsd3, compilers-interpreters, program)2018-08-17JesseTov
amrun380.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
asic70.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
bound5742.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2021-02-05EdwardKmett, EricMertens, ryanglscott
bound-gen150.0Unwrap Scope's with globally fresh values (compilers-interpreters, library, mit)2015-03-27jozefg
brainfuck410.0Brainfuck interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
brainfuck-monad150.0BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
cfipu100.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-compiler90.0Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-12RyanNewton
compilation80.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
core-haskell170.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
dcpu16100.0DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-12anatolat
ddc-base (deprecated in favor of ddc-core)160.0Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-30BenLippmeier
ddc-build (deprecated)140.0Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier, amosrobinson
ddc-code (deprecated)130.0Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core (deprecated)220.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)80.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-core-flow (deprecated)80.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-llvm (deprecated)100.0Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-salt (deprecated)80.0Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-simpl (deprecated)80.0Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-tetra (deprecated)80.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-driver (deprecated)260.0Disciplined Disciple Compiler top-level driver. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-interface (deprecated)90.0Disciplined Disciple Compiler user interface support. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-source-tetra (deprecated)120.0Disciplined Disciple Compiler source language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-tools (deprecated)100.0Disciplined Disciple Compiler command line tools. (compilers-interpreters, deprecated, mit, program)2016-09-06BenLippmeier
ddc-war (deprecated)70.0Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-31BenLippmeier
ddci-core (deprecated)70.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-24BenLippmeier
dedukti150.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-08MathieuBoespflug
egison3182.0Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2020-10-26SatoshiEgi, momohatt
egison-tutorial240.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2020-06-07SatoshiEgi, momohatt
epic200.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-28AndreasAbel, EdwinBrady
exploring-interpreters60.0A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2021-06-29DamianFrolich
fst130.0Finite state transducers (bsd3, compilers-interpreters, library, program)2015-04-29GwernBranwen, JohnCamilleri, ThomasHallgren
funcons-simple90.0A modular interpreter for executing SIMPLE funcons (compilers-interpreters, mit, program)2018-12-14ltvanbinsbergen
funcons-tools100.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2021-06-26ltvanbinsbergen
funcons-values80.0Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-26ltvanbinsbergen
ghci-haskeline100.0An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-01JudahJacobson
ghclive70.0Interactive Haskell interpreter in a browser. (application, bsd3, compilers-interpreters, library, program, web)2012-08-20ShaeErisson
glambda142.0A simply typed lambda calculus interpreter, written with GADTs (bsd3, compilers-interpreters, library, program)2017-11-27RichardEisenberg
graph-rewriting-lambdascope110.0Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ski130.0Two evalutors of the SKI combinator calculus as interactive graph rewrite systems (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-trs130.0Evaluate first-order applicative term rewrite systems interactively using graph reduction (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ww180.0Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
gulcii50.0graphical untyped lambda calculus interactive interpreter (compilers-interpreters, gpl, program)2017-10-23ClaudeHeilandAllen
hLLVM100.0A library for analyzing and transforming LLVM (3.5) assembly codes (bsd3, compilers-interpreters, library, program)2015-04-15NingWang
haskeem80.0A small scheme interpreter (compilers-interpreters, program)2010-01-19UweHollerbach
helisp50.0An incomplete Elisp compiler (bsd3, compilers-interpreters, program)2008-04-07GwernBranwen
hiccup90.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-25KyleConsalus
hint3572.5Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, language, library)2021-03-13gelisam, mvdan
hint-server160.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)70.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
hoe70.0hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-24HideyukiTanaka
hoopl292.0A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-29AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme842.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs80.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hybrid40.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-04GwernBranwen
hyper-haskell-server150.0Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2020-11-13HeinrichApfelmus
hypertypes70.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
idris762.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2020-05-23EdwinBrady, niklasl
intcode72.0Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-19EricMertens
lambda-ast110.0Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-24JonathanFischoff
lambdacube90.0A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-25LennartAugustsson
language-dickinson172.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)391.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)160.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-28BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util70.0Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-17PaulMeng
llvm-dsl30.0Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
llvm-extension40.0Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-05HenningThielemann
llvm-extra520.0Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-04-13HenningThielemann
llvm-ffi392.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
llvm-ffi-tools80.0Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2018-09-01HenningThielemann
llvm-general1402.25General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-pure242.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-quote50.0QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-14TvH
llvm-hs1202.75General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-28cocreature, andrew_wja
llvm-hs-pure962.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)50.0Bindings to the LLVM compiler toolkit with some custom extensions. (bsd3, code-generation, compilers-interpreters, deprecated, library)2010-09-21HenningThielemann
llvm-tf590.0Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
lvmlib50.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-02JurriaanHage
lvmrun80.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-02JurriaanHage
mappy130.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
nominal90.0Binders and alpha-equivalence made easy (compilers-interpreters, generics, gpl, language, library)2018-11-10PeterSelinger
noodle110.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
peg70.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
pesca60.0Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-20GwernBranwen, dpeteler
pi-forall80.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-loc80.0Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-19GuerricChupin
risc386100.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2021-08-12AndreasAbel
secd60.0A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-12kseo
secdh60.0SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-13PeterGavin
shell-monad380.0shell monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
shimmer200.0The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-06BenLippmeier
simple-atom80.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-vm80.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-30IlyaPortnov
soyuz60.0DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-10AlexKropivny
staticanalysis50.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
swf50.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
textmatetags70.0A simple Haskell program to provide tags for Haskell code completion in TextMate (compilers-interpreters, mit, program)2011-03-26AlessandroVermeulen
transf170.0Text transformer and interpreter. (bsd3, compilers-interpreters, library, program, text)2014-08-19HansHoglund
unbound380.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unification-fd772.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
unlambda350.0Unlambda interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
uu-cco110.0Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-08AtzeDijkstra
uu-cco-examples80.0Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-30AtzeDijkstra
uu-cco-hut-parsing70.0Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
uu-cco-uu-parsinglib70.0Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
vintage-basic120.0Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-02LyleKopnicky
wasm32.25WebAssembly Language Toolkit and Interpreter (compilers-interpreters, library, mit, program)2018-06-20irezvov
whitespace120.0Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-02HaroldLee
yabi112.0Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-22fgaz
zot132.0Zot language (bsd3, compilers-interpreters, program)2016-03-27YoshikuniJujo