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