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
Description
Tags
Last U/L
Maintainer
Frank260.0An experimental programming language with typed algebraic effects (languages, program, public-domain)2012-06-08ConorMcBride
simple-pascal80.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)2011-07-04IlyaPortnov
simple-stacked-vm60.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)2014-07-30IlyaPortnov
why380.0Haskell support for the Why3 input format. (languages, library, mit)2015-08-27EricMertens