Page 4 of 35 | Showing port(s) 61 to 80
colm
Programming language for analysis and transformation.
Version: 0.14.7 | Maintained by: | Categories: devel lang | Variants: universalcoq
Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqidecpi
Cpi is a tiny interpreter for C++11, C++14 or C++17.
Version: 2.0.4 | Maintained by: herbygillot | Categories: devel lang | Variants: debugcppman
C++ 98/11/14/17/20 manual page fetcher / interface.
Version: 0.5.6 | Maintained by: eborisch | Categories: devel lang | Variants: universalcppreference
C++ reference pages (and Doxygen tags files)
Version: 20190607 | Maintained by: eborisch | Categories: lang | Variants:crystal
Crystal programming language
Version: 1.9.2 | Maintained by: mohd-akram | Categories: lang | Variants:ctlang
Programming language for digital color management
Version: 1.5.2 | Maintained by: MarcusCalhoun-Lopez | Categories: graphics lang | Variants: debug, universalcue
Open-source data constraint language which aims to simplify tasks involving defining and using data.
Version: 0.6.0 | Maintained by: herbygillot | Categories: devel lang | Variants:d-mode.el
D Programming Language mode for (X)Emacs
Version: 2.0.4 | Maintained by: | Categories: lang editors | Variants:dbslayer
The DBacesslayer aka DBSlayer is a lightweight database abstraction layer suitable for high-load websites where you need the scalable advantages of connection pooling.
Version: beta-12 | Maintained by: | Categories: databases lang www | Variants: mysql51, mysql55, mysql56, mariadb, percona, universaldmd
dmd Digital Mars D compiler
Version: 2.088.0 | Maintained by: | Categories: lang | Variants: universaldmd-bootstrap
dmd Digital Mars D bootstrap compiler
Version: 2.088.0 | Maintained by: MarcusCalhoun-Lopez | Categories: lang | Variants:dmd-doc
HTML files for dman of the D programming language compiler
Version: 2.088.0 | Maintained by: | Categories: lang | Variants:dmd-tools
Ancilliary tools for the D programming language compiler
Version: 2.088.0 | Maintained by: | Categories: lang | Variants: universaldparser
general-purpose parser generator
Version: 1.31 | Maintained by: | Categories: devel lang | Variants: universaldruntime
Low level runtime library for the D programming language
Version: 2.088.0 | Maintained by: | Categories: lang | Variants: universalecl
Embeddable Common Lisp
Version: 23.9.9 | Maintained by: easye, catap | Categories: lang | Variants:ecl-devel
Embeddable Common Lisp
Version: 20230925 | Maintained by: easye, catap | Categories: lang | Variants:700 port(s) found
Page 4 of 35 | Showing port(s) 61 to 80