Packages tagged compilers-interpreters

146 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (94), bsd3 (87), program (84), mit (32), deprecated (25), language (19), code-generation (15), 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
Description
Tags
Last U/L
Maintainer
Befunge9330.0An interpreter for the Befunge-93 Programming Language (bsd3, compilers-interpreters, program)2010-05-20BrandonSimmons
CPBrainfuck70.0A simple Brainfuck interpretter. (bsd3, compilers-interpreters, program)2008-11-06ThomasDavie
CPL130.0An interpreter of Hagino's Categorical Programming Language (CPL). (bsd3, compilers-interpreters, program)2018-02-16MasahiroSakai
Delta-Lambda40.0A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) (compilers-interpreters, mit, program)2017-05-11listofoptions
Fungi100.0Funge-98 interpreter written in Haskell (bsd3, compilers-interpreters, program)2015-02-16ThomasEding
HARM (deprecated)70.0A simple ARM emulator in haskell (compilers-interpreters, deprecated, library, program)2008-12-06AlexMason
Haschoo (deprecated)60.0Minimalist R5RS Scheme interpreter (bsd3, compilers-interpreters, deprecated, program)2012-05-23MattiNiemenmaa
INblobs50.0Editor and interpreter for Interaction Nets (compilers-interpreters, program)2008-06-19MiguelVilaca
Jikka100.0A transpiler from Python to C++ for competitive programming (compilers-interpreters, library, program)2021-09-25kimiyuki
LambdaShell50.0Simple shell for evaluating lambda expressions (compilers-interpreters, program)2014-06-01RobertDockins
NXTDSL50.0Generate NXC Code from DSL (bsd3, compilers-interpreters, language, library, program)2013-08-31AlexanderThiemann
TinyLaunchbury20.0Simple implementation of call-by-need using Launchbury's semantics (bsd3, compilers-interpreters, library)2011-06-20DavidSankel
TypeIlluminator40.0TypeIlluminator is a prototype tool exploring debugging of type errors/ (bsd3, compilers-interpreters, program)2008-02-19GwernBranwen
accelerate982.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)210.0Accelerate backend for NVIDIA GPUs (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism)2017-03-31ManuelChakravarty, TrevorMcDonell
accelerate-llvm280.0Accelerate backend component generating LLVM IR (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-native340.0Accelerate backend for multicore CPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
accelerate-llvm-ptx382.0Accelerate backend for NVIDIA GPUs (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism)2020-08-28TrevorMcDonell
alms220.0a practical affine language (bsd3, compilers-interpreters, program)2018-08-17JesseTov
amrun140.0Interpreter for AM (compilers-interpreters, program)2020-01-17DanielSeidel, JanisVoigtlaender, OliverWestphal
angle20.0A small, general-purpose programming language. (compilers-interpreters, gpl, library, program)2016-08-19GuiltyDolphin
asic20.0Action Script Instrumentation Compiler (compilers-interpreters, program)2011-03-01ArieMiddelkoop
asil10.0Action Script Instrumentation Library (compilers-interpreters, library)2011-03-01ArieMiddelkoop
atuin30.0Embedded Turtle language compiler in Haskell, with Epic output (bsd3, compilers-interpreters, program)2010-12-17EdwinBrady
baskell60.0An interpreter for a small functional language (compilers-interpreters, program)2009-01-18GwernBranwen
bound1242.5Making de Bruijn Succ Less (bsd3, compilers-interpreters, language, library)2022-05-08EdwardKmett, EricMertens, ryanglscott
bound-gen100.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-monad220.0BrainFuck monad (bsd3, compilers-interpreters, library)2020-02-26JoeyHess
cfipu20.0cfipu processor for toy brainfuck-like language (bsd3, compilers-interpreters, program)2014-12-02ByronJohnson
cfopu (deprecated in favor of cfipu)40.0cfopu processor (bsd3, compilers-interpreters, deprecated, program)2010-07-12ByronJohnson
cnc-spec-compiler60.0Compiler/Translator for CnC Specification Files. (bsd3, compilers-interpreters, parallelism, program)2011-08-12RyanNewton
compilation70.0Haskell functionality for quickly assembling simple compilers. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
core-haskell120.0A subset of Haskell using in UCC for teaching purpose (bsd3, compilers-interpreters, language, program)2014-03-13happlebao
dcpu16120.0DCPU-16 Emulator & Assembler (bsd3, compilers-interpreters, library, program)2017-01-12anatolat
ddc-base (deprecated in favor of ddc-core)220.0Disciplined Disciple Compiler common utilities. (compilers-interpreters, deprecated, library, mit)2016-04-30BenLippmeier
ddc-build (deprecated)200.0Disciplined Disciple Compiler build framework. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier, amosrobinson
ddc-code (deprecated)150.0Disciplined Disciple Compiler base libraries. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core (deprecated)310.0Disciplined Disciple Compiler core language and type checker. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-babel (deprecated)70.0Disciplined Disciple Compiler PHP code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-eval (deprecated)180.0Disciplined Disciple Compiler semantic evaluator for the core language. (compilers-interpreters, deprecated, library, mit)2014-10-31BenLippmeier
ddc-core-flow (deprecated)170.0Disciplined Disciple Compiler data flow compiler. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-llvm (deprecated)170.0Disciplined Disciple Compiler LLVM code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-salt (deprecated)170.0Disciplined Disciple Compiler C code generator. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-simpl (deprecated)230.0Disciplined Disciple Compiler code transformations. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-core-tetra (deprecated)120.0Disciplined Disciple Compiler intermediate language. (compilers-interpreters, deprecated, library, mit)2016-09-06BenLippmeier
ddc-driver (deprecated)220.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)100.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)60.0Disciplined Disciple Compiler test driver and buildbot. (compilers-interpreters, deprecated, mit, program)2014-10-31BenLippmeier
ddci-core (deprecated)110.0Disciple Core language interactive interpreter. (compilers-interpreters, deprecated, mit, program)2012-10-24BenLippmeier
dedukti200.0A type-checker for the λΠ-modulo calculus. (compilers-interpreters, library, program, theorem-provers)2011-04-08MathieuBoespflug
egison5602.0Programming language with non-linear pattern-matching against non-free data (compilers-interpreters, library, mit, program)2021-12-18SatoshiEgi, momohatt
egison-tutorial1060.0A tutorial program for the Egison programming language (compilers-interpreters, mit, program)2021-12-18SatoshiEgi, momohatt
epic400.0Compiler for a simple functional language (bsd3, compilers-interpreters, library, program)2015-03-28AndreasAbel, EdwinBrady
exploring-interpreters380.0A generic exploring interpreter for exploratory programming (bsd3, compilers-interpreters, library)2022-12-01ltvanbinsbergen, DamianFrolich
fst160.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-tools250.0A modular interpreter for executing funcons (compilers-interpreters, library, mit, program)2021-06-26ltvanbinsbergen
funcons-values180.0Library providing values and operations on values in a fixed universe. (compilers-interpreters, library, mit)2021-06-26ltvanbinsbergen
ghci-haskeline110.0An implementation of ghci using the Haskeline line-input library. (bsd3, compilers-interpreters, program)2010-04-01JudahJacobson
ghclive110.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-lambdascope600.0Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ski650.0Two evalutors of the SKI combinator calculus as interactive graph rewrite systems (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-trs380.0Evaluate first-order applicative term rewrite systems interactively using graph reduction (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
graph-rewriting-ww300.0Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing (application, bsd3, compilers-interpreters, program)2017-05-23JanRochel
gulcii70.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
haskeem230.0A small scheme interpreter (compilers-interpreters, program)2010-01-19UweHollerbach
helisp30.0An incomplete Elisp compiler (bsd3, compilers-interpreters, program)2008-04-07GwernBranwen
heystone20.0Haskell bindings for the Keystone assembler framework (assembler, bindings, compilers-interpreters, gpl, library)2022-07-08raehik
hiccup50.0Relatively efficient Tcl interpreter with support for basic operations (compilers-interpreters, program)2008-03-25KyleConsalus
hint2302.5A Haskell interpreter built on top of the GHC API (bsd3, compilers-interpreters, language, library)2022-03-30gelisam, mvdan
hint-server140.0A server process that runs hint. (bsd3, compilers-interpreters, concurrency, language, library)2016-11-27CorentinDupont, FernandoBenavides
hinter (deprecated)10.0Runtime Haskell interpreter (GHC API wrapper) (bsd3, compilers-interpreters, deprecated, language, library)2018-05-06
hjs30.0JavaScript Parser (bsd3, compilers-interpreters, library, program)2008-04-03GwernBranwen, MarkWassell
hoe40.0hoe: Haskell One-liner Evaluator (bsd3, compilers-interpreters, program)2015-06-24HideyukiTanaka
hoopl412.25A library to support dataflow analysis and optimization (bsd3, compilers-interpreters, library)2017-10-29AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey
husk-scheme822.0R5RS Scheme interpreter, compiler, and library. (compilers-interpreters, language, library, mit, program)2021-02-04JustinEthier
husk-scheme-libs10.0Extra libraries for the husk Scheme platform. (compilers-interpreters, language, library, mit)2012-06-13JustinEthier
hybrid10.0A implementation of a type-checker for Lambda-H (bsd3, compilers-interpreters, program)2008-03-04GwernBranwen
hyper-haskell-server80.0Server back-end for the HyperHaskell graphical Haskell interpreter (bsd3, compilers-interpreters, program)2020-11-13HeinrichApfelmus
hypertypes60.0Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-23YairChuchem
idris1492.25Functional Programming Language with Dependent Types (bsd3, compilers-interpreters, dependent-types, library, program)2021-10-22EdwinBrady, niklasl
intcode02.0Advent of Code 2019 intcode interpreter (compilers-interpreters, library)2020-01-19EricMertens
koneko20.0a concatenative not-quite-lisp for kittens (compilers-interpreters, gpl, library, program)2022-02-12obfusk
lambda10.0Interpreters for lambda calculus, calculus of constructions, and more (compilers-interpreters, mit, program)2022-07-28OwenBechtel
lambda-ast70.0Lambda Calculi Abstract Syntax Trees (bsd3, compilers-interpreters, library)2012-02-24JonathanFischoff
lambdacube40.0A simple lambda cube type checker. (bsd3, compilers-interpreters, program)2008-12-25LennartAugustsson
language-dickinson22.0A language for generative literature (bsd3, compilers-interpreters, language, library, program, text)2022-09-10vmchale
llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf)591.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)130.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, deprecated, library)2013-05-28BenjaminSaunders, BryanOSullivan, CarterSchonwald
llvm-base-util10.0Utilities for bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2013-03-17PaulMeng
llvm-dsl00.0Support for writing an EDSL with LLVM-JIT as target (bsd3, code-generation, compilers-interpreters, library)2020-03-21HenningThielemann
llvm-extension00.0Processor specific intrinsics for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-01-05HenningThielemann
llvm-extra250.0Utility functions for the llvm interface (bsd3, code-generation, compilers-interpreters, library)2020-04-13HenningThielemann
llvm-ffi352.0FFI bindings to the LLVM compiler toolkit. (bsd3, code-generation, compilers-interpreters, library)2021-10-30HenningThielemann
llvm-ffi-tools30.0Tools for maintaining the llvm-ffi package (bsd3, code-generation, compilers-interpreters, program)2018-09-01HenningThielemann
llvm-general1132.25General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-pure482.0Pure Haskell LLVM functionality (no FFI). (bsd3, code-generation, compilers-interpreters, library)2016-02-11BenjaminScarlet
llvm-general-quote30.0QuasiQuoting llvm code for llvm-general (bsd3, code-generation, compilers-interpreters, library)2014-10-14TvH
llvm-hs572.75General purpose LLVM bindings (bsd3, code-generation, compilers-interpreters, library)2019-09-28cocreature, andrew_wja
llvm-hs-pure522.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-tf480.0Bindings to the LLVM compiler toolkit using type families. (bsd3, code-generation, compilers-interpreters, library)2022-02-13HenningThielemann
lvmlib20.0The Lazy Virtual Machine (LVM). (bsd3, compilers-interpreters, library, program)2014-09-02JurriaanHage
lvmrun10.0The Lazy Virtual Machine (LVM) Runtime System. (compilers-interpreters, program)2014-09-02JurriaanHage
mappy100.0A functional programming language focused around maps. (bsd3, compilers-interpreters, library, program)2016-02-18mjgpy3
nom00.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)2022-11-16PeterSelinger
noodle30.0the noodle programming language (compilers-interpreters, library, program)2011-12-10JesseRudolph
omega30.0A purely functional programming language and a proof system (bsd3, compilers-interpreters, language, program)2013-08-21GaborGreif
oplang30.0Stack-based esoteric programming language (compiler, compilers-interpreters, gpl, language, program)2022-08-12aionescu
peg20.0a lazy non-deterministic concatenative programming language (compilers-interpreters, gpl, program)2012-04-16DustinDeWeese
pesca50.0Proof Editor for Sequent Calculus (compilers-interpreters, program, theorem-provers)2008-05-20GwernBranwen, dpeteler
pi-forall40.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-loc30.0Tracking and highlighting of locations in source files (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text)2019-06-19GuerricChupin
risc38680.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2022-01-28AndreasAbel
secd30.0A Haskell implementation of the SECD abstract machine (bsd3, compilers-interpreters, library, program)2016-07-12kseo
secdh30.0SECDH Machine Simulator (bsd3, compilers-interpreters, library, program)2012-03-13PeterGavin
shell-monad250.0shell monad (bsd3, compilers-interpreters, library)2022-03-07JoeyHess
shimmer100.0The Reflective Lambda Machine (compilers-interpreters, library, mit, program)2019-02-06BenLippmeier
simple-atom30.0Atom (or symbol) datatype for fast comparision and sorting. (bsd3, compilers-interpreters, data, library, parsing)2011-04-06ThomasSchilling
simple-pascal50.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-04IlyaPortnov
simple-stacked-vm30.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-30IlyaPortnov
soyuz30.0DCPU-16 architecture utilities for Notch's 0x10c game. (compilers-interpreters, library, mit, program)2012-04-10AlexKropivny
staticanalysis30.0Reusable static analysis interfaces and modules. (compilers-interpreters, gpl, language, library)2013-08-20AndreiLapets
swf20.0A library for creating Shockwave Flash (SWF) files (bsd3, compilers-interpreters, library)2008-08-03AudreyTang, JeremyShaw
tempus10.0Interpreter for the FRP language Tempus (bsd3, compilers-interpreters, frp, language, program)2011-08-31MatthiasReisner
textmatetags30.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
unbound250.0Generic support for programming with names and binders (bsd3, compilers-interpreters, generics, language, library)2018-10-15BrentYorgey, sweirich
unification-fd622.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-26WrenThornton, WrenRomano
unique-lang10.0Esoteric programming language where each number can only appear once (compilers-interpreters, mit, program)2022-07-29OwenBechtel
unlambda340.0Unlambda interpreter (compilers-interpreters, library, program)2016-06-05GwernBranwen, abbradar
uu-cco90.0Utilities for compiler construction: core functionality (bsd3, compilers-interpreters, library)2016-02-08AtzeDijkstra
uu-cco-examples60.0Utilities for compiler construction: example programs (bsd3, compilers-interpreters, program)2014-10-30AtzeDijkstra
uu-cco-hut-parsing30.0Utilities for compiler construction: Feedback wrapper around parser in uulib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
uu-cco-uu-parsinglib30.0Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib (bsd3, compilers-interpreters, library)2014-10-30AtzeDijkstra
vintage-basic40.0Interpreter for microcomputer-era BASIC (bsd3, compilers-interpreters, program)2017-08-02LyleKopnicky
whitespace90.0Whitespace, an esoteric programming language. (compilers-interpreters, program)2012-11-02HaroldLee
yabi52.0Yet Another Brainfuck Interpreter (compilers-interpreters, mit, program)2017-06-22fgaz
zot152.0Zot language (bsd3, compilers-interpreters, program)2016-03-27YoshikuniJujo