| math/eprover | DragonFly | 2.6_2 | math/eprover 2.6_2: Theorem prover for full first-order logic with equality. DragonFly port maintained by [email protected]. |
| math/ess | DragonFly | 25.01.0_1 | math/ess 25.01.0_1: R support for Emacsen. DragonFly port maintained by [email protected]. |
| math/eukleides | DragonFly | 1.5.4_9 | math/eukleides 1.5.4_9: Euclidean geometry drawing language. 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/facile | DragonFly | 1.1.3_4 | math/facile 1.1.3_4: Functional Constraint 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/fann | DragonFly | 2.2.0.20230126 | math/fann 2.2.0.20230126: Free open source neural network library. 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/fcl | DragonFly | 0.7.0_1 | math/fcl 0.7.0_1: Flexible Collision Library. DragonFly port maintained by [email protected]. |
| math/fcl05 | DragonFly | 0.5.0_3 | math/fcl05 0.5.0_3: Flexible Collision Library (Old version). DragonFly port maintained by [email protected]. |
| math/fflas-ffpack | DragonFly | 2.5.0_3 | math/fflas-ffpack 2.5.0_3: Library for dense linear algebra over word-size finite fields. DragonFly port maintained by [email protected]. |
| math/fftw | DragonFly | 2.1.5_23 | math/fftw 2.1.5_23: Fast C routines to compute the Discrete Fourier Transform. DragonFly port maintained by [email protected]. |
| math/fftw-float | DragonFly | 2.1.5_23 | math/fftw-float 2.1.5_23: Fast C routines (Single Percision). DragonFly port maintained by [email protected]. |
| math/fftw3 | DragonFly | 3.3.10_5 | math/fftw3 3.3.10_5: Fast C routines to compute the Discrete Fourier Transform. DragonFly port maintained by [email protected]. |
| math/fftw3-float | DragonFly | 3.3.10_5 | math/fftw3-float 3.3.10_5: Fast Discrete Fourier Transform (Single Precision C Routines). DragonFly port maintained by [email protected]. |
| math/fftw3-long | DragonFly | 3.3.10_5 | math/fftw3-long 3.3.10_5: Fast Discrete Fourier Transform (Long Double Precision C Routines). DragonFly port maintained by [email protected]. |
| math/fftw3-quad | DragonFly | 3.3.10_5 | math/fftw3-quad 3.3.10_5: Fast Discrete Fourier Transform (Quad Precision C Routines). DragonFly port maintained by [email protected]. |
| math/flann | DragonFly | 1.9.2_3 | math/flann 1.9.2_3: Library for fast nearest neighbor searches in high dimensional spaces. DragonFly port maintained by [email protected]. |
| math/flexfloat | DragonFly | g20220606_2 | math/flexfloat g20220606_2: C library for the emulation of reduced-precision floating point types. DragonFly port maintained by [email protected]. |
| math/flexiblas | DragonFly | 3.4.5 | math/flexiblas 3.4.5: BLAS and LAPACK wrapper library with runtime exchangable backends. DragonFly port maintained by [email protected]. |
| math/flint | DragonFly | 3.2.0 | math/flint 3.2.0: Fast library for number theory. DragonFly port maintained by [email protected]. |
| math/flint2 | DragonFly | 2.9.0_4 | math/flint2 2.9.0_4: Fast library for number theory. DragonFly port maintained by [email protected]. |
| math/flintqs | DragonFly | 1.0 | math/flintqs 1.0: Quadratic Sieve integer factorization algorithm. DragonFly port maintained by [email protected]. |
| math/flopc++ | DragonFly | 1.2.5.20200527_1 | math/flopc++ 1.2.5.20200527_1: Library for solving Linear Optimization Problems in C++. DragonFly port maintained by [email protected]. |
| math/form | DragonFly | 4.3.1_1 | math/form 4.3.1_1: Symbolic Manipulation System. DragonFly port maintained by [email protected]. |
| math/fparser | DragonFly | 4.5.2 | math/fparser 4.5.2: Function parser for C++. DragonFly port maintained by [email protected]. |
| math/fplll | DragonFly | 5.5.0 | math/fplll 5.5.0: Lattice algorithms using floating-point arithmetic. DragonFly port maintained by [email protected]. |
| math/fricas | DragonFly | 1.3.10 | math/fricas 1.3.10: Advanced computer algebra system. DragonFly port maintained by [email protected]. |
| math/frobby | DragonFly | 0.9.5_3 | math/frobby 0.9.5_3: Software system and project for computations with monomial ideals. DragonFly port maintained by [email protected]. |
| math/fxt | DragonFly | 2024.11.16 | math/fxt 2024.11.16: Llibrary of low-level algorithms. DragonFly port maintained by [email protected]. |
| math/g2o | DragonFly | 20230806_15 | math/g2o 20230806_15: General framework for graph optimization. DragonFly port maintained by [email protected]. |
| math/galculator | DragonFly | 2.1.4_3 | math/galculator 2.1.4_3: GTK-based scientific calculator. DragonFly port maintained by [email protected]. |
| math/gambit | DragonFly | 16.0.2_1 | math/gambit 16.0.2_1: Library of tools for doing computation in game theory. DragonFly port maintained by [email protected]. |
| math/gap | DragonFly | 4.14.0 | math/gap 4.14.0: System for computational discrete algebra. DragonFly port maintained by [email protected]. |
| math/gau2grid | DragonFly | 2.0.7_1 | math/gau2grid 2.0.7_1: Fast computation of a gaussian and its derivative on a grid. 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/gemmlowp | DragonFly | g20190812 | math/gemmlowp g20190812: Low-precision matrix multiplication library. DragonFly port maintained by [email protected]. |
| math/geogebra | DragonFly | 5.2.876.0 | math/geogebra 5.2.876.0: Dynamic software that joins geometry, algebra, and calculus. DragonFly port maintained by [email protected]. |
| math/geogram | DragonFly | 1.7.9 | math/geogram 1.7.9: Programming library of geometric algorithms. DragonFly port maintained by [email protected]. |
| math/gexpr | DragonFly | 2.0.2_2 | math/gexpr 2.0.2_2: Shell calculator. DragonFly port maintained by [email protected]. |
| math/gf2x | DragonFly | 1.3.0 | math/gf2x 1.3.0: Library for multiplying polynomials over the binary field. DragonFly port maintained by [email protected]. |
| math/gfan | DragonFly | 0.6.2_2 | math/gfan 0.6.2_2: Software for computing Groebner fans and tropical varieties. DragonFly port maintained by [email protected]. |
| math/gfanlib | DragonFly | 0.6.2_1 | math/gfanlib 0.6.2_1: Static library for computing Groebner fans and tropical varieties. DragonFly port maintained by [email protected]. |
| math/ggobi | DragonFly | 2.1.12_1 | math/ggobi 2.1.12_1: Data visualization system. DragonFly port maintained by [email protected]. |
| math/givaro | DragonFly | 4.2.0 | math/givaro 4.2.0: C++ library for computer algebra. DragonFly port maintained by [email protected]. |
| math/gkmap | DragonFly | 0.2_7 | math/gkmap 0.2_7: Simplification of Boolean Functions using Karnaugh Map. 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/glpk | DragonFly | 5.0 | math/glpk 5.0: GNU Linear Programming Kit. 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/gmm++ | DragonFly | 5.4.2 | math/gmm++ 5.4.2: Generic matrix template library. DragonFly port maintained by [email protected]. |
| math/gmp | DragonFly | 6.3.0 | math/gmp 6.3.0: Free library for arbitrary precision arithmetic. DragonFly port maintained by [email protected]. |
| math/gmp-ecm | DragonFly | 7.0.5_1 | math/gmp-ecm 7.0.5_1: Elliptic Curve Method for Integer Factorization. DragonFly port maintained by [email protected]. |
| math/gnome-calculator | DragonFly | 47.1 | math/gnome-calculator 47.1: GNOME calculator tool. DragonFly port maintained by [email protected]. |
| math/gnubc | DragonFly | 1.08.1 | math/gnubc 1.08.1: GNU bc/dc calculator. DragonFly port maintained by [email protected]. |
| math/gnumeric | DragonFly | 1.12.52_4 | math/gnumeric 1.12.52_4: GNOME spreadsheet program. DragonFly port maintained by [email protected]. |
| math/gnuplot | DragonFly | 5.4.10_2 | math/gnuplot 5.4.10_2: Command-line driven graphing utility. DragonFly port maintained by [email protected]. |
| math/gnuplot-lite | DragonFly | 5.4.10_2 | math/gnuplot-lite 5.4.10_2: Command-line driven graphing utility (lite package). DragonFly port maintained by [email protected]. |
| math/gnuplot-tex-extras | DragonFly | 5.2.8_1 | math/gnuplot-tex-extras 5.2.8_1: Extra files for Gnuplot TeX support. DragonFly port maintained by [email protected]. |
| math/gp2c | DragonFly | 0.0.14 | math/gp2c 0.0.14: Package for translating GP routines into C. DragonFly port maintained by [email protected]. |
| math/grace | DragonFly | 5.1.25_11 | math/grace 5.1.25_11: Powerful 2D plotting tool (successor of xmgr). DragonFly port maintained by [email protected]. |
| math/gravity | DragonFly | 1.1.20220309_7 | math/gravity 1.1.20220309_7: Mathematical modeling for optimization and machine learning. DragonFly port maintained by [email protected]. |
| math/grpn | DragonFly | 1.5.2_2 | math/grpn 1.5.2_2: GTK-based reverse polish notation (RPN) calculator. DragonFly port maintained by [email protected]. |
| math/gsl | DragonFly | 2.7.1_1 | math/gsl 2.7.1_1: The GNU Scientific Library - mathematical libs. 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/hexcalc | DragonFly | 1.11_4 | math/hexcalc 1.11_4: Multi-radix calculator for x11. DragonFly port maintained by [email protected]. |
| math/hmat-oss | DragonFly | 1.10.0_2 | math/hmat-oss 1.10.0_2: Hierarchical matrix C/C++ library. DragonFly port maintained by [email protected]. |
| math/hpcombi | DragonFly | 1.0.1_2 | math/hpcombi 1.0.1_2: Fast combinatorics in C++ using SSE/AVX instruction sets. DragonFly port maintained by [email protected]. |
| math/hpipm | DragonFly | 0.1.3.225 | math/hpipm 0.1.3.225: High-performance interior-point-method QP solvers. DragonFly port maintained by [email protected]. |
| math/hptt | DragonFly | 1.0.5.18_1 | math/hptt 1.0.5.18_1: High-Performance Tensor Transpose library. 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/hsl | DragonFly | 2.2.5 | math/hsl 2.2.5: COIN-OR autotools harness to build HSL linear solvers. DragonFly port maintained by [email protected]. |
| math/hydrogen | DragonFly | 1.5.3_4 | math/hydrogen 1.5.3_4: Dense and sparse linear algebra, conic optimization, lattice reduction. DragonFly port maintained by [email protected]. |
| math/ideep | DragonFly | 2.0.0.119 | math/ideep 2.0.0.119: Chainer module for numpy-like API and DNN acceleration using MKL-DNN. DragonFly port maintained by [email protected]. |
| math/ignition-math | DragonFly | 6.0.0_5 | math/ignition-math 6.0.0_5: General purpose math library for robot applications. DragonFly port maintained by [email protected]. |
| math/igraph | DragonFly | 0.10.12_3 | math/igraph 0.10.12_3: Package For Manipulating Undirected And Directed Graphs. DragonFly port maintained by [email protected]. |
| math/iml | DragonFly | 1.0.5_5 | math/iml 1.0.5_5: Integer Matrix Library. DragonFly port maintained by [email protected]. |
| math/intx | DragonFly | 0.12.1 | math/intx 0.12.1: Extended precision integer library. DragonFly port maintained by [email protected]. |
| math/ipopt | DragonFly | 3.14.17_1 | math/ipopt 3.14.17_1: Software package for large-scale nonlinear optimization. DragonFly port maintained by [email protected]. |
| math/ised | DragonFly | 2.7.1_10 | math/ised 2.7.1_10: Tool for generating number sequences and arithmetic evaluation. DragonFly port maintained by [email protected]. |
| math/jacop | DragonFly | 4.8.0 | math/jacop 4.8.0: Java Constraint Programming solver. DragonFly port maintained by [email protected]. |
| math/jama | DragonFly | 1.2.5 | math/jama 1.2.5: Java-like Matrix C++ Templates. DragonFly port maintained by [email protected]. |
| math/jeuclid | DragonFly | 3.1.9 | math/jeuclid 3.1.9: Java based MathML rendering solution. DragonFly port maintained by [email protected]. |
| math/jlatexmath | DragonFly | 1.0.7 | math/jlatexmath 1.0.7: Java API to display mathematical formulas written in LaTeX. DragonFly port maintained by [email protected]. |
| math/jsmath-fonts | DragonFly | 1.3 | math/jsmath-fonts 1.3: Raster fonts pack for jsmath. DragonFly port maintained by [email protected]. |
| math/jtransforms | DragonFly | 2.4_1 | math/jtransforms 2.4_1: Multithreaded FFT library written in pure Java. DragonFly port maintained by [email protected]. |
| math/jts | DragonFly | 1.18.1 | math/jts 1.18.1: JTS Topology Suite. 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/kalk | DragonFly | 25.04.2 | math/kalk 25.04.2: Kalk is a convergent calculator for Plasma. 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/kbruch | DragonFly | 25.04.2 | math/kbruch 25.04.2: KDE application to exercise fractions. DragonFly port maintained by [email protected]. |
| math/kcalc | DragonFly | 25.04.2 | math/kcalc 25.04.2: Scientific calculator for KDE. DragonFly port maintained by [email protected]. |
| math/kfr | DragonFly | 6.1.1 | math/kfr 6.1.1: C++ DSP framework, FFT, Sample Rate Conversion, FIR/IIR/Biquad Filters. DragonFly port maintained by [email protected]. |
| math/kig | DragonFly | 25.04.2 | math/kig 25.04.2: KDE interactive geometry application. 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/kktdirect | DragonFly | 0.5_15 | math/kktdirect 0.5_15: Direct solver package for saddle-point (KKT) matrices. DragonFly port maintained by [email protected]. |
| math/kmplot | DragonFly | 25.04.2 | math/kmplot 25.04.2: Mathematical function plotter for KDE. DragonFly port maintained by [email protected]. |
| math/lambda | DragonFly | 0.1.4_2 | math/lambda 0.1.4_2: Lambda calculus interpreter. DragonFly port maintained by [email protected]. |
| math/lapack | DragonFly | 3.12.1 | math/lapack 3.12.1: Linear Algebra PACKage. DragonFly port maintained by [email protected]. |
BSD Ports