OpenBSD ports
lang
CVSweb
allbsd
cgit
openports.se
ports-wip
R-3.5.1p2
STk-4.0.1p19
a60-0.23a
abcl-1.5.0p0
algol68g-2.8.5
antlr3-3.4p2
apl-1.7p0
arena-0.9.13p2
bacon-3.8p0
brainfuck-2.7.1
brandy-1.20.1p0
chibi-scheme-0.8.0
chicken-5.0.0
chicken-bootstrap-5.0.0
cil-1.5.1p6
cim-5.1p0
classpath-0.98p26
clazy-1.4
clisp-2.49p2
clisp-hyperspec-7.0
clojure-1.9.0.375
compcert-3.4
cparser-1.22.1pl2
crystal-0.26.1p1
ctl-1.5.2p2
datalog-2.6p0
duktape-2.3.0p0
eagle-1.0beta42v0
ecl-16.1.3p2
elixir-1.7.4
eltclsh-1.17
erlang-16b.03p15v0
erlang-17.5p11v0
erlang-18.3v0
erlang-19.3p4v0
erlang-wx-16b.03p3v0
erlang-wx-17.5p3v0
erlang-wx-18.3v0
erlang-wx-19.3p1v0
expect-5.45p5
fasm-1.71.22
flang-6.0.0.20181017p0
flang-driver-6.0.0.20181012p0
fpc-3.0.4p0
freebasic-1.05.0
freehdl-0.0.7p4
fsharp-4.0.1.1
g++-4.9.4p13
g77-3.3.6p16v1
g95-4.9.4p13
gambit-4.9.0p0
gawk-4.2.1p0
gcc-4.9.4p13
gcc-libs-4.9.4p13
gcj-4.9.4p13
gforth-0.7.3p3
ghc-8.2.2p2
ghostscript-9.07p7
ghostscript-9.07p7-a4
ghostscript-9.07p7-a4-gtk
ghostscript-9.07p7-a4-no_x11
ghostscript-9.07p7-gtk
ghostscript-9.07p7-no_x11
gmc4cc-0.6.2p3
gnat-4.9.4p13
gnucobol-2.2p0
go-1.11.2
go-bootstrap-1.4.20171003p0
gobjc-4.9.4p13
gpc-20070904p0
gprolog-1.4.5
gravity-0.5.5
guile-1.8.8p6
guile2-2.2.4p0
haskell-report-2010
hlfl-0.60.1p0
icon-book-9.3
icon-book-two_sided-9.3p0
icon-interp-9.5.1p0
icon-interp-9.5.1p0-no_x11
icon-lib-9.5.1
icon-xlib-9.5.1
implementation-of-icon-6
implementation-of-icon-two_sided-6
intel2gas-1.3.3p2
iverilog-10.2p0
jamvm-1.5.4p0
jikes-1.22p8
jimtcl-0.77pl2
jruby-9.2.3.0
kawa-3.0
kona-3.2.0.20181016
libpgmath-6.0.0.20181017
librep-0.92.3p1
libv8-3.16.14.11p1v0
lua-5.1.5p6
lua-5.2.4p1
lua-5.3.5
luajit-2.0.5p1
lucee-5.2.8.50p0
mawk-1.3.4.20171017
moarvm-2017.10p2
mono-5.14.0.177
mono-addins-1.3.3
mruby-1.4.1p0
myhdl-0.9.0
myrddin-0.3.1
nasm-2.13.03
nbfc-0.1p1
newlisp-10.7.1p2
nim-0.16.0p0
node-8.12.0p1
nqp-2017.10
obc-2.9.7
ocaml-4.03.0p3
ocaml-camlp4-4.03+1p0
ocaml-camlp5-7.05
ocaml-graphics-4.03.0p3
otcl-1.14p0
p5-Language-Ook-1.0.2p0
p5-Probe-Perl-0.03
p5-Tcl-1.05
parrot-7.10.0p6
pcbasic-2.0.0
pcc-1.0.0p12
pccts-1.33r33
pfe-0.33.71p1
php-5.6.38p5
php-7.1.24
php-7.2.12
php-apache-5.6.38p5
php-apache-7.1.24
php-apache-7.2.12
php-bz2-5.6.38p5
php-bz2-7.1.24
php-bz2-7.2.12
php-cgi-5.6.38p5
php-cgi-7.1.24
php-cgi-7.2.12
php-curl-5.6.38p5
php-curl-7.1.24
php-curl-7.2.12
php-dba-5.6.38p5
php-dba-7.1.24
php-dba-7.2.12
php-dbg-5.6.38p5
php-dbg-7.1.24
php-dbg-7.2.12
php-gd-5.6.38p5
php-gd-7.1.24
php-gd-7.2.12
php-gmp-5.6.38p5
php-gmp-7.1.24
php-gmp-7.2.12
php-imap-5.6.38p5
php-imap-7.1.24
php-imap-7.2.12
php-intl-5.6.38p5
php-intl-7.1.24
php-intl-7.2.12
php-ldap-5.6.38p5
php-ldap-7.1.24
php-ldap-7.2.12
php-mcrypt-5.6.38p5
php-mcrypt-7.1.24
php-mssql-5.6.38p5
php-mysql-5.6.38p5
php-mysqli-5.6.38p5
php-mysqli-7.1.24
php-mysqli-7.2.12
php-odbc-5.6.38p5
php-odbc-7.1.24
php-odbc-7.2.12
php-pcntl-5.6.38p5
php-pcntl-7.1.24
php-pcntl-7.2.12
php-pdo_dblib-5.6.38p5
php-pdo_dblib-7.1.24
php-pdo_dblib-7.2.12
php-pdo_mysql-5.6.38p5
php-pdo_mysql-7.1.24
php-pdo_mysql-7.2.12
php-pdo_odbc-5.6.38p5
php-pdo_odbc-7.1.24
php-pdo_odbc-7.2.12
php-pdo_pgsql-5.6.38p5
php-pdo_pgsql-7.1.24
php-pdo_pgsql-7.2.12
php-pdo_sqlite-5.6.38p5
php-pdo_sqlite-7.1.24
php-pdo_sqlite-7.2.12
php-pgsql-5.6.38p5
php-pgsql-7.1.24
php-pgsql-7.2.12
php-pspell-5.6.38p5
php-pspell-7.1.24
php-pspell-7.2.12
php-shmop-5.6.38p5
php-shmop-7.1.24
php-shmop-7.2.12
php-snmp-5.6.38p5
php-snmp-7.1.24
php-snmp-7.2.12
php-soap-5.6.38p5
php-soap-7.1.24
php-soap-7.2.12
php-sqlite3-5.6.38p5
php-sqlite3-7.1.24
php-sqlite3-7.2.12
php-sybase_ct-5.6.38p5
php-tidy-5.6.38p5
php-tidy-7.1.24
php-tidy-7.2.12
php-xmlrpc-5.6.38p5
php-xmlrpc-7.1.24
php-xmlrpc-7.2.12
php-xsl-5.6.38p5
php-xsl-7.1.24
php-xsl-7.2.12
php-zip-5.6.38p5
php-zip-7.1.24
php-zip-7.2.12
ponyc-0.25.0
processing-1.5.1p7
py-cython-0.29p0
py3-cython-0.29p0
pypy-6.0.0
python-2.7.15p1
python-3.6.7
python-bsddb-2.7.15p1
python-gdbm-2.7.15p1
python-gdbm-3.6.7
python-idle-2.7.15p1
python-idle-3.6.7
python-tests-2.7.15p1
python-tests-3.6.7
python-tkinter-2.7.15p1
python-tkinter-3.6.7
python-tools-2.7.15p1
r5rs-19980421
racket-minimal-7.1
racket-minimal-7.1-no_jit
rakudo-2017.10
regina-3.9.1
ruby-2.4.5p0
ruby-2.5.3p0
ruby24-gdbm-2.4.5p0
ruby24-libv8-3.16.14.18p1
ruby24-ri_docs-2.4.5p0
ruby25-gdbm-2.5.3p0
ruby25-libv8-3.16.14.18p1
ruby25-ri_docs-2.5.3p0
rust-1.30.1
rust-doc-1.30.1
sbcl-1.4.8
scala-2.12.3
scheme48-1.9.2
scm-5f1p1
scm-5f1p1-no_x11
secularize-0.0.1.7}
seed7-20181014
snobol4-2.0p0
spin-6.4.7p0
squeak-funsqueak-3.10alpha7
squeak-image-3.10.2.7179p0
squeak-sources-3.9
squeak-vm-3.10.1p9
swi-prolog-7.6.0p2
tcl-8.5.19p3
tcl-8.6.8p1
tcltutor-30b7
tinyscheme-1.41
ucblogo-5.5p4
unicon-10.0betap2
vala-0.40.11
valadoc-0.40.11
verilator-3.912p1
wabt-1.0.5
yasm-1.3.0p1
zoem-09_149
280 packages in
lang
.
∴ ∀ ∃
ports.su
.