BSD PortsMIT 19657 ports
MIT License · SPDX MIT · Read the license text at opensource.org
FreeBSD 7391 · NetBSD 3789 · DragonFly 5836 · MidnightBSD 2614 · HardenedBSD 7 · GhostBSD 17 · OPNsense 3 · 19657 ports in all.
| Port | System | Version | Comment |
|---|---|---|---|
| math/R-cran-haven | FreeBSD | 2.5.5 | math/R-cran-haven 2.5.5: Import and Export 'SPSS', 'Stata' and 'SAS' Files. FreeBSD port maintained by [email protected]. |
| math/R-cran-isoband | FreeBSD | 0.3.0 | math/R-cran-isoband 0.3.0: Generate Isolines and Isobands from Regularly Spaced Elevation Grids. FreeBSD port maintained by [email protected]. |
| math/R-cran-labeling | FreeBSD | 0.4.3 | math/R-cran-labeling 0.4.3: Provides a range of axis labeling algorithms. FreeBSD port maintained by [email protected]. |
| math/R-cran-mcmc | FreeBSD | 0.9.8 | math/R-cran-mcmc 0.9.8: Markov Chain Monte Carlo. FreeBSD port maintained by [email protected]. |
| math/R-cran-recipes | FreeBSD | 1.4.0 | math/R-cran-recipes 1.4.0: Preprocessing Tools to Create Design Matrices. FreeBSD port maintained by [email protected]. |
| math/R-cran-sf | FreeBSD | 1.1.3_1 | math/R-cran-sf 1.1.3_1: Simple Features for R. FreeBSD port maintained by [email protected]. |
| math/R-cran-wk | FreeBSD | 0.9.5 | math/R-cran-wk 0.9.5: Lightweight Well-Known Geometry Parsing. FreeBSD port maintained by [email protected]. |
| math/add | FreeBSD | 20260909 | math/add 20260909: Full-screen editing calculator. FreeBSD port maintained by [email protected]. |
| math/amgcl | FreeBSD | 1.5.0 | math/amgcl 1.5.0: C++ header-only library for solving large sparse linear systems. FreeBSD port maintained by [email protected]. |
| math/bitwuzla | FreeBSD | 0.9.1 | math/bitwuzla 0.9.1: SMT solver for the theories of fixed-size bit-vectors. FreeBSD port maintained by [email protected]. |
| math/boolector | FreeBSD | 3.2.4_1 | math/boolector 3.2.4_1: Satisfiability Modulo Theories (SMT) solver. FreeBSD port maintained by [email protected]. |
| math/btor2tools | FreeBSD | 1.0.3 | math/btor2tools 1.0.3: Generic parser and tool package for the BTOR2 format. FreeBSD port maintained by [email protected]. |
| math/cadiback | FreeBSD | 0.2.1 | math/cadiback 0.2.1: CaDiBack BackBone Extractor. FreeBSD port maintained by [email protected]. |
| math/cadical | FreeBSD | 2.1.3_1 | math/cadical 2.1.3_1: Simple CDCL satisfiability solver. FreeBSD port maintained by [email protected]. |
| math/cglm | FreeBSD | 0.9.6 | math/cglm 0.9.6: Highly optimized graphics math (glm) for C. FreeBSD port maintained by [email protected]. |
| math/chuffed | FreeBSD | 0.14.0 | math/chuffed 0.14.0: Lazy clause generation CP solver for MiniZinc. FreeBSD port maintained by [email protected]. |
| math/cimod | FreeBSD | 1.7.5 | math/cimod 1.7.5: C++ header-only library for a binary quadratic models. FreeBSD port maintained by [email protected]. |
| math/clasp | FreeBSD | 3.4.1 | math/clasp 3.4.1: Answer set solver for (extended) normal logic programs. FreeBSD port maintained by [email protected]. |
| math/clingcon | FreeBSD | 5.2.1 | math/clingcon 5.2.1: Extension of clingo to handle constraints over integers. FreeBSD port maintained by [email protected]. |
| math/clingo | FreeBSD | 5.8.0 | math/clingo 5.8.0: Grounder and solver for logic programs. FreeBSD port maintained by [email protected]. |
| math/combblas | FreeBSD | 2.0.0_3 | math/combblas 2.0.0_3: Combinatorial BLAS library: an extensible parallel graph library. FreeBSD port maintained by [email protected]. |
| math/cryptominisat | FreeBSD | 5.11.21_8 | math/cryptominisat 5.11.21_8: General-purpose award-winning SAT solver. FreeBSD port maintained by [email protected]. |
| math/csdp | FreeBSD | 6.2.0_3 | math/csdp 6.2.0_3: Solver for semidefinite programming problems. FreeBSD port maintained by [email protected]. |
| math/ctl-sat | FreeBSD | g20200210 | math/ctl-sat g20200210: CTL (Computation Tree Logic) SAT solver. FreeBSD port maintained by [email protected]. |
| math/exprtk | FreeBSD | 0.0.3 | math/exprtk 0.0.3: C++ Mathematical Expression Toolkit Library. FreeBSD port maintained by [email protected]. |
| math/faiss | FreeBSD | 1.15.1_1 | math/faiss 1.15.1_1: Library for efficient similarity search & clustering of dense vectors. FreeBSD port maintained by [email protected]. |
| math/fast_float | FreeBSD | 8.3.0 | math/fast_float 8.3.0: Fast and exact C++ number parsing library. FreeBSD port maintained by [email protected]. |
| math/fastops | FreeBSD | 1.0.0 | math/fastops 1.0.0: AVX/AVX2-accelerated bulk call of math functions. FreeBSD port maintained by [email protected]. |
| math/fend | FreeBSD | 1.5.9 | math/fend 1.5.9: Arbitrary-precision unit-aware calculator. FreeBSD port maintained by [email protected]. |
| math/fenics-basix | FreeBSD | 0.11.0 | math/fenics-basix 0.11.0: FEniCS finite element basis evaluation library. FreeBSD port maintained by [email protected]. |
| math/formfactor | FreeBSD | 0.5.1 | math/formfactor 0.5.1: Library for computation of scattering form factors of polyhedra. FreeBSD port maintained by [email protected]. |
| math/gecode | FreeBSD | 6.4.0 | math/gecode 6.4.0: Generic Constraint Development Environment. FreeBSD port maintained by [email protected]. |
| math/gh-bc | FreeBSD | 7.1.0 | math/gh-bc 7.1.0: GNU compatible bc/dc calculator. FreeBSD port maintained by [email protected]. |
| math/glm | FreeBSD | 1.0.3,1 | math/glm 1.0.3,1: C++ mathematics library for software based on the OpenGL GLSL. FreeBSD port maintained by [email protected]. |
| math/glucose | FreeBSD | 4.2.1 | math/glucose 4.2.1: Parallel SAT solver based on Minisat, with glue clauses. FreeBSD port maintained by [email protected]. |
| math/half | FreeBSD | 2.2.1 | math/half 2.2.1: C++ library for half precision floating point arithmetic. FreeBSD port maintained by [email protected]. |
| math/highs | FreeBSD | 1.15.1 | math/highs 1.15.1: Solver for large scale sparse linear programming (LP) problems. FreeBSD port maintained by [email protected]. |
| math/hs-Agda | FreeBSD | 2.8.0.2 | math/hs-Agda 2.8.0.2: Dependently typed functional programming language and proof assistant. FreeBSD port maintained by [email protected]. |
| math/kahip | FreeBSD | 3.25 | math/kahip 3.25: Karlsruhe high quality graph partitioning. FreeBSD port maintained by [email protected]. |
| math/kalker | FreeBSD | 2.2.1_18 | math/kalker 2.2.1_18: Scientific calculator that supports math-like syntax. FreeBSD port maintained by [email protected]. |
| math/kamis | FreeBSD | 3.2 | math/kamis 3.2: Maximum independent sets and vertex covers of large sparse graphs. FreeBSD port maintained by [email protected]. |
| math/kissat | FreeBSD | 4.0.4 | math/kissat 4.0.4: Kissat SAT Solver. FreeBSD port maintained by [email protected]. |
| math/libcerf | FreeBSD | 3.3 | math/libcerf 3.3: Library that provides an implementation of complex error functions. FreeBSD port maintained by [email protected]. |
| math/libdivsufsort | FreeBSD | 2.0.2.1.20151027_1 | math/libdivsufsort 2.0.2.1.20151027_1: Lightweight suffix-sorting library. FreeBSD port maintained by [email protected]. |
| math/libfixmath | FreeBSD | 2023.08.08 | math/libfixmath 2023.08.08: Cross-platform fixed point math library. FreeBSD port maintained by [email protected]. |
| math/librdata | FreeBSD | 0.1.0.g20231003 | math/librdata 0.1.0.g20231003: Read and write R data frames from C. FreeBSD port maintained by [email protected]. |
| math/lingeling | FreeBSD | 1.0.0 | math/lingeling 1.0.0: Lingeling SAT Solver. FreeBSD port maintained by [email protected]. |
| math/mdal | FreeBSD | 1.3.1_3 | math/mdal 1.3.1_3: Mesh data abstration library. FreeBSD port maintained by [email protected]. |
| math/minisat | FreeBSD | 2.2.1_2 | math/minisat 2.2.1_2: Minimalistic, open-source SAT solver. FreeBSD port maintained by [email protected]. |
| math/multichoose | FreeBSD | 1.0.3.2 | math/multichoose 1.0.3.2: Generate multiset combinations (n multichoose k). FreeBSD port maintained by [email protected]. |
| math/nlopt | FreeBSD | 2.11.0_1 | math/nlopt 2.11.0_1: Nonlinear optimization library. FreeBSD port maintained by [email protected]. |
| math/ntpoly | FreeBSD | 3.1.1_4 | math/ntpoly 3.1.1_4: Library for computing the functions of sparse matrices. FreeBSD port maintained by [email protected]. |
| math/omacalc | FreeBSD | 0.2.2 | math/omacalc 0.2.2: Dead-simple calculator built with Qt Quick. FreeBSD port maintained by [email protected]. |
| math/openlibm | FreeBSD | 0.8.8 | math/openlibm 0.8.8: High quality system independent, portable, open source libm. FreeBSD port maintained by [email protected]. |
| math/p5-Math-Random-ISAAC-XS | FreeBSD | 1.004_3 | math/p5-Math-Random-ISAAC-XS 1.004_3: C implementation of the ISAAC PRNG Algorithm. FreeBSD port maintained by [email protected]. |
| math/perlinnoise | FreeBSD | 3.0.0 | math/perlinnoise 3.0.0: Header-only Perlin noise library for modern C++. FreeBSD port maintained by [email protected]. |
| math/picosat | FreeBSD | 965 | math/picosat 965: Satisfiability (SAT) solver for boolean variables. FreeBSD port maintained by [email protected]. |
| math/py-POT | FreeBSD | 0.9.7.p1 | math/py-POT 0.9.7.p1: Python Optimal Transport Library. FreeBSD port maintained by [email protected]. |
| math/py-PuLP | FreeBSD | 4.2.0 | math/py-PuLP 4.2.0: LP modeler written in python. FreeBSD port maintained by [email protected]. |
| math/py-PyMetis | FreeBSD | 2025.2.2 | math/py-PyMetis 2025.2.2: Python wrapper for the Metis graph partitioning software. FreeBSD port maintained by [email protected]. |
| math/py-PySCIPOpt | FreeBSD | 6.3.0 | math/py-PySCIPOpt 6.3.0: Python interface and modeling environment for SCIP. FreeBSD port maintained by [email protected]. |
| math/py-altgraph | FreeBSD | 0.17.5 | math/py-altgraph 0.17.5: Python graph (network) package. FreeBSD port maintained by [email protected]. |
| math/py-animatplot | FreeBSD | 0.4.3_3 | math/py-animatplot 0.4.3_3: Making animating in matplotlib easy. FreeBSD port maintained by [email protected]. |
| math/py-animatplot-ng | FreeBSD | 0.4.6 | math/py-animatplot-ng 0.4.6: Making animating in matplotlib easy (new gen). FreeBSD port maintained by [email protected]. |
| math/py-apted | FreeBSD | 1.0.3 | math/py-apted 1.0.3: APTED algorithm for the Tree Edit Distance. FreeBSD port maintained by [email protected]. |
| math/py-autograd | FreeBSD | 1.6.1_2 | math/py-autograd 1.6.1_2: Efficiently computes derivatives of numpy code. FreeBSD port maintained by [email protected]. |
| math/py-baycomp | FreeBSD | 1.0.3_4 | math/py-baycomp 1.0.3_4: Library for Bayesian comparison of classifiers. FreeBSD port maintained by [email protected]. |
| math/py-bayesian-optimization | FreeBSD | 3.3.0 | math/py-bayesian-optimization 3.3.0: Bayesian Optimization package. FreeBSD port maintained by [email protected]. |
| math/py-bitmath | FreeBSD | 2.1.1 | math/py-bitmath 2.1.1: Represent and manipulate file sizes with different prefix notations. FreeBSD port maintained by [email protected]. |
| math/py-chaospy | FreeBSD | 4.3.21 | math/py-chaospy 4.3.21: Toolbox for performing uncertainty quantification. FreeBSD port maintained by [email protected]. |
| math/py-clingcon | FreeBSD | 5.2.1_1 | math/py-clingcon 5.2.1_1: Extension of clingo to handle constraints over integers. FreeBSD port maintained by [email protected]. |
| math/py-clingo | FreeBSD | 5.7.1_1 | math/py-clingo 5.7.1_1: Grounder and solver for logic programs. FreeBSD port maintained by [email protected]. |
| math/py-cmaes | FreeBSD | 0.13.1 | math/py-cmaes 0.13.1: Lightweight CMA Evolution Strategy implementation for Python. FreeBSD port maintained by [email protected]. |
| math/py-cryptominisat | FreeBSD | 5.11.21_1 | math/py-cryptominisat 5.11.21_1: Bindings to CryptoMiniSat (a SAT solver). FreeBSD port maintained by [email protected]. |
| math/py-daqp | FreeBSD | 0.10.3 | math/py-daqp 0.10.3: DAQP: A dual active-set QP solver. FreeBSD port maintained by [email protected]. |
| math/py-dcor | FreeBSD | 0.7 | math/py-dcor 0.7: Distance correlation and energy statistics in Python. FreeBSD port maintained by [email protected]. |
| math/py-disjoint-set | FreeBSD | 0.9.0 | math/py-disjoint-set 0.9.0: Disjoint set data structure implementation for Python. FreeBSD port maintained by [email protected]. |
| math/py-emcee | FreeBSD | 3.1.6_2 | math/py-emcee 3.1.6_2: Python ensemble sampling toolkit for MCMC. FreeBSD port maintained by [email protected]. |
| math/py-evalidate | FreeBSD | 2.1.5 | math/py-evalidate 2.1.5: Safe evaluation of untrusted user-supplied python expressions. FreeBSD port maintained by [email protected]. |
| math/py-fairlearn | FreeBSD | 0.14.0 | math/py-fairlearn 0.14.0: Python package to assess and improve fairness of machine learning models. FreeBSD port maintained by [email protected]. |
| math/py-faiss | FreeBSD | 1.15.1 | math/py-faiss 1.15.1: Library for efficient similarity search & clustering of dense vectors. FreeBSD port maintained by [email protected]. |
| math/py-fenics-basix | FreeBSD | 0.11.0 | math/py-fenics-basix 0.11.0: FEniCS finite element basis evaluation library. FreeBSD port maintained by [email protected]. |
| math/py-findiff | FreeBSD | 0.16.0 | math/py-findiff 0.16.0: Finite difference derivatives in any number of dimensions. FreeBSD port maintained by [email protected]. |
| math/py-formulaic | FreeBSD | 1.2.2 | math/py-formulaic 1.2.2: Implementation of Wilkinson formulas. FreeBSD port maintained by [email protected]. |
| math/py-fraction | FreeBSD | 2.2.0_1 | math/py-fraction 2.2.0_1: Carry out all the fraction operations. FreeBSD port maintained by [email protected]. |
| math/py-fsph | FreeBSD | 0.3.0_2 | math/py-fsph 0.3.0_2: Library to quickly compute series of complex spherical harmonics. FreeBSD port maintained by [email protected]. |
| math/py-graphillion | FreeBSD | 2.1 | math/py-graphillion 2.1: Fast, lightweight graphset operation library in Python. FreeBSD port maintained by [email protected]. |
| math/py-gym | FreeBSD | 0.26.2_4 | math/py-gym 0.26.2_4: OpenAI toolkit for developing and comparing your reinforcement learning agents. FreeBSD port maintained by [email protected]. |
| math/py-gym-notices | FreeBSD | 0.1.0 | math/py-gym-notices 0.1.0: Notices for gym. FreeBSD port maintained by [email protected]. |
| math/py-highspy | FreeBSD | 1.15.1 | math/py-highspy 1.15.1: Thin set of pybind11 wrappers to HiGHS. FreeBSD port maintained by [email protected]. |
| math/py-iminuit | FreeBSD | 2.33.0 | math/py-iminuit 2.33.0: Jupyter-friendly Python frontend for MINUIT2 in C++. FreeBSD port maintained by [email protected]. |
| math/py-islpy | FreeBSD | 2026.2.2 | math/py-islpy 2026.2.2: Wrapper around isl, an integer set library. FreeBSD port maintained by [email protected]. |
| math/py-isosurfaces | FreeBSD | 0.1.2_3 | math/py-isosurfaces 0.1.2_3: Construct isolines/isosurfaces over a 2D/3D scalar field. FreeBSD port maintained by [email protected]. |
| math/py-jacobi | FreeBSD | 0.9.2_2 | math/py-jacobi 0.9.2_2: Compute numerical derivatives. FreeBSD port maintained by [email protected]. |
| math/py-jij-cimod | FreeBSD | 1.7.5 | math/py-jij-cimod 1.7.5: Python binding for the C++ library for a binary quadratic model. FreeBSD port maintained by [email protected]. |
| math/py-kahip | FreeBSD | 3.25 | math/py-kahip 3.25: Karlsruhe high quality graph partitioning. FreeBSD port maintained by [email protected]. |
| math/py-keras-applications | FreeBSD | 1.0.8_4 | math/py-keras-applications 1.0.8_4: Reference implementations of popular deep learning models. FreeBSD port maintained by [email protected]. |
| math/py-keras-preprocessing | FreeBSD | 1.1.2_4 | math/py-keras-preprocessing 1.1.2_4: Easy data preprocessing and data augmentation for DL models. FreeBSD port maintained by [email protected]. |
| math/py-latex2sympy2-extended | FreeBSD | 1.11.0 | math/py-latex2sympy2-extended 1.11.0: Convert LaTeX math to SymPy expressions. FreeBSD port maintained by [email protected]. |
| math/py-levmar | FreeBSD | 0.3.0.d0+g_1 | math/py-levmar 0.3.0.d0+g_1: Binding to levmar library (Levenberg-Marquardt optimization algorithm). FreeBSD port maintained by [email protected]. |