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 |
---|---|---|---|---|---|---|
Frank | 0 | 0.0 | An experimental programming language with typed algebraic effects | (languages, program, public-domain) | 2012-06-08 | ConorMcBride |
simple-pascal | 10 | 0.0 | Simplified Pascal language to SSVM compiler | (bsd3, compilers-interpreters, languages, library, program) | 2011-07-04 | IlyaPortnov |
simple-stacked-vm | 16 | 0.0 | Simple stacked virtual machine: assembler, disassembler, bytecode interpreter | (bsd3, compilers-interpreters, languages, library, program) | 2018-07-30 | IlyaPortnov |
why3 | 0 | 0.0 | Haskell support for the Why3 input format. | (languages, library, mit) | 2015-08-27 | EricMertens |