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
Maintainer
Frank210.0An experimental programming language with typed algebraic effects (languages, program, public-domain)ConorMcBride
simple-pascal70.0Simplified Pascal language to SSVM compiler (bsd3, compilers-interpreters, languages, library, program)IlyaPortnov
simple-stacked-vm50.0Simple stacked virtual machine: assembler, disassembler, bytecode interpreter (bsd3, compilers-interpreters, languages, library, program)IlyaPortnov
why320.0Haskell support for the Why3 input format. (languages, library, mit)EricMertens