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 |
|---|---|---|---|---|---|---|
| Befunge93 | 11 | 0.0 | An interpreter for the Befunge-93 Programming Language | (bsd3, compilers-interpreters, program) | 2010-05-20 | BrandonSimmons |
| CPBrainfuck | 14 | 0.0 | A simple Brainfuck interpretter. | (bsd3, compilers-interpreters, program) | 2008-11-06 | ThomasDavie |
| CPL | 17 | 0.0 | An interpreter of Hagino's Categorical Programming Language (CPL). | (bsd3, compilers-interpreters, program) | 2018-02-16 | MasahiroSakai |
| Delta-Lambda | 22 | 0.0 | A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) | (compilers-interpreters, mit, program) | 2017-05-11 | listofoptions |
| Fungi | 36 | 0.0 | Funge-98 interpreter written in Haskell | (bsd3, compilers-interpreters, program) | 2015-02-16 | ThomasEding |
| HARM (deprecated) | 11 | 0.0 | A simple ARM emulator in haskell | (compilers-interpreters, deprecated, library, program) | 2008-12-06 | AlexMason |
| Haschoo (deprecated) | 23 | 0.0 | Minimalist R5RS Scheme interpreter | (bsd3, compilers-interpreters, deprecated, program) | 2012-05-23 | MattiNiemenmaa |
| INblobs | 14 | 0.0 | Editor and interpreter for Interaction Nets | (compilers-interpreters, program) | 2008-06-19 | MiguelVilaca |
| Jikka | 15 | 0.0 | A transpiler from Python to C++ for competitive programming | (compilers-interpreters, library, program) | 2021-09-25 | kimiyuki |
| LambdaShell | 18 | 0.0 | Simple shell for evaluating lambda expressions | (compilers-interpreters, program) | 2014-06-01 | RobertDockins |
| NXTDSL | 8 | 0.0 | Generate NXC Code from DSL | (bsd3, compilers-interpreters, language, library, program) | 2013-08-31 | AlexanderThiemann |
| TinyLaunchbury | 12 | 0.0 | Simple implementation of call-by-need using Launchbury's semantics | (bsd3, compilers-interpreters, library) | 2011-06-20 | DavidSankel |
| TypeIlluminator | 10 | 0.0 | TypeIlluminator is a prototype tool exploring debugging of type errors/ | (bsd3, compilers-interpreters, program) | 2008-02-19 | GwernBranwen |
| accelerate | 170 | 2.5 | An embedded language for accelerated array processing | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | ManuelChakravarty, TrevorMcDonell |
| accelerate-cuda (deprecated in favor of accelerate-llvm-ptx) | 84 | 0.0 | Accelerate backend for NVIDIA GPUs | (bsd3, compilers-interpreters, concurrency, data, deprecated, library, parallelism) | 2017-03-31 | ManuelChakravarty, TrevorMcDonell |
| accelerate-llvm | 50 | 0.0 | Accelerate backend component generating LLVM IR | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | TrevorMcDonell |
| accelerate-llvm-native | 29 | 0.0 | Accelerate backend for multicore CPUs | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | TrevorMcDonell |
| accelerate-llvm-ptx | 49 | 2.0 | Accelerate backend for NVIDIA GPUs | (accelerate, bsd3, compilers-interpreters, concurrency, data, library, parallelism) | 2020-08-28 | TrevorMcDonell |
| alms | 37 | 0.0 | a practical affine language | (bsd3, compilers-interpreters, program) | 2018-08-17 | JesseTov |
| amrun | 39 | 0.0 | Interpreter for AM | (compilers-interpreters, program) | 2020-01-17 | DanielSeidel, JanisVoigtlaender, OliverWestphal |
| angle | 11 | 0.0 | A small, general-purpose programming language. | (compilers-interpreters, gpl, library, program) | 2016-08-19 | GuiltyDolphin |
| asic | 6 | 0.0 | Action Script Instrumentation Compiler | (compilers-interpreters, program) | 2011-03-01 | ArieMiddelkoop |
| asil | 6 | 0.0 | Action Script Instrumentation Library | (compilers-interpreters, library) | 2011-03-01 | ArieMiddelkoop |
| atuin | 10 | 0.0 | Embedded Turtle language compiler in Haskell, with Epic output | (bsd3, compilers-interpreters, program) | 2010-12-17 | EdwinBrady |
| baskell | 14 | 0.0 | An interpreter for a small functional language | (compilers-interpreters, program) | 2009-01-18 | GwernBranwen |
| bound | 1050 | 2.5 | Making de Bruijn Succ Less | (bsd3, compilers-interpreters, language, library) | 2021-11-07 | EdwardKmett, EricMertens, ryanglscott |
| bound-gen | 19 | 0.0 | Unwrap Scope's with globally fresh values | (compilers-interpreters, library, mit) | 2015-03-27 | jozefg |
| brainfuck | 46 | 0.0 | Brainfuck interpreter | (compilers-interpreters, library, program) | 2016-06-05 | GwernBranwen, abbradar |
| brainfuck-monad | 31 | 0.0 | BrainFuck monad | (bsd3, compilers-interpreters, library) | 2020-02-26 | JoeyHess |
| cfipu | 9 | 0.0 | cfipu processor for toy brainfuck-like language | (bsd3, compilers-interpreters, program) | 2014-12-02 | ByronJohnson |
| cfopu (deprecated in favor of cfipu) | 9 | 0.0 | cfopu processor | (bsd3, compilers-interpreters, deprecated, program) | 2010-07-12 | ByronJohnson |
| cnc-spec-compiler | 16 | 0.0 | Compiler/Translator for CnC Specification Files. | (bsd3, compilers-interpreters, parallelism, program) | 2011-08-12 | RyanNewton |
| compilation | 16 | 0.0 | Haskell functionality for quickly assembling simple compilers. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | AndreiLapets |
| core-haskell | 31 | 0.0 | A subset of Haskell using in UCC for teaching purpose | (bsd3, compilers-interpreters, language, program) | 2014-03-13 | happlebao |
| dcpu16 | 18 | 0.0 | DCPU-16 Emulator & Assembler | (bsd3, compilers-interpreters, library, program) | 2017-01-12 | anatolat |
| ddc-base (deprecated in favor of ddc-core) | 47 | 0.0 | Disciplined Disciple Compiler common utilities. | (compilers-interpreters, deprecated, library, mit) | 2016-04-30 | BenLippmeier |
| ddc-build (deprecated) | 40 | 0.0 | Disciplined Disciple Compiler build framework. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier, amosrobinson |
| ddc-code (deprecated) | 39 | 0.0 | Disciplined Disciple Compiler base libraries. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core (deprecated) | 38 | 0.0 | Disciplined Disciple Compiler core language and type checker. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-babel (deprecated) | 13 | 0.0 | Disciplined Disciple Compiler PHP code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-eval (deprecated) | 34 | 0.0 | Disciplined Disciple Compiler semantic evaluator for the core language. | (compilers-interpreters, deprecated, library, mit) | 2014-10-31 | BenLippmeier |
| ddc-core-flow (deprecated) | 23 | 0.0 | Disciplined Disciple Compiler data flow compiler. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-llvm (deprecated) | 29 | 0.0 | Disciplined Disciple Compiler LLVM code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-salt (deprecated) | 33 | 0.0 | Disciplined Disciple Compiler C code generator. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-simpl (deprecated) | 51 | 0.0 | Disciplined Disciple Compiler code transformations. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-core-tetra (deprecated) | 21 | 0.0 | Disciplined Disciple Compiler intermediate language. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-driver (deprecated) | 48 | 0.0 | Disciplined Disciple Compiler top-level driver. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-interface (deprecated) | 17 | 0.0 | Disciplined Disciple Compiler user interface support. | (compilers-interpreters, deprecated, library, mit) | 2014-10-31 | BenLippmeier |
| ddc-source-tetra (deprecated) | 24 | 0.0 | Disciplined Disciple Compiler source language. | (compilers-interpreters, deprecated, library, mit) | 2016-09-06 | BenLippmeier |
| ddc-tools (deprecated) | 35 | 0.0 | Disciplined Disciple Compiler command line tools. | (compilers-interpreters, deprecated, mit, program) | 2016-09-06 | BenLippmeier |
| ddc-war (deprecated) | 11 | 0.0 | Disciplined Disciple Compiler test driver and buildbot. | (compilers-interpreters, deprecated, mit, program) | 2014-10-31 | BenLippmeier |
| ddci-core (deprecated) | 21 | 0.0 | Disciple Core language interactive interpreter. | (compilers-interpreters, deprecated, mit, program) | 2012-10-24 | BenLippmeier |
| dedukti | 49 | 0.0 | A type-checker for the λΠ-modulo calculus. | (compilers-interpreters, library, program, theorem-provers) | 2011-04-08 | MathieuBoespflug |
| egison | 958 | 2.0 | Programming language with non-linear pattern-matching against non-free data | (compilers-interpreters, library, mit, program) | 2020-10-26 | SatoshiEgi, momohatt |
| egison-tutorial | 187 | 0.0 | A tutorial program for the Egison programming language | (compilers-interpreters, mit, program) | 2020-06-07 | SatoshiEgi, momohatt |
| epic | 37 | 0.0 | Compiler for a simple functional language | (bsd3, compilers-interpreters, library, program) | 2015-03-28 | AndreasAbel, EdwinBrady |
| exploring-interpreters | 107 | 0.0 | A generic exploring interpreter for exploratory programming | (bsd3, compilers-interpreters, library) | 2021-11-18 | DamianFrolich |
| fst | 17 | 0.0 | Finite state transducers | (bsd3, compilers-interpreters, library, program) | 2015-04-29 | GwernBranwen, JohnCamilleri, ThomasHallgren |
| funcons-simple | 15 | 0.0 | A modular interpreter for executing SIMPLE funcons | (compilers-interpreters, mit, program) | 2018-12-14 | ltvanbinsbergen |
| funcons-tools | 52 | 0.0 | A modular interpreter for executing funcons | (compilers-interpreters, library, mit, program) | 2021-06-26 | ltvanbinsbergen |
| funcons-values | 29 | 0.0 | Library providing values and operations on values in a fixed universe. | (compilers-interpreters, library, mit) | 2021-06-26 | ltvanbinsbergen |
| ghci-haskeline | 18 | 0.0 | An implementation of ghci using the Haskeline line-input library. | (bsd3, compilers-interpreters, program) | 2010-04-01 | JudahJacobson |
| ghclive | 17 | 0.0 | Interactive Haskell interpreter in a browser. | (application, bsd3, compilers-interpreters, library, program, web) | 2012-08-20 | ShaeErisson |
| glambda | 21 | 2.0 | A simply typed lambda calculus interpreter, written with GADTs | (bsd3, compilers-interpreters, library, program) | 2017-11-27 | RichardEisenberg |
| graph-rewriting-lambdascope | 25 | 0.0 | Lambdascope, an optimal evaluator of the lambda calculus, as an interactive graph-rewriting system | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | JanRochel |
| graph-rewriting-ski | 82 | 0.0 | Two evalutors of the SKI combinator calculus as interactive graph rewrite systems | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | JanRochel |
| graph-rewriting-trs | 53 | 0.0 | Evaluate first-order applicative term rewrite systems interactively using graph reduction | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | JanRochel |
| graph-rewriting-ww | 45 | 0.0 | Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing | (application, bsd3, compilers-interpreters, program) | 2017-05-23 | JanRochel |
| gulcii | 15 | 0.0 | graphical untyped lambda calculus interactive interpreter | (compilers-interpreters, gpl, program) | 2017-10-23 | ClaudeHeilandAllen |
| hLLVM | 13 | 0.0 | A library for analyzing and transforming LLVM (3.5) assembly codes | (bsd3, compilers-interpreters, library, program) | 2015-04-15 | NingWang |
| haskeem | 41 | 0.0 | A small scheme interpreter | (compilers-interpreters, program) | 2010-01-19 | UweHollerbach |
| helisp | 5 | 0.0 | An incomplete Elisp compiler | (bsd3, compilers-interpreters, program) | 2008-04-07 | GwernBranwen |
| hiccup | 14 | 0.0 | Relatively efficient Tcl interpreter with support for basic operations | (compilers-interpreters, program) | 2008-03-25 | KyleConsalus |
| hint | 864 | 2.5 | Runtime Haskell interpreter (GHC API wrapper) | (bsd3, compilers-interpreters, language, library) | 2021-11-19 | gelisam, mvdan |
| hint-server | 58 | 0.0 | A server process that runs hint. | (bsd3, compilers-interpreters, concurrency, language, library) | 2016-11-27 | CorentinDupont, FernandoBenavides |
| hinter (deprecated) | 10 | 0.0 | Runtime Haskell interpreter (GHC API wrapper) | (bsd3, compilers-interpreters, deprecated, language, library) | 2018-05-06 | |
| hjs | 7 | 0.0 | JavaScript Parser | (bsd3, compilers-interpreters, library, program) | 2008-04-03 | GwernBranwen, MarkWassell |
| hoe | 9 | 0.0 | hoe: Haskell One-liner Evaluator | (bsd3, compilers-interpreters, program) | 2015-06-24 | HideyukiTanaka |
| hoopl | 139 | 2.0 | A library to support dataflow analysis and optimization | (bsd3, compilers-interpreters, library) | 2017-10-29 | AndreasVoellmy, AustinSeipp, HerbertValerioRiedel, IanLynagh, NingWang, NormanRamsey |
| husk-scheme | 271 | 2.0 | R5RS Scheme interpreter, compiler, and library. | (compilers-interpreters, language, library, mit, program) | 2021-02-04 | JustinEthier |
| husk-scheme-libs | 11 | 0.0 | Extra libraries for the husk Scheme platform. | (compilers-interpreters, language, library, mit) | 2012-06-13 | JustinEthier |
| hybrid | 5 | 0.0 | A implementation of a type-checker for Lambda-H | (bsd3, compilers-interpreters, program) | 2008-03-04 | GwernBranwen |
| hyper-haskell-server | 30 | 0.0 | Server back-end for the HyperHaskell graphical Haskell interpreter | (bsd3, compilers-interpreters, program) | 2020-11-13 | HeinrichApfelmus |
| hypertypes | 16 | 0.0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2021-06-23 | YairChuchem |
| idris | 395 | 2.25 | Functional Programming Language with Dependent Types | (bsd3, compilers-interpreters, dependent-types, library, program) | 2021-10-22 | EdwinBrady, niklasl |
| intcode | 17 | 2.0 | Advent of Code 2019 intcode interpreter | (compilers-interpreters, library) | 2020-01-19 | EricMertens |
| lambda-ast | 15 | 0.0 | Lambda Calculi Abstract Syntax Trees | (bsd3, compilers-interpreters, library) | 2012-02-24 | JonathanFischoff |
| lambdacube | 14 | 0.0 | A simple lambda cube type checker. | (bsd3, compilers-interpreters, program) | 2008-12-25 | LennartAugustsson |
| language-dickinson | 113 | 2.0 | A language for generative literature | (bsd3, compilers-interpreters, language, library, program, text) | 2020-12-04 | vmchale |
| llvm (deprecated in favor of llvm-hs, llvm-general, llvm-tf) | 199 | 1.5 | Bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2013-05-28 | BenjaminSaunders, BryanOSullivan, CarterSchonwald, LennartAugustsson |
| llvm-base (deprecated in favor of llvm-general) | 31 | 0.0 | FFI bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2013-05-28 | BenjaminSaunders, BryanOSullivan, CarterSchonwald |
| llvm-base-util | 11 | 0.0 | Utilities for bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, library) | 2013-03-17 | PaulMeng |
| llvm-dsl | 8 | 0.0 | Support for writing an EDSL with LLVM-JIT as target | (bsd3, code-generation, compilers-interpreters, library) | 2020-03-21 | HenningThielemann |
| llvm-extension | 9 | 0.0 | Processor specific intrinsics for the llvm interface | (bsd3, code-generation, compilers-interpreters, library) | 2020-01-05 | HenningThielemann |
| llvm-extra | 144 | 0.0 | Utility functions for the llvm interface | (bsd3, code-generation, compilers-interpreters, library) | 2020-04-13 | HenningThielemann |
| llvm-ffi | 105 | 2.0 | FFI bindings to the LLVM compiler toolkit. | (bsd3, code-generation, compilers-interpreters, library) | 2021-10-30 | HenningThielemann |
| llvm-ffi-tools | 35 | 0.0 | Tools for maintaining the llvm-ffi package | (bsd3, code-generation, compilers-interpreters, program) | 2018-09-01 | HenningThielemann |
| llvm-general | 525 | 2.25 | General purpose LLVM bindings | (bsd3, code-generation, compilers-interpreters, library) | 2016-02-11 | BenjaminScarlet |
| llvm-general-pure | 239 | 2.0 | Pure Haskell LLVM functionality (no FFI). | (bsd3, code-generation, compilers-interpreters, library) | 2016-02-11 | BenjaminScarlet |
| llvm-general-quote | 15 | 0.0 | QuasiQuoting llvm code for llvm-general | (bsd3, code-generation, compilers-interpreters, library) | 2014-10-14 | TvH |
| llvm-hs | 168 | 2.75 | General purpose LLVM bindings | (bsd3, code-generation, compilers-interpreters, library) | 2019-09-28 | cocreature, andrew_wja |
| llvm-hs-pure | 138 | 2.5 | Pure Haskell LLVM functionality (no FFI). | (bsd3, code-generation, compilers-interpreters, library) | 2019-09-06 | cocreature, andrew_wja |
| llvm-ht (deprecated in favor of llvm-tf, llvm-ffi) | 8 | 0.0 | Bindings to the LLVM compiler toolkit with some custom extensions. | (bsd3, code-generation, compilers-interpreters, deprecated, library) | 2010-09-21 | HenningThielemann |
| llvm-tf | 160 | 0.0 | Bindings to the LLVM compiler toolkit using type families. | (bsd3, code-generation, compilers-interpreters, library) | 2021-10-30 | HenningThielemann |
| lvmlib | 8 | 0.0 | The Lazy Virtual Machine (LVM). | (bsd3, compilers-interpreters, library, program) | 2014-09-02 | JurriaanHage |
| lvmrun | 5 | 0.0 | The Lazy Virtual Machine (LVM) Runtime System. | (compilers-interpreters, program) | 2014-09-02 | JurriaanHage |
| mappy | 45 | 0.0 | A functional programming language focused around maps. | (bsd3, compilers-interpreters, library, program) | 2016-02-18 | mjgpy3 |
| nom | 12 | 0.0 | Name-binding & alpha-equivalence | (bsd3, compilers-interpreters, language, library) | 2020-08-10 | gabbay |
| nominal | 19 | 0.0 | Binders and alpha-equivalence made easy | (compilers-interpreters, generics, gpl, language, library) | 2018-11-10 | PeterSelinger |
| noodle | 15 | 0.0 | the noodle programming language | (compilers-interpreters, library, program) | 2011-12-10 | JesseRudolph |
| omega | 13 | 0.0 | A purely functional programming language and a proof system | (bsd3, compilers-interpreters, language, program) | 2013-08-21 | GaborGreif |
| peg | 7 | 0.0 | a lazy non-deterministic concatenative programming language | (compilers-interpreters, gpl, program) | 2012-04-16 | DustinDeWeese |
| pesca | 12 | 0.0 | Proof Editor for Sequent Calculus | (compilers-interpreters, program, theorem-provers) | 2008-05-20 | GwernBranwen, dpeteler |
| pi-forall | 9 | 0.0 | Demo implementation of typechecker for dependently-typed language | (bsd3, compilers-interpreters, library, program) | 2016-08-23 | sweirich |
| piet | 5 | 0.0 | A Piet interpreter | (bsd3, compilers-interpreters, library, program) | 2009-01-20 | StephanFriedrichs |
| pretty-loc | 16 | 0.0 | Tracking and highlighting of locations in source files | (bsd3, compilers-interpreters, data, diagnostics, library, pretty-printer, text) | 2019-06-19 | GuerricChupin |
| risc386 | 21 | 0.0 | Reduced instruction set i386 simulator | (bsd3, compilers-interpreters, education, program) | 2021-08-12 | AndreasAbel |
| secd | 10 | 0.0 | A Haskell implementation of the SECD abstract machine | (bsd3, compilers-interpreters, library, program) | 2016-07-12 | kseo |
| secdh | 8 | 0.0 | SECDH Machine Simulator | (bsd3, compilers-interpreters, library, program) | 2012-03-13 | PeterGavin |
| shell-monad | 93 | 0.0 | shell monad | (bsd3, compilers-interpreters, library) | 2020-02-26 | JoeyHess |
| shimmer | 35 | 0.0 | The Reflective Lambda Machine | (compilers-interpreters, library, mit, program) | 2019-02-06 | BenLippmeier |
| simple-atom | 16 | 0.0 | Atom (or symbol) datatype for fast comparision and sorting. | (bsd3, compilers-interpreters, data, library, parsing) | 2011-04-06 | ThomasSchilling |
| simple-pascal | 9 | 0.0 | Simplified Pascal language to SSVM compiler | (bsd3, compilers-interpreters, languages, library, program) | 2011-07-04 | IlyaPortnov |
| simple-stacked-vm | 18 | 0.0 | Simple stacked virtual machine: assembler, disassembler, bytecode interpreter | (bsd3, compilers-interpreters, languages, library, program) | 2018-07-30 | IlyaPortnov |
| soyuz | 9 | 0.0 | DCPU-16 architecture utilities for Notch's 0x10c game. | (compilers-interpreters, library, mit, program) | 2012-04-10 | AlexKropivny |
| staticanalysis | 7 | 0.0 | Reusable static analysis interfaces and modules. | (compilers-interpreters, gpl, language, library) | 2013-08-20 | AndreiLapets |
| swf | 9 | 0.0 | A library for creating Shockwave Flash (SWF) files | (bsd3, compilers-interpreters, library) | 2008-08-03 | AudreyTang, JeremyShaw |
| tempus | 11 | 0.0 | Interpreter for the FRP language Tempus | (bsd3, compilers-interpreters, frp, language, program) | 2011-08-31 | MatthiasReisner |
| textmatetags | 18 | 0.0 | A simple Haskell program to provide tags for Haskell code completion in TextMate | (compilers-interpreters, mit, program) | 2011-03-26 | AlessandroVermeulen |
| transf | 27 | 0.0 | Text transformer and interpreter. | (bsd3, compilers-interpreters, library, program, text) | 2014-08-19 | HansHoglund |
| unbound | 97 | 0.0 | Generic support for programming with names and binders | (bsd3, compilers-interpreters, generics, language, library) | 2018-10-15 | BrentYorgey, sweirich |
| unification-fd | 110 | 2.0 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2021-02-25 | WrenThornton, WrenRomano |
| unlambda | 57 | 0.0 | Unlambda interpreter | (compilers-interpreters, library, program) | 2016-06-05 | GwernBranwen, abbradar |
| uu-cco | 28 | 0.0 | Utilities for compiler construction: core functionality | (bsd3, compilers-interpreters, library) | 2016-02-08 | AtzeDijkstra |
| uu-cco-examples | 14 | 0.0 | Utilities for compiler construction: example programs | (bsd3, compilers-interpreters, program) | 2014-10-30 | AtzeDijkstra |
| uu-cco-hut-parsing | 15 | 0.0 | Utilities for compiler construction: Feedback wrapper around parser in uulib | (bsd3, compilers-interpreters, library) | 2014-10-30 | AtzeDijkstra |
| uu-cco-uu-parsinglib | 16 | 0.0 | Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib | (bsd3, compilers-interpreters, library) | 2014-10-30 | AtzeDijkstra |
| vintage-basic | 21 | 0.0 | Interpreter for microcomputer-era BASIC | (bsd3, compilers-interpreters, program) | 2017-08-02 | LyleKopnicky |
| wasm | 9 | 2.25 | WebAssembly Language Toolkit and Interpreter | (compilers-interpreters, library, mit, program) | 2018-06-20 | irezvov |
| whitespace | 16 | 0.0 | Whitespace, an esoteric programming language. | (compilers-interpreters, program) | 2012-11-02 | HaroldLee |
| yabi | 16 | 2.0 | Yet Another Brainfuck Interpreter | (compilers-interpreters, mit, program) | 2017-06-22 | fgaz |
| zot | 6 | 2.0 | Zot language | (bsd3, compilers-interpreters, program) | 2016-03-27 | YoshikuniJujo |