Page 1 of 128 | Showing port(s) 1 to 20
a60
Algol 60 interpreter NASE A60
Version: 0.23a | Maintained by: barracuda156 | Categories: lang algol | Variants: xa60abella
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: debugadept2
Fast automatic differentiation library in C++
Version: 2024.01.24 | Maintained by: barracuda156 | Categories: math | Variants: accelerate, atlas, blis, flexiblas, openblas, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, universaladmesh
CLI and C library for processing triangulated solid meshes
Version: 0.98.5 | Maintained by: barracuda156 | Categories: math | Variants: universalalac
Apple Lossless Audio Codec and utility
Version: 0.0.7 | Maintained by: barracuda156 | Categories: audio | Variants: universalalacenc
Apple Lossless Audio Codec Encoder
Version: 0.4.0 | Maintained by: barracuda156 | Categories: audio | Variants: universal, debugalgol-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: universalalgol68g
Algol 68 implementation as defined by the Revised Report
Version: 3.5.1 | Maintained by: barracuda156 | Categories: devel lang algol | Variants: compiler, native, plotutils, postgresql, R, universalAlphaSparse
Sparse BLAS lib supporting multiple backends
Version: 2023.06.19 | Maintained by: barracuda156 | Categories: math | Variants: clang10, clang11, clang12, clang13, clang14, clang15, clang90, g95, gcc10, gcc11, gcc12, gcc13, gfortran, mpich, openmpiamule
aMule, the all-platform eMule p2p client
Version: 2021.12.05 | Maintained by: barracuda156 | Categories: net www p2p | Variants: debug, wxwidgets30, wxgtk30, universalany
Implementation of std::experimental::any, including small object optimization, for C++11 compilers
Version: 2023.01.18 | Maintained by: barracuda156 | Categories: devel | Variants: debug, universalarghandler
Argh! A minimalist argument handler
Version: 1.3.2 | Maintained by: barracuda156 | Categories: devel | Variants: debugascent
C++ simulation engine and differential equation solver
Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugazmq
C++ language binding library integrating ZeroMQ with Boost Asio
Version: 1.0.3 | Maintained by: barracuda156 | Categories: devel | Variants: debugbasiclu
Sparse LU factorization and update
Version: 2.2.0 | Maintained by: barracuda156 | Categories: math | Variants: universalbasix
FEniCS finite element basis evaluation library
Version: 0.7.0 | Maintained by: barracuda156 | Categories: science | Variants: debug, universalbearssl
BearSSL is an implementation of the SSL/TLS protocol (RFC 5246) written in C
Version: 0.6 | Maintained by: barracuda156 | Categories: devel crypto | Variants:blaspp
C++ API for the Basic Linear Algebra Subroutines
Version: 2023.11.05 | Maintained by: barracuda156 | Categories: science math | Variants: debug, accelerate, atlas, openblas, universalblis
BLAS-like Library Instantiation Software Framework
Version: 0.9.0 | Maintained by: barracuda156, catap | Categories: math | Variants: universal2,554 port(s) found
Page 1 of 128 | Showing port(s) 1 to 20