Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
1,243 port(s) found

Page 1 of 63 | Showing port(s) 1 to 20


a60

Algol 60 interpreter NASE A60

Version: 0.23a | Maintained by: barracuda156 | Categories: lang algol | Variants: xa60

abella

Interactive theorem prover

Version: 2.0.7 | Maintained by: barracuda156 | Categories: math ocaml | Variants:

absent

Small C++17 library meant to simplify the composition of nullable types in a generic, type-safe and declarative way.

Version: 2020.10.28 | Maintained by: barracuda156 | Categories: devel | Variants: debug, universal

adept2

Fast automatic differentiation library in C++

Version: 2023.01.13 | Maintained by: barracuda156 | Categories: math | Variants: g95, gcc10, gcc11, gcc12, gccdevel, universal

admesh

CLI and C library for processing triangulated solid meshes

Version: 0.98.5 | Maintained by: barracuda156 | Categories: math | Variants: universal

algol-68rs

The RSRE Algol-68RS Compiler: an update of the original port by Sian Mountbatten of a68toc (ctrans) from Algol-68RS/ELLA2000.

Version: 2021.05.18 | Maintained by: barracuda156 | Categories: lang algol | Variants: universal

algol68g

Algol 68 implementation as defined by the Revised Report

Version: 3.0.6 | Maintained by: barracuda156 | Categories: devel lang algol | Variants: compiler, plotutils, universal

AlphaSparse

Sparse BLAS lib supporting multiple backends

Version: 2022.03.30 | Maintained by: barracuda156 | Categories: math | Variants: clang10, clang11, clang12, clang13, clang14, clang15, clang90, g95, gcc10, gcc11, gcc12, gfortran, mpich, openmpi

antic

Algebraic Number Theory In C

Version: 2022.11.30 | Maintained by: barracuda156 | Categories: math | Variants: universal

any

Implementation of std::experimental::any, including small object optimization, for C++11 compilers

Version: 2023.01.18 | Maintained by: barracuda156 | Categories: devel | Variants: debug, universal

arghandler

Argh! A minimalist argument handler

Version: 1.3.2 | Maintained by: barracuda156 | Categories: devel | Variants: debug, universal

ascent

C++ simulation engine and differential equation solver

Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debug, universal

azmq

C++ language binding library integrating ZeroMQ with Boost Asio

Version: 1.0.3 | Maintained by: barracuda156 | Categories: devel | Variants: debug

blaspp

C++ API for the Basic Linear Algebra Subroutines

Version: 2023.01.00 | Maintained by: barracuda156 | Categories: science math | Variants: accelerate, atlas, openblas, debug, universal

blis

BLAS-like Library Instantiation Software Framework

Version: 0.9.0 | Maintained by: barracuda156, catap | Categories: math | Variants: universal

cafut

Single-file object-oriented unit testing utility for Coarray Fortran

Version: 2022.01.27 | Maintained by: barracuda156 | Categories: devel fortran | Variants:

carlson-elliptic-integrals

Carlson symmetric forms of elliptic integrals

Version: 1.0.0 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevel

clingcon

Extension of clingo to handle constraints over integers

Version: 5.2.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, universal

clingo

An Answer Set Programming system to ground and solve logic programs.

Version: 5.6.2 | Maintained by: barracuda156 | Categories: math | Variants: debug, universal

cmh

Compute Igusa class polynomials

Version: 1.1.1 | Maintained by: barracuda156 | Categories: math | Variants: universal

1,243 port(s) found

Page 1 of 63 | Showing port(s) 1 to 20