BSD PortsMIT 19628 ports
MIT License · SPDX MIT · Read the license text at opensource.org
FreeBSD 7386 · NetBSD 3786 · DragonFly 5836 · MidnightBSD 2595 · HardenedBSD 6 · GhostBSD 16 · OPNsense 3 · 19628 ports in all.
| Port | System | Version | Comment |
|---|---|---|---|
| math/cglm | DragonFly | 0.9.4 | math/cglm 0.9.4: Highly optimized graphics math (glm) for C. DragonFly port maintained by [email protected]. |
| math/chuffed | DragonFly | 0.13.2 | math/chuffed 0.13.2: Lazy clause generation CP solver for MiniZinc. DragonFly port maintained by [email protected]. |
| math/cimod | DragonFly | 1.6.2 | math/cimod 1.6.2: C++ header-only library for a binary quadratic models. DragonFly port maintained by [email protected]. |
| math/clasp | DragonFly | 3.3.9 | math/clasp 3.3.9: Answer set solver for (extended) normal logic programs. DragonFly port maintained by [email protected]. |
| math/clingcon | DragonFly | 5.2.1 | math/clingcon 5.2.1: Extension of clingo to handle constraints over integers. DragonFly port maintained by [email protected]. |
| math/clingo | DragonFly | 5.7.1 | math/clingo 5.7.1: Grounder and solver for logic programs. DragonFly port maintained by [email protected]. |
| math/combblas | DragonFly | 2.0.0_2 | math/combblas 2.0.0_2: Combinatorial BLAS library: an extensible parallel graph library. DragonFly port maintained by [email protected]. |
| math/cryptominisat | DragonFly | 5.11.21_4 | math/cryptominisat 5.11.21_4: General-purpose award-winning SAT solver. DragonFly port maintained by [email protected]. |
| math/csdp | DragonFly | 6.2.0_3 | math/csdp 6.2.0_3: Solver for semidefinite programming problems. DragonFly port maintained by [email protected]. |
| math/ctl-sat | DragonFly | g20200210 | math/ctl-sat g20200210: CTL (Computation Tree Logic) SAT solver. DragonFly port maintained by [email protected]. |
| math/exprtk | DragonFly | 0.0.3 | math/exprtk 0.0.3: C++ Mathematical Expression Toolkit Library. DragonFly port maintained by [email protected]. |
| math/faiss | DragonFly | 1.7.2 | math/faiss 1.7.2: Library for efficient similarity search & clustering of dense vectors. DragonFly port maintained by [email protected]. |
| math/fast_float | DragonFly | 8.0.2 | math/fast_float 8.0.2: Fast and exact C++ number parsing library. DragonFly port maintained by [email protected]. |
| math/fastops | DragonFly | 1.0.0 | math/fastops 1.0.0: AVX/AVX2-accelerated bulk call of math functions. DragonFly port maintained by [email protected]. |
| math/gecode | DragonFly | 6.3.0_7 | math/gecode 6.3.0_7: Generic Constraint Development Environment. DragonFly port maintained by [email protected]. |
| math/glm | DragonFly | 1.0.1,1 | math/glm 1.0.1,1: C++ mathematics library for software based on the OpenGL GLSL. DragonFly port maintained by [email protected]. |
| math/glucose | DragonFly | 4.2.1 | math/glucose 4.2.1: Parallel SAT solver based on Minisat, with glue clauses. DragonFly port maintained by [email protected]. |
| math/half | DragonFly | 2.2.0 | math/half 2.2.0: C++ library for half precision floating point arithmetic. DragonFly port maintained by [email protected]. |
| math/hs-Agda | DragonFly | 2.7.0.1_1 | math/hs-Agda 2.7.0.1_1: Dependently typed functional programming language and proof assistant. DragonFly port maintained by [email protected]. |
| math/kahip | DragonFly | 3.18 | math/kahip 3.18: Karlsruhe high quality graph partitioning. DragonFly port maintained by [email protected]. |
| math/kalker | DragonFly | 2.2.1_4 | math/kalker 2.2.1_4: Scientific calculator that supports math-like syntax. DragonFly port maintained by [email protected]. |
| math/kamis | DragonFly | 2.1 | math/kamis 2.1: Maximum independent sets and vertex covers of large sparse graphs. DragonFly port maintained by [email protected]. |
| math/kissat | DragonFly | 4.0.2 | math/kissat 4.0.2: Kissat SAT Solver. DragonFly port maintained by [email protected]. |
| math/libcerf | DragonFly | 2.4 | math/libcerf 2.4: Library that provides an implementation of complex error functions. DragonFly port maintained by [email protected]. |
| math/libdivsufsort | DragonFly | 2.0.2.1.20151027 | math/libdivsufsort 2.0.2.1.20151027: Lightweight suffix-sorting library. DragonFly port maintained by [email protected]. |
| math/libfixmath | DragonFly | 2023.08.08 | math/libfixmath 2023.08.08: Cross-platform fixed point math library. DragonFly port maintained by [email protected]. |
| math/libformfactor | DragonFly | 0.3.1 | math/libformfactor 0.3.1: Library for computation of scattering form factors of polyhedra. DragonFly port maintained by [email protected]. |
| math/librdata | DragonFly | 0.1.0.g20231003 | math/librdata 0.1.0.g20231003: Read and write R data frames from C. DragonFly port maintained by [email protected]. |
| math/lingeling | DragonFly | 1.0.0 | math/lingeling 1.0.0: Lingeling SAT Solver. DragonFly port maintained by [email protected]. |
| math/mdal | DragonFly | 1.1.0 | math/mdal 1.1.0: Mesh data abstration library. DragonFly port maintained by [email protected]. |
| math/minisat | DragonFly | 2.2.1_2 | math/minisat 2.2.1_2: Minimalistic, open-source SAT solver. DragonFly port maintained by [email protected]. |
| math/multichoose | DragonFly | 1.0.3.2 | math/multichoose 1.0.3.2: Generate multiset combinations (n multichoose k). DragonFly port maintained by [email protected]. |
| math/nlopt | DragonFly | 2.10.0 | math/nlopt 2.10.0: Nonlinear optimization library. DragonFly port maintained by [email protected]. |
| math/ntpoly | DragonFly | 3.1.1_1 | math/ntpoly 3.1.1_1: Library for computing the functions of sparse matrices. DragonFly port maintained by [email protected]. |
| math/openlibm | DragonFly | 0.8.6 | math/openlibm 0.8.6: High quality system independent, portable, open source libm. DragonFly port maintained by [email protected]. |
| math/p5-Math-Random-ISAAC-XS | DragonFly | 1.004_3 | math/p5-Math-Random-ISAAC-XS 1.004_3: C implementation of the ISAAC PRNG Algorithm. DragonFly port maintained by [email protected]. |
| math/perlinnoise | DragonFly | 3.0.0 | math/perlinnoise 3.0.0: Header-only Perlin noise library for modern C++. DragonFly port maintained by [email protected]. |
| math/picosat | DragonFly | 965 | math/picosat 965: Satisfiability (SAT) solver for boolean variables. DragonFly port maintained by [email protected]. |
| math/py-POT | DragonFly | 0.9.3 | math/py-POT 0.9.3: Python Optimal Transport Library. DragonFly port maintained by [email protected]. |
| math/py-PyMetis | DragonFly | 2023.1_1 | math/py-PyMetis 2023.1_1: Python wrapper for the Metis graph partitioning software. DragonFly port maintained by [email protected]. |
| math/py-PySCIPOpt | DragonFly | 4.3.0_1 | math/py-PySCIPOpt 4.3.0_1: Python interface and modeling environment for SCIP. DragonFly port maintained by [email protected]. |
| math/py-altgraph | DragonFly | 0.17.4_1 | math/py-altgraph 0.17.4_1: Python graph (network) package. DragonFly port maintained by [email protected]. |
| math/py-animatplot | DragonFly | 0.4.3_1 | math/py-animatplot 0.4.3_1: Making animating in matplotlib easy. DragonFly port maintained by [email protected]. |
| math/py-animatplot-ng | DragonFly | 0.4.4_1 | math/py-animatplot-ng 0.4.4_1: Making animating in matplotlib easy (new gen). DragonFly port maintained by [email protected]. |
| math/py-autograd | DragonFly | 1.6.1 | math/py-autograd 1.6.1: Efficiently computes derivatives of numpy code. DragonFly port maintained by [email protected]. |
| math/py-baycomp | DragonFly | 1.0.3_1 | math/py-baycomp 1.0.3_1: Library for Bayesian comparison of classifiers. DragonFly port maintained by [email protected]. |
| math/py-bayesian-optimization | DragonFly | 1.4.3_1 | math/py-bayesian-optimization 1.4.3_1: Bayesian Optimization package. DragonFly port maintained by [email protected]. |
| math/py-bitmath | DragonFly | 1.3.3.1_1 | math/py-bitmath 1.3.3.1_1: Represent and manipulate file sizes with different prefix notations. DragonFly port maintained by [email protected]. |
| math/py-chaospy | DragonFly | 4.3.11_2 | math/py-chaospy 4.3.11_2: Toolbox for performing uncertainty quantification. DragonFly port maintained by [email protected]. |
| math/py-clingcon | DragonFly | 5.2.1_1 | math/py-clingcon 5.2.1_1: Extension of clingo to handle constraints over integers. DragonFly port maintained by [email protected]. |
| math/py-clingo | DragonFly | 5.7.1_1 | math/py-clingo 5.7.1_1: Grounder and solver for logic programs. DragonFly port maintained by [email protected]. |
| math/py-cmaes | DragonFly | 0.11.1 | math/py-cmaes 0.11.1: Lightweight CMA Evolution Strategy implementation for Python. DragonFly port maintained by [email protected]. |
| math/py-cryptominisat | DragonFly | 5.11.21_1 | math/py-cryptominisat 5.11.21_1: Bindings to CryptoMiniSat (a SAT solver). DragonFly port maintained by [email protected]. |
| math/py-daqp | DragonFly | 0.6.0_1 | math/py-daqp 0.6.0_1: DAQP: A dual active-set QP solver. DragonFly port maintained by [email protected]. |
| math/py-disjoint-set | DragonFly | 0.8.0_1 | math/py-disjoint-set 0.8.0_1: Disjoint set data structure implementation for Python. DragonFly port maintained by [email protected]. |
| math/py-emcee | DragonFly | 3.1.6 | math/py-emcee 3.1.6: Python ensemble sampling toolkit for MCMC. DragonFly port maintained by [email protected]. |
| math/py-evalidate | DragonFly | 2.0.2_1 | math/py-evalidate 2.0.2_1: Safe evaluation of untrusted user-supplied python expressions. DragonFly port maintained by [email protected]. |
| math/py-fastdtw | DragonFly | 0.3.4_3 | math/py-fastdtw 0.3.4_3: Dynamic Time Warping (DTW) algorithm with an O(N) complexity. DragonFly port maintained by [email protected]. |
| math/py-formulaic | DragonFly | 1.0.2 | math/py-formulaic 1.0.2: Implementation of Wilkinson formulas. DragonFly port maintained by [email protected]. |
| math/py-fraction | DragonFly | 2.2.0_1 | math/py-fraction 2.2.0_1: Carry out all the fraction operations. DragonFly port maintained by [email protected]. |
| math/py-grandalf | DragonFly | 0.8_1 | math/py-grandalf 0.8_1: Graph experimentation and drawing algorithms framework. DragonFly port maintained by [email protected]. |
| math/py-graphillion | DragonFly | 1.5_1 | math/py-graphillion 1.5_1: Fast, lightweight graphset operation library in Python. DragonFly port maintained by [email protected]. |
| math/py-gym | DragonFly | 0.26.2_2 | math/py-gym 0.26.2_2: OpenAI toolkit for developing and comparing your reinforcement learning agents. DragonFly port maintained by [email protected]. |
| math/py-gym-notices | DragonFly | 0.0.8_1 | math/py-gym-notices 0.0.8_1: Notices for gym. DragonFly port maintained by [email protected]. |
| math/py-iminuit | DragonFly | 2.30.1 | math/py-iminuit 2.30.1: Jupyter-friendly Python frontend for MINUIT2 in C++. DragonFly port maintained by [email protected]. |
| math/py-isosurfaces | DragonFly | 0.1.2_1 | math/py-isosurfaces 0.1.2_1: Construct isolines/isosurfaces over a 2D/3D scalar field. DragonFly port maintained by [email protected]. |
| math/py-jacobi | DragonFly | 0.9.2 | math/py-jacobi 0.9.2: Compute numerical derivatives. DragonFly port maintained by [email protected]. |
| math/py-kahip | DragonFly | 3.18 | math/py-kahip 3.18: Karlsruhe high quality graph partitioning. DragonFly port maintained by [email protected]. |
| math/py-keras-applications | DragonFly | 1.0.8_2 | math/py-keras-applications 1.0.8_2: Reference implementations of popular deep learning models. DragonFly port maintained by [email protected]. |
| math/py-keras-preprocessing | DragonFly | 1.1.2_2 | math/py-keras-preprocessing 1.1.2_2: Easy data preprocessing and data augmentation for DL models. DragonFly port maintained by [email protected]. |
| math/py-mixsimulator | DragonFly | 0.4.6_1 | math/py-mixsimulator 0.4.6_1: Calculate and simulate the least cost of an energy mix under constraints. DragonFly port maintained by [email protected]. |
| math/py-narwhals | DragonFly | 1.30.0 | math/py-narwhals 1.30.0: Extremely lightweight compatibility layer between dataframe libraries. DragonFly port maintained by [email protected]. |
| math/py-ndindex | DragonFly | 1.9.2 | math/py-ndindex 1.9.2: Python library for manipulating indices of ndarrays. DragonFly port maintained by [email protected]. |
| math/py-nevergrad | DragonFly | 0.14.0_1 | math/py-nevergrad 0.14.0_1: Python toolbox for performing gradient-free optimization. DragonFly port maintained by [email protected]. |
| math/py-numexpr | DragonFly | 2.10.2 | math/py-numexpr 2.10.2: Fast numerical array expression evaluator for Python and NumPy. DragonFly port maintained by [email protected]. |
| math/py-opt-einsum | DragonFly | 3.4.0 | math/py-opt-einsum 3.4.0: Optimizing numpys einsum function. DragonFly port maintained by [email protected]. |
| math/py-permutation | DragonFly | 0.4.0_1 | math/py-permutation 0.4.0_1: Permutations of finitely many positive integers. DragonFly port maintained by [email protected]. |
| math/py-plastex | DragonFly | 3.1_1 | math/py-plastex 3.1_1: LaTeX Document Processing Framework. DragonFly port maintained by [email protected]. |
| math/py-pybloom | DragonFly | 3.0.0_1 | math/py-pybloom 3.0.0_1: Probabilistic data structure. DragonFly port maintained by [email protected]. |
| math/py-pyclipper | DragonFly | 1.3.0p5_1 | math/py-pyclipper 1.3.0p5_1: Cython wrapper for the C++ translation of Clipper library. DragonFly port maintained by [email protected]. |
| math/py-pycosat | DragonFly | 0.6.3_1 | math/py-pycosat 0.6.3_1: Bindings to PicoSAT (a SAT solver). DragonFly port maintained by [email protected]. |
| math/py-pyhdfe | DragonFly | 0.2.0_1 | math/py-pyhdfe 0.2.0_1: High dimensional fixed effect absorption. DragonFly port maintained by [email protected]. |
| math/py-pyhull | DragonFly | 2015.2.1_4 | math/py-pyhull 2015.2.1_4: Computation of convex hull, Delaunay triangulation and Voronoi diagram. DragonFly port maintained by [email protected]. |
| math/py-pyprobables | DragonFly | 0.6.1 | math/py-pyprobables 0.6.1: Probabilistic data structures in python. DragonFly port maintained by [email protected]. |
| math/py-pywavelets | DragonFly | 1.8.0 | math/py-pywavelets 1.8.0: Discrete Wavelet Transforms in Python. DragonFly port maintained by [email protected]. |
| math/py-qats | DragonFly | 4.11.1_1 | math/py-qats 4.11.1_1: Library for efficient processing and visualization of time series. DragonFly port maintained by [email protected]. |
| math/py-reals | DragonFly | 0.0.5_1 | math/py-reals 0.0.5_1: Lightweight python3 library for arithmetic with real numbers. DragonFly port maintained by [email protected]. |
| math/py-rectangle-packer | DragonFly | 2.0.2_1 | math/py-rectangle-packer 2.0.2_1: Rectangle packing library. DragonFly port maintained by [email protected]. |
| math/py-scs | DragonFly | 3.2.7_1 | math/py-scs 3.2.7_1: Splitting conic solver for Python. DragonFly port maintained by [email protected]. |
| math/py-secp256k1 | DragonFly | 0.13.2_4 | math/py-secp256k1 0.13.2_4: FFI bindings to libsecp256k1. DragonFly port maintained by [email protected]. |
| math/py-simhash | DragonFly | 2.1.2_1 | math/py-simhash 2.1.2_1: Python implementation of simhash algorithm. DragonFly port maintained by [email protected]. |
| math/py-snuggs | DragonFly | 1.4.7_2 | math/py-snuggs 1.4.7_2: S-expressions for Numpy. DragonFly port maintained by [email protected]. |
| math/py-symengine | DragonFly | 0.14.0 | math/py-symengine 0.14.0: Python library providing wrappers to SymEngine. DragonFly port maintained by [email protected]. |
| math/py-timple | DragonFly | 0.1.8_1 | math/py-timple 0.1.8_1: Extended functionality for plotting timedelta values with Matplotlib. DragonFly port maintained by [email protected]. |
| math/py-unyt | DragonFly | 3.0.3 | math/py-unyt 3.0.3: Package for handling numpy arrays with units. DragonFly port maintained by [email protected]. |
| math/py-z3-solver | DragonFly | 4.8.17_1 | math/py-z3-solver 4.8.17_1: Python binding for Z3 Theorem Prover. DragonFly port maintained by [email protected]. |
| math/quich | DragonFly | 4.0.0 | math/quich 4.0.0: Just an advanced terminal calculator. DragonFly port maintained by [email protected]. |
| math/rehearse | DragonFly | g20190305_1 | math/rehearse g20190305_1: Algebraic modeling library in C++ for linear optimization solvers. DragonFly port maintained by [email protected]. |
| math/rubygem-enumerable-statistics | DragonFly | 2.0.8 | math/rubygem-enumerable-statistics 2.0.8: Statistics features for Enumerable. DragonFly port maintained by [email protected]. |
| math/rubygem-mtrc | DragonFly | 0.0.4 | math/rubygem-mtrc 0.0.4: Minimal metric aggregation library. DragonFly port maintained by [email protected]. |