Maintainer:
Category:
Variant:
File installed:
Port version:
715 port(s) found
715 port(s) found
Page 7 of 36 | Showing port(s) 121 to 140
fstar
General-purpose functional language aimed at program verification
Version: 2022.06.08 | Maintained by: landonf | Categories: devel lang | Variants:fstar-devel
Obsolete port, replaced by fstar
Version: 20210824-b95d1ac | Maintained by: landonf | Categories: devel lang | Variants:fstar_select
Obsolete port
Version: 1.3 | Maintained by: landonf | Categories: devel lang | Variants:ftidy
Fortran Tidy
Version: 7.2 | Maintained by: | Categories: lang | Variants: g95, gcc10, gcc11, gcc5, gcc6, gcc7, gcc8, gcc9, gccdevelg-wrap
A tool for autogenerating scheme bindings for C language functions, structures & enums.
Version: 1.9.15 | Maintained by: | Categories: lang | Variants:g95
Another GNU Fortran 95 compiler
Version: 0.93 | Maintained by: | Categories: lang | Variants: gcc40gambit-c
Gambit-C is a fast Scheme implementation.
Version: 4.9.3 | Maintained by: | Categories: lang | Variants: optimized, profile, universalgauche
A script interpreter based on Scheme
Version: 0.9.4 | Maintained by: | Categories: lang | Variants: euc_jp, sjis, no_multibyte, no_iconv, no_gdbm, no_slib, no_threads, no_ipv6gauche-c-wrapper
c-wrapper is a FFI (Foreign Function Interface) for Gauche.
Version: 0.6.1 | Maintained by: | Categories: lang | Variants: universalgauche-gl
OpenGL binding for the Gauche
Version: 0.4.4 | Maintained by: | Categories: lang | Variants: universalgauche-gtk
Gauche extension module to use GTK
Version: 0.4.1 | Maintained by: | Categories: lang | Variants: universalgawk
The GNU awk utility.
Version: 5.3.0 | Maintained by: Schamschula | Categories: lang | Variants: universal, mpfrgawk-abort
abort extension for gawk
Version: 1.0.1 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-aregex
aregex extension for gawk
Version: 1.1.0 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-errno
errno extension for gawk
Version: 1.1.1 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-gd
gd extension for gawk
Version: 1.0.3 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-haru
haru extension for gawk
Version: 1.0.2 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-json
json extension for gawk
Version: 2.0.1 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-lmdb
lmdb extension for gawk
Version: 1.1.3 | Maintained by: ryandesign | Categories: textproc lang | Variants: universalgawk-mpfr
mpfr extension for gawk
Version: 1.1.0 | Maintained by: ryandesign | Categories: textproc lang | Variants: universal715 port(s) found
Page 7 of 36 | Showing port(s) 121 to 140