47 programs for "mingw linux" with 2 filters applied:

  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
    Try free now
  • Red Hat Enterprise Linux on Microsoft Azure Icon
    Red Hat Enterprise Linux on Microsoft Azure

    Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

    Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
    Learn More
  • 1
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    * Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:...
    Leader badge
    Downloads: 1,558 This Week
    Last Update:
    See Project
  • 2
    Minsky

    Minsky

    System dynamics program with additional features for economics

    Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at...
    Leader badge
    Downloads: 88 This Week
    Last Update:
    See Project
  • 3
    TXM

    TXM

    Unicode-XML-TEI text/corpus analysis platform

    TXM is a free and open-source cross-platform Unicode & XML based text/corpus analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull...
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4
    MaxFEM

    MaxFEM

    Software for electromagnetic simulation

    MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Secure remote access solution to your private network, in the cloud or on-prem. Icon
    Secure remote access solution to your private network, in the cloud or on-prem.

    Deliver secure remote access with OpenVPN.

    OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
    Get started — no credit card required.
  • 5

    capd

    Computer Assisted Proofs in Dynamics

    Dynamical Systems and Homology Software. The CAPD library is a collection of flexible C++ modules which are mainly designed to computation of homology of sets and maps and nonrigorous and validated numerics for dynamical systems.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    Interval arithmetic for Ada

    Interval arithmetic for Ada

    An implementation of interval arithmetic

    The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    GeomSpace

    GeomSpace

    Interactive geometry software for Euclidean and non-Euclidean spaces

    GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Galilean, Minkowskii, de Sitter among other spaces.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 8
    Perl Data Language
    The PDL module gives standard perl the ability to COMPACTLY store and SPEEDILY manipulate the large N-dimensional data sets that are the bread and butter of scientific computing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Top-Rated Free CRM Software Icon
    Top-Rated Free CRM Software

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
    Get started free
  • 10
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 474 This Week
    Last Update:
    See Project
  • 11
    newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    C++ BigInt class

    C++ BigInt class

    C++ BigInt class enables to work with arbitrary precision integers

    C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.3 (2019-03-06)
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    IT++ is a C++ library of mathematical, signal processing and communication classes and functions. Its main use is in simulation of communication systems and for performing research in the area of communications.
    Leader badge
    Downloads: 193 This Week
    Last Update:
    See Project
  • 14
    fcGENE: Genotype  format converter

    fcGENE: Genotype format converter

    Format converting tool for genotype Data (e.g.PLINK-MACH,MACH-PLINK)

    Main application is twofold: first to convert genotype SNP data into formats of different imputation tools like PLINK MACH, IMPUTE, BEAGLE and BIMBBAM, second to transform imputed data into different file formats like PLINK, HAPLOVIEW, EIGENSOFT and SNPTEST. Readable file formats: plink-pedigree (ped and map), plink-raw, plink-dosage, mach , minimac, impute, snptest, beagle and bimbam. Similarly all kinds of imputation of outputs are also accepted. Formats which can be generated by...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 15
    BioFVM

    BioFVM

    3-D diffusion solver for biological problems

    BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Turing and Post Machines: C++ Simulators

    Turing and Post Machines: C++ Simulators

    Turing and Post Machines' C++ Simulators

    The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Functy

    Functy

    Functy is a 3D graph drawing package that generates immediate results.

    Note: The Functy and libsymbolic code has now moved to GitLab: https://gitlab.com/flypig/functy https://gitlab.com/flypig/libsymbolic This project has been left here for archival purposes. Functy is a 3D graph drawing package. It allows Cartesian, spherical and parametric curve functions to be plotted and altered quickly and easily. This immediacy and the vivid results promote fun exploration of 3D function. Rendering is performed entirely on the GPU to improve visuals and...
    Leader badge
    Downloads: 5 This Week
    Last Update:
    See Project
  • 18
    PortOpt

    PortOpt

    A portfolio-optimizer using Markowitz(1952) mean-variance model

    PortOpt [Portfolio Optimizer] is a C++ program (with Python binding) implementing the Markowitz(1952) mean-variance model with agent's linear indifference curves toward risk in order to find the optimal assets portfolio under risk. You have to provide PortOpt (in text files or - if you use the api - using your own code) the variance/covariance matrix of the assets, their average returns and the agent risk preference. It returns the vector of assets' shares that composes the optimal...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    GGNFS is an open source implementation of General Number Field Sieve algorithm for factoring integers.
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project
  • 20
    **we moved to github** https://github.com/gimli-org/gimli Geophysical Inversion and Modeling Library
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    OpenAxiom: Scientific Computation System

    A system for computer algebra and symbolic mathematics

    OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    Knot

    Knot

    Rendering of 2D and 3D Celtic Knots

    Knot allows visualisation of 3D Celtic Knots. The knot models can also be exported for loading into 3D modelling applications or 3D printing.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Tinger Calc

    Tinger Calc

    Tinger Calc is a powerful scientific calculator environment.

    Tinger Calc is a powerful scientific calculator environment. It supports elementary math ( +, -, *, /, ^), trigonometric functions (sin, sinh, asin, cos, cosh, acos, tan, tanh, atan), exponential functions (exp, ln, lg, sqrt), math constants (pi, e), system functions (exit, quit, print). The software support email: tingersoft@gmail.com.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Diagonal

    A command line toolki to solve a problem your favorite program defines

    Diagonal can be used for: - getting descriptive statistics such as mean/median/mode with your program producing a sample - finding a root of an equation your program defines - calculating a fixed point of a function your program defines - detecting a cycle of a fuction your program defines as well as - decoding a VCDIFF file
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    CPPQUADPACK

    C++ port of QUADPACK with general function defination style.

    Numerical integration package in C++. A C++ port of QUADPACK with a general function defination style to provide more flexible function parameter defination. Based on crbond C version QUADPACK(http://www.crbond.com/scientific.htm) . You can get the latest code by : git clone git://git.code.sf.net/p/cppquadpack/code cppquadpack-code
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next