Showing 16 open source projects for "mining software linux"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • 1
    Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 2
    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: 0 This Week
    Last Update:
    See Project
  • 3
    HMD Mathematics

    HMD Mathematics

    Numerical mathematics platform, Matlab alternative

    Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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: 160 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    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 security. Auth0 now, thank yourself later.
    Try free now
  • 5
    SuperCollider

    SuperCollider

    Real-time audio synthesis engine and music programming language

    N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software.
    Downloads: 36 This Week
    Last Update:
    See Project
  • 6
    Micro-agents
    An efficient Java-based Multi-agent Platform implementing the micro-agent concept µ² offering network support and multiple agent implementation languages. Detailed instructions and documentation can be found under http://www.micro-agents.net. This project has been moved to Github.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    SatMod-Lambda

    SatMod-Lambda

    Satellite constellation analysis software.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org
    Downloads: 1 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 10
    ‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The PGMFI project has as its goal total understanding of the computerized systems such as ECUs, ABS controllers and other devices present in Honda vehicles. Currently, the Non-Commercial-Sharealike license is reccomended for all releases.
    Downloads: 17 This Week
    Last Update:
    See Project
  • 12
    Connect distributed simulation model components through CORBA
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Fractal KISS means "keep fractals simple and sensible". The objective is to discover a "common-sense" understanding of fractals and their utility.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 16
    ScenConnect shows scenarios as networks of situation and event tag sets, for fast comparisons. It links scenarios to tags, scores, and other metadata, creating situationals suitable for search, mining, machine learning, and planning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next