Packages tagged languages

4 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (3), program (3), bsd3 (2), compilers-interpreters (2), mit (1), public-domain (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Frank80.01An experimental programming language with typed algebraic effects (languages, program, public-domain)2012-06-080.3ConorMcBride
simple-pascal30.01Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-040.1IlyaPortnov
simple-stacked-vm50.02Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2018-07-300.1.2IlyaPortnov
why340.01Haskell support for the Why3 input format. (languages, library, mit)2015-08-270.8EricMertens