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 |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| Befunge93 | 5 | 0.0 | 1 | An interpreter for the Befunge-93 Programming Language | (bsd3, compilers-interpreters, program) | 2010-05-20 | 0.1 | BrandonSimmons |
| CPBrainfuck | 7 | 0.0 | 1 | A simple Brainfuck interpretter. | (bsd3, compilers-interpreters, program) | 2008-11-06 | 1.1 | ThomasDavie |
| CPL | 14 | 0.0 | 1 | An interpreter of Hagino's Categorical Programming Language (CPL). | (bsd3, compilers-interpreters, program) | 2018-02-16 | 0.0.9 | MasahiroSakai |
| Delta-Lambda | 8 | 0.0 | 1 | A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) | (compilers-interpreters, mit, program) | 2017-05-11 | 0.3.0.0 | listofoptions |
| Fungi | 16 | 0.0 | 1 | Funge-98 interpreter written in Haskell | (bsd3, compilers-interpreters, program) | 2015-02-16 | 1.0.6 | ThomasEding |
| HARM (deprecated) | 7 | 0.0 | 1 | A simple ARM emulator in haskell | (compilers-interpreters, deprecated, library, program) | 2008-12-06 | 0.1.4 | AlexMason |
| Haschoo (deprecated) | 6 | 0.0 | 1 | Minimalist R5RS Scheme interpreter | (bsd3, compilers-interpreters, deprecated, program) | 2012-05-23 | 0.1.2 | MattiNiemenmaa |
| INblobs | 7 | 0.0 | 1 | Editor and interpreter for Interaction Nets | (compilers-interpreters, program) | 2008-06-19 | 0.1.1 | MiguelVilaca |
| Jikka | 17 | 0.0 | 0 | A transpiler from Python to C++ for competitive programming | (compilers-interpreters, library, program) | 2021-09-25 | 5.6.0.0 | kimiyuki |
| LambdaShell | 11 | 0.0 | 1 | Simple shell for evaluating lambda expressions | (compilers-interpreters, program) | 2014-06-01 | 0.9.3 | RobertDockins |
| NXTDSL | 10 | 0.0 | 1 | Generate NXC Code from DSL | (bsd3, compilers-interpreters, language, library, program) | 2013-08-31 | 0.4 | AlexanderThiemann |
| TinyLaunchbury | 5 | 0.0 | 1 | Simple implementation of call-by-need using Launchbury's semantics | (bsd3, compilers-interpreters, library) | 2011-06-20 | 1.0.1 | DavidSankel |
| TypeIlluminator | 4 | 0.0 | 1 | TypeIlluminator is a prototype tool exploring debugging of type errors/ | (bsd3, compilers-interpreters, program) | 2008-02-19 | 0.0 | GwernBranwen |
| accelerate | 82 | 2.5 | 44 | An embedded language for accelerated array processing | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | 1.3.0.0 | ManuelChakravarty, TrevorMcDonell |
| accelerate-cuda (deprecated in favor of accelerate-llvm-ptx) | 26 | 0.0 | 8 | Accelerate backend for NVIDIA GPUs | (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism) | 2017-03-31 | 0.17.0.0 | ManuelChakravarty, TrevorMcDonell |
| accelerate-llvm | 23 | 0.0 | 6 | Accelerate backend component generating LLVM IR | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | 1.3.0.0 | TrevorMcDonell |
| accelerate-llvm-native | 24 | 0.0 | 5 | Accelerate backend for multicore CPUs | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | 1.3.0.0 | TrevorMcDonell |
| accelerate-llvm-ptx | 29 | 2.0 | 5 | Accelerate backend for NVIDIA GPUs | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | 1.3.0.0 | TrevorMcDonell |
| alms | 46 | 0.0 | 1 | a practical affine language | (bsd3, compilers-interpreters, program) | 2018-08-17 | 0.6.9 | JesseTov |
| amrun | 19 | 0.0 | 1 | Interpreter for AM | (compilers-interpreters, program) | 2020-01-17 | 0.0.0.7 | DanielSeidel, JanisVoigtlaender, OliverWestphal |
| angle | 4 | 0.0 | 0 | A small, general-purpose programming language. | (compilers-interpreters, gpl, library, program) | 2016-08-19 | 0.8.1.0 | GuiltyDolphin |
| asic | 4 | 0.0 | 1 | Action Script Instrumentation Compiler | (compilers-interpreters, program) | 2011-03-01 | 1.2 | ArieMiddelkoop |
| asil | 4 | 0.0 | 1 | Action Script Instrumentation Library | (compilers-interpreters, library) | 2011-03-01 | 1.2 | ArieMiddelkoop |
| atuin | 4 | 0.0 | 1 | Embedded Turtle language compiler in Haskell, with Epic output | (bsd3, compilers-interpreters, program) | 2010-12-17 | 0.1.1 | EdwinBrady |
| baskell | 7 | 0.0 | 1 | An interpreter for a small functional language | (compilers-interpreters, program) | 2009-01-18 | 0.1.1 | GwernBranwen |
| bound | 134 | 2.5 | 7 | Making de Bruijn Succ Less | (bsd3, compilers-interpreters, language, library) | 2023-01-18 | 2.0.6 | EdwardKmett, EricMertens, ryanglscott |
| bound-gen | 10 | 0.0 | 1 | Unwrap Scope's with globally fresh values | (compilers-interpreters, library, mit) | 2015-03-27 | 0.1.0.2 | jozefg |
| brainfuck | 23 | 0.0 | 3 | Brainfuck interpreter | (compilers-interpreters, library, program) | 2016-06-05 | 0.1.0.3 | GwernBranwen, abbradar |
| brainfuck-monad | 18 | 0.0 | 1 | BrainFuck monad | (bsd3, compilers-interpreters, library) | 2020-02-26 | 0.5.2 | JoeyHess |
| cfipu | 4 | 0.0 | 1 | cfipu processor for toy brainfuck-like language | (bsd3, compilers-interpreters, program) | 2014-12-02 | 1.1.0.4 | ByronJohnson |
| cfopu (deprecated in favor of cfipu) | 5 | 0.0 | 1 | cfopu processor | (bsd3, compilers-interpreters, deprecated, program) | 2010-07-12 | 1.0.0 | ByronJohnson |
| cnc-spec-compiler | 7 | 0.0 | 1 | Compiler/Translator for CnC Specification Files. | (bsd3, compilers-interpreters, parallelism, program) | 2011-08-12 | 0.2.0.1 | RyanNewton |
| compilation | 10 | 0.0 | 2 | Haskell functionality for quickly assembling simple compilers. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
| core-haskell | 12 | 0.0 | 1 | A subset of Haskell using in UCC for teaching purpose | (bsd3, compilers-interpreters, language, program) | 2014-03-13 | 0.6.4 | happlebao |
| dcpu16 | 9 | 0.0 | 0 | DCPU-16 Emulator & Assembler | (bsd3, compilers-interpreters, library, program) | 2017-01-12 | 0.1.0.2 | anatolat |
| ddc-base (deprecated in favor of ddc-core) | 15 | 0.0 | 14 | Disciplined Disciple Compiler common utilities. | (compilers-interpreters, deprecated, library, mit) | 2016-04-30 | 0.4.2.1 | BenLippmeier |
| ddc-build (deprecated) | 12 | 0.0 | 2 | Disciplined Disciple Compiler build framework. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier, amosrobinson |
| ddc-code (deprecated) | 10 | 0.0 | 1 | Disciplined Disciple Compiler base libraries. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.2 | BenLippmeier |
| ddc-core (deprecated) | 13 | 0.0 | 12 | Disciplined Disciple Compiler core language and type checker. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-babel (deprecated) | 5 | 0.0 | 1 | Disciplined Disciple Compiler PHP code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-eval (deprecated) | 11 | 0.0 | 3 | Disciplined Disciple Compiler semantic evaluator for the core language. | (compilers-interpreters, deprecated, library, mit) | 2014-10-31 | 0.4.1.3 | BenLippmeier |
| ddc-core-flow (deprecated) | 7 | 0.0 | 4 | Disciplined Disciple Compiler data flow compiler. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-llvm (deprecated) | 10 | 0.0 | 3 | Disciplined Disciple Compiler LLVM code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-salt (deprecated) | 11 | 0.0 | 7 | Disciplined Disciple Compiler C code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-simpl (deprecated) | 12 | 0.0 | 7 | Disciplined Disciple Compiler code transformations. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-core-tetra (deprecated) | 8 | 0.0 | 6 | Disciplined Disciple Compiler intermediate language. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-driver (deprecated) | 13 | 0.0 | 1 | Disciplined Disciple Compiler top-level driver. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-interface (deprecated) | 5 | 0.0 | 2 | Disciplined Disciple Compiler user interface support. | (compilers-interpreters, deprecated, library, mit) | 2014-10-31 | 0.4.1.3 | BenLippmeier |
| ddc-source-tetra (deprecated) | 7 | 0.0 | 3 | Disciplined Disciple Compiler source language. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-tools (deprecated) | 13 | 0.0 | 1 | Disciplined Disciple Compiler command line tools. | (compilers-interpreters, deprecated, mit, program) | 2016-09-06 | 0.4.3.1 | BenLippmeier |
| ddc-war (deprecated) | 6 | 0.0 | 1 | Disciplined Disciple Compiler test driver and buildbot. | (compilers-interpreters, deprecated, mit, program) | 2014-10-31 | 0.4.1.3 | BenLippmeier |
| ddci-core (deprecated) | 6 | 0.0 | 1 | Disciple Core language interactive interpreter. | (compilers-interpreters, deprecated, mit, program) | 2012-10-24 | 0.2.1.2 | BenLippmeier |
| dedukti | 21 | 0.0 | 1 | A type-checker for the λΠ-modulo calculus. | (compilers-interpreters, library, program, theorem-provers) | 2011-04-08 | 1.1.4 | MathieuBoespflug |
| egison | 405 | 2.0 | 2 | Programming language with non-linear pattern-matching against non-free data | (compilers-interpreters, library, mit, program) | 2021-12-18 | 4.1.3 | SatoshiEgi, momohatt |
| egison-tutorial | 80 | 0.0 | 1 | A tutorial program for the Egison programming language | (compilers-interpreters, mit, program) | 2021-12-18 | 4.1.3 | SatoshiEgi, momohatt |
| epic | 32 | 0.0 | 3 | Compiler for a simple functional language | (bsd3, compilers-interpreters, library, program) | 2015-03-28 | 0.9.3.3 | AndreasAbel, EdwinBrady |
| exploring-interpreters | 24 | 0.0 | 1 | A generic exploring interpreter for exploratory programming | (bsd3, compilers-interpreters, library) | 2022-12-01 | 1.4.0.0 | ltvanbinsbergen, DamianFrolich |
| fst | 11 | 0.0 | 2 | Finite state transducers | (bsd3, compilers-interpreters, library, program) | 2015-04-29 | 0.10.0.1 | GwernBranwen, JohnCamilleri, ThomasHallgren |
| funcons-simple | 8 | 0.0 | 1 | A modular interpreter for executing SIMPLE funcons | (compilers-interpreters, mit, program) | 2018-12-14 | 0.1.0.7 | ltvanbinsbergen |
| funcons-tools | 28 | 2.0 | 0 | A modular interpreter for executing funcons | (compilers-interpreters, library, mit, program) | 2023-04-17 | 0.2.0.15 | ltvanbinsbergen |
| funcons-values | 17 | 0.0 | 1 | Library providing values and operations on values in a fixed universe. | (compilers-interpreters, library, mit) | 2021-06-26 | 0.1.0.9 | ltvanbinsbergen |
| ghci-haskeline | 8 | 0.0 | 1 | An implementation of ghci using the Haskeline line-input library. | (bsd3, compilers-interpreters, program) | 2010-04-01 | 0.2 | JudahJacobson |
| ghclive | 9 | 0.0 | 1 | Interactive Haskell interpreter in a browser. | (application, bsd3, compilers-interpreters, library, program, web) | 2012-08-20 | 0.1.0.2 | ShaeErisson |
| glambda | 11 | 2.0 | 0 | A simply typed lambda calculus interpreter, written with GADTs | (bsd3, compilers-interpreters, library, program) | 2017-11-27 | 1.0.2 | RichardEisenberg |
| graph-rewriting-lambdascope | 41 | 0.0 | 1 | Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | 0.5.10 | JanRochel |
| graph-rewriting-ski | 41 | 0.0 | 1 | Two evalutors of the SKI combinator calculus as interactive graph rewrite systems | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | 0.6.7 | JanRochel |
| graph-rewriting-trs | 24 | 0.0 | 1 | Evaluate first-order applicative term rewrite systems interactively using graph reduction | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | 0.1.9 | JanRochel |
| graph-rewriting-ww | 22 | 0.0 | 1 | Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | 0.3.7 | JanRochel |
| gulcii | 9 | 0.0 | 1 | graphical untyped lambda calculus interactive interpreter | (compilers-interpreters, gpl, program) | 2017-10-23 | 0.3 | ClaudeHeilandAllen |
| hLLVM | 6 | 0.0 | 1 | A library for analyzing and transforming LLVM (3.5) assembly codes | (bsd3, compilers-interpreters, library, program) | 2015-04-15 | 0.5.0.1 | NingWang |
| haskeem | 18 | 0.0 | 1 | A small scheme interpreter | (compilers-interpreters, program) | 2010-01-19 | 0.7.16 | UweHollerbach |
| helisp | 4 | 0.0 | 1 | An incomplete Elisp compiler | (bsd3, compilers-interpreters, program) | 2008-04-07 | 0.1 | GwernBranwen |
| heystone | 3 | 0.0 | 1 | Haskell bindings for the Keystone assembler framework | (assembler, bindings, compilers-interpreters, gpl, library) | 2022-07-08 | 0.1.0 | raehik |
| hiccup | 13 | 0.0 | 1 | Relatively efficient Tcl interpreter with support for basic operations | (compilers-interpreters, program) | 2008-03-25 | 0.40 | KyleConsalus |
| hint | 214 | 2.5 | 39 | A Haskell interpreter built on top of the GHC API | (bsd3, compilers-interpreters, language, library) | 2022-03-30 | 0.9.0.6 | gelisam, mvdan |
| hint-server | 26 | 0.0 | 5 | A server process that runs hint. | (bsd3, compilers-interpreters, concurrency, language, library) | 2016-11-27 | 1.4.3 | CorentinDupont, FernandoBenavides |
| hinter (deprecated) | 3 | 0.0 | 1 | Runtime Haskell interpreter (GHC API wrapper) | (bsd3, compilers-interpreters, deprecated, language, library) | 2018-05-06 | 0.1.0.0 | |
| hjs | 10 | 0.0 | 1 | JavaScript Parser | (bsd3, compilers-interpreters, library, program) | 2008-04-03 | 0.2.1 | GwernBranwen, MarkWassell |
| hoe | 11 | 0.0 | 1 | hoe: Haskell One-liner Evaluator | (bsd3, compilers-interpreters, program) | 2015-06-24 | 1.1.0 | HideyukiTanaka |
| hoopl | 57 | 2.25 | 9 | A library to support dataflow analysis and optimization | (bsd3, compilers-interpreters, library) | 2017-10-29 | 3.10.2.2 | AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey |
| husk-scheme | 134 | 2.0 | 3 | R5RS Scheme interpreter, compiler, and library. | (compilers-interpreters, language, library, mit, program) | 2021-02-04 | 3.20 | JustinEthier |
| husk-scheme-libs | 5 | 0.0 | 1 | Extra libraries for the husk Scheme platform. | (compilers-interpreters, language, library, mit) | 2012-06-13 | 0.0.1 | JustinEthier |
| hybrid | 4 | 0.0 | 1 | A implementation of a type-checker for Lambda-H | (bsd3, compilers-interpreters, program) | 2008-03-04 | 2.0 | GwernBranwen |
| hyper-haskell-server | 13 | 0.0 | 1 | Server back-end for the HyperHaskell graphical Haskell interpreter | (bsd3, compilers-interpreters, program) | 2020-11-13 | 0.2.3.0 | HeinrichApfelmus |
| hypertypes | 7 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2021-06-23 | 0.1.0.2 | YairChuchem |
| idris | 172 | 2.25 | 1 | Functional Programming Language with Dependent Types | (bsd3, compilers-interpreters, dependent-types, library, program) | 2021-10-22 | 1.3.4 | EdwinBrady, niklasl |
| intcode | 7 | 2.0 | 0 | Advent of Code 2019 intcode interpreter | (compilers-interpreters, library) | 2020-01-19 | 0.3.0.0 | EricMertens |
| koneko | 3 | 0.0 | 0 | a concatenative not-quite-lisp for kittens | (compilers-interpreters, gpl, library, program) | 2022-02-12 | 0.0.2 | obfusk |
| lambda | 4 | 0.0 | 0 | Interpreters for lambda calculus, calculus of constructions, and more | (compilers-interpreters, mit, program) | 2022-07-28 | 0.1.0.0 | OwenBechtel |
| lambda-ast | 9 | 0.0 | 2 | Lambda Calculi Abstract Syntax Trees | (bsd3, compilers-interpreters, library) | 2012-02-24 | 0.0.12 | JonathanFischoff |
| lambdacube | 7 | 0.0 | 1 | A simple lambda cube type checker. | (bsd3, compilers-interpreters, program) | 2008-12-25 | 2008.12.25 | LennartAugustsson |
| language-dickinson | 50 | 2.0 | 0 | A language for generative literature | (bsd3, compilers-interpreters, language, library, program, text) | 2022-09-10 | 1.4.3.0 | vmchale |
| llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf) | 51 | 1.5 | 5 | Bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2013-05-28 | 3.2.0.2 | BenjaminSaunders, BryanOSullivan, CarterSchonwald, LennartAugustsson |
| llvm-base (deprecated in favor of llvm-general) | 8 | 0.0 | 4 | FFI bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2013-05-28 | 3.2.0.2 | BenjaminSaunders, BryanOSullivan, CarterSchonwald |
| llvm-base-util | 4 | 0.0 | 1 | Utilities for bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, library) | 2013-03-17 | 3.0.1.0 | PaulMeng |
| llvm-dsl | 4 | 0.0 | 2 | Support for writing an EDSL with LLVM-JIT as target | (bsd3, code-generation, compilers-interpreters, library) | 2020-03-21 | 0.0 | HenningThielemann |
| llvm-extension | 3 | 0.0 | 0 | Processor specific intrinsics for the llvm interface | (bsd3, code-generation, compilers-interpreters, library) | 2020-01-05 | 0.0 | HenningThielemann |
| llvm-extra | 65 | 0.0 | 7 | Utility functions for the llvm interface | (bsd3, code-generation, compilers-interpreters, library) | 2020-04-13 | 0.10.1 | HenningThielemann |
| llvm-ffi | 92 | 2.0 | 2 | FFI bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, library) | 2021-10-30 | 13.0 | HenningThielemann |
| llvm-ffi-tools | 7 | 0.0 | 1 | Tools for maintaining the llvm-ffi package | (bsd3, code-generation, compilers-interpreters, program) | 2018-09-01 | 0.0.0.1 | HenningThielemann |
| llvm-general | 209 | 2.25 | 4 | General purpose LLVM bindings | (bsd3, code-generation, compilers-interpreters, library) | 2016-02-11 | 3.5.1.2 | BenjaminScarlet |
| llvm-general-pure | 101 | 2.0 | 7 | Pure Haskell LLVM functionality (no FFI). | (bsd3, code-generation, compilers-interpreters, library) | 2016-02-11 | 3.5.1.0 | BenjaminScarlet |
| llvm-general-quote | 8 | 0.0 | 1 | QuasiQuoting llvm code for llvm-general | (bsd3, code-generation, compilers-interpreters, library) | 2014-10-14 | 0.2.0.0 | TvH |
| llvm-hs | 81 | 2.75 | 3 | General purpose LLVM bindings | (bsd3, code-generation, compilers-interpreters, library) | 2019-09-28 | 9.0.1 | cocreature, andrew_wja |
| llvm-hs-pure | 58 | 2.5 | 7 | Pure Haskell LLVM functionality (no FFI). | (bsd3, code-generation, compilers-interpreters, library) | 2019-09-06 | 9.0.0 | cocreature, andrew_wja |
| llvm-ht (deprecated in favor of llvm-tf, llvm-ffi) | 4 | 0.0 | 3 | Bindings to the LLVM compiler toolkit with some custom extensions. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2010-09-21 | 0.7.0.0 | HenningThielemann |
| llvm-tf | 74 | 0.0 | 8 | Bindings to the LLVM compiler toolkit using type families. | (bsd3, code-generation, compilers-interpreters, library) | 2022-02-13 | 12.0.0.1 | HenningThielemann |
| lvmlib | 7 | 0.0 | 2 | The Lazy Virtual Machine (LVM). | (bsd3, compilers-interpreters, library, program) | 2014-09-02 | 1.1 | JurriaanHage |
| lvmrun | 4 | 0.0 | 1 | The Lazy Virtual Machine (LVM) Runtime System. | (compilers-interpreters, program) | 2014-09-02 | 1.0 | JurriaanHage |
| mappy | 19 | 0.0 | 0 | A functional programming language focused around maps. | (bsd3, compilers-interpreters, library, program) | 2016-02-18 | 0.1.3.1 | mjgpy3 |
| nom | 7 | 0.0 | 0 | Name-binding & alpha-equivalence | (bsd3, compilers-interpreters, language, library) | 2020-08-10 | 0.1.0.2 | gabbay |
| nominal | 8 | 0.0 | 1 | Binders and alpha-equivalence made easy | (compilers-interpreters, generics, gpl, language, library) | 2022-11-16 | 0.3.0.0 | PeterSelinger |
| noodle | 6 | 0.0 | 1 | the noodle programming language | (compilers-interpreters, library, program) | 2011-12-10 | 0.0.19 | JesseRudolph |
| omega | 7 | 0.0 | 1 | A purely functional programming language and a proof system | (bsd3, compilers-interpreters, language, program) | 2013-08-21 | 1.5.2 | GaborGreif |
| oplang | 20 | 0.0 | 0 | Stack-based esoteric programming language | (compilers-interpreters, gpl, language, program) | 2023-05-06 | 0.4.0.0 | aionescu |
| peg | 7 | 0.0 | 1 | a lazy non-deterministic concatenative programming language | (compilers-interpreters, gpl, program) | 2012-04-16 | 0.2 | DustinDeWeese |
| pesca | 12 | 0.0 | 1 | Proof Editor for Sequent Calculus | (compilers-interpreters, program, theorem-provers) | 2008-05-20 | 4.0.1 | GwernBranwen, dpeteler, mmhat |
| pi-forall | 5 | 0.0 | 1 | Demo implementation of typechecker for dependently-typed language | (bsd3, compilers-interpreters, library, program) | 2016-08-23 | 0.1.1 | sweirich |
| piet | 6 | 0.0 | 1 | A Piet interpreter | (bsd3, compilers-interpreters, library, program) | 2009-01-20 | 0.1 | StephanFriedrichs |
| pretty-loc | 8 | 0.0 | 0 | Tracking and highlighting of locations in source files | (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text) | 2019-06-19 | 0.1.0.1 | GuerricChupin |
| risc386 | 16 | 0.0 | 1 | Reduced instruction set i386 simulator | (bsd3, compilers-interpreters, education, program) | 2022-01-28 | 0.0.20220128 | AndreasAbel |
| secd | 4 | 0.0 | 0 | A Haskell implementation of the SECD abstract machine | (bsd3, compilers-interpreters, library, program) | 2016-07-12 | 0.1.0.0 | kseo |
| secdh | 6 | 0.0 | 1 | SECDH Machine Simulator | (bsd3, compilers-interpreters, library, program) | 2012-03-13 | 0.2 | PeterGavin |
| shell-monad | 53 | 0.0 | 1 | shell monad | (bsd3, compilers-interpreters, library) | 2022-03-07 | 0.6.10 | JoeyHess |
| shimmer | 16 | 0.0 | 1 | The Reflective Lambda Machine | (compilers-interpreters, library, mit, program) | 2019-02-06 | 0.1.3.4 | BenLippmeier |
| simple-atom | 7 | 0.0 | 1 | Atom (or symbol) datatype for fast comparision and sorting. | (bsd3, compilers-interpreters, data, library, parsing) | 2011-04-06 | 0.2 | ThomasSchilling |
| simple-pascal | 5 | 0.0 | 1 | Simplified Pascal language to SSVM compiler | (bsd3, compilers-interpreters, languages, library, program) | 2011-07-04 | 0.1 | IlyaPortnov |
| simple-stacked-vm | 8 | 0.0 | 2 | Simple stacked virtual machine: assembler, disassembler, bytecode interpreter | (bsd3, compilers-interpreters, languages, library, program) | 2018-07-30 | 0.1.2 | IlyaPortnov |
| soyuz | 7 | 0.0 | 1 | DCPU-16 architecture utilities for Notch's 0x10c game. | (compilers-interpreters, library, mit, program) | 2012-04-10 | 0.0.0 | AlexKropivny |
| staticanalysis | 9 | 0.0 | 2 | Reusable static analysis interfaces and modules. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | 0.0.0.3 | AndreiLapets |
| swf | 7 | 0.0 | 1 | A library for creating Shockwave Flash (SWF) files | (bsd3, compilers-interpreters, library) | 2008-08-03 | 1.0.1 | AudreyTang, JeremyShaw |
| tempus | 4 | 0.0 | 1 | Interpreter for the FRP language Tempus | (bsd3, compilers-interpreters, frp, language, program) | 2011-08-31 | 0.1.0 | MatthiasReisner |
| textmatetags | 10 | 0.0 | 1 | A simple Haskell program to provide tags for Haskell code completion in TextMate | (compilers-interpreters, mit, program) | 2011-03-26 | 0.0.1.2 | AlessandroVermeulen |
| transf | 23 | 0.0 | 1 | Text transformer and interpreter. | (bsd3, compilers-interpreters, library, program, text) | 2014-08-19 | 0.13.1 | HansHoglund |
| unbound | 45 | 0.0 | 3 | Generic support for programming with names and binders | (bsd3, compilers-interpreters, generics, language, library) | 2018-10-15 | 0.5.1.1 | BrentYorgey, sweirich |
| unification-fd | 46 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2022-05-26 | 0.11.2 | WrenThornton, WrenRomano |
| unique-lang | 3 | 0.0 | 0 | Esoteric programming language where each number can only appear once | (compilers-interpreters, mit, program) | 2022-07-29 | 0.1.0.0 | OwenBechtel |
| unlambda | 26 | 0.0 | 3 | Unlambda interpreter | (compilers-interpreters, library, program) | 2016-06-05 | 0.1.4.2 | GwernBranwen, abbradar |
| uu-cco | 13 | 0.0 | 3 | Utilities for compiler construction: core functionality | (bsd3, compilers-interpreters, library) | 2016-02-08 | 0.1.0.5 | AtzeDijkstra |
| uu-cco-examples | 6 | 0.0 | 1 | Utilities for compiler construction: example programs | (bsd3, compilers-interpreters, program) | 2014-10-30 | 0.1.0.1 | AtzeDijkstra |
| uu-cco-hut-parsing | 8 | 0.0 | 1 | Utilities for compiler construction: Feedback wrapper around parser in uulib | (bsd3, compilers-interpreters, library) | 2014-10-30 | 0.1.0.1 | AtzeDijkstra |
| uu-cco-uu-parsinglib | 7 | 0.0 | 1 | Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib | (bsd3, compilers-interpreters, library) | 2014-10-30 | 0.1.0.1 | AtzeDijkstra |
| vintage-basic | 11 | 0.0 | 1 | Interpreter for microcomputer-era BASIC | (bsd3, compilers-interpreters, program) | 2017-08-02 | 1.0.3 | LyleKopnicky |
| whitespace | 10 | 0.0 | 1 | Whitespace, an esoteric programming language. | (compilers-interpreters, program) | 2012-11-02 | 0.4 | HaroldLee |
| yabi | 11 | 2.0 | 1 | Yet Another Brainfuck Interpreter | (compilers-interpreters, mit, program) | 2017-06-22 | 0.2.0.0 | fgaz |
| zot | 13 | 2.0 | 1 | Zot language | (bsd3, compilers-interpreters, program) | 2016-03-27 | 0.0.3 | YoshikuniJujo |