Showing 139 open source projects for "linux programming"

View related business solutions
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The goal of the Fortran-to-Java project is to provide Java Application Programming Interfaces (APIs) to numerical libraries originally written in Fortran (particularly BLAS and LAPACK). The result of this work, JLAPACK, is distributed here.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    NKA

    Nonlinear Krylov acceleration of fixed-point and Newton-like methods

    Nonlinear Krylov Acceleration (NKA) is a method for accelerating the convergence of fixed-point (Picard) iterations. Many Newton-like and inexact Newton methods are fixed point iterations. The NKA project provides the canonical implementation of the method for several programming languages. The black-box accelerator is simple to integrate into existing code. Placed in the iteration loop, it observes the sequence of solution updates and replaces them with improved updates using information...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    libfgen

    Library for optimization using a genetic algorithm or particle swarms

    libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    ntccKMC

    ntccKMC

    ntccKMC: A Kripke-structure-based model checker for ntcc

    ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    f2what

    Lapack/quadprog QP for VBA/.Net/Java

    F2what is an open source project to translate algorithmic fortran to a variety of languages (java, dotnet and VBA so far). It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages. It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A C++ library for Quadratic Programming which implements the Goldfarb-Idnani active-set dual method. At present it is limited to the solution of strictly convex quadratic programs. The project has moved to GitHub (https://github.com/liuq/QuadProgpp).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    itermd

    Software tools for applications of simulations by iterations.

    For simulations or modeling studies of regulations, Automation or various phenomena, with parameters that may be random, interdependent variables without simple rules, etc.. It can also be used to study mathematical curves remarkable how 'pragmatic'. The claim of these tools is to facilitate the programming of simulations by providing routines to quickly generate: -display windows and input parameters -help to display the variation in the data as graphs -management of iterations Goal...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    EGNLA

    Heterogeneous cluster for acceleration of linear algebra computations

    This project deals with a new concept of the heterogeneous grid for acceleration of the numerical linear algebra computing. We design this grid with respect to maximal ratio between cost and computational power. It allows a parallelization of scientific codes with minimal programming effort. We also optimize grid concept to be less sensitive to network parameters.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 10
    This utility, lingen, implements evolution of native machine code via linear genetic programming. The assembly level code uses a subset of assembly language which manipulates and performs calculations using the floating point unit (FPU) of the CPU.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Kiel University Relation package

    Fast C library for relation algebra using binary decision diagrams.

    Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    SymbolicC++

    An object oriented C++ library for computer algebra

    SymbolicC++ is a general purpose computer algebra system embedded in the programming language C++. It is free software released under the terms of the GNU General Public License. SymbolicC++ is used by including a C++ header file or by linking against a library.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    Simplex-in-PHP are PHP scripts that solve small linear programming and integer linear programming problems executing the simplex method step by step, printing the tableau and drawing the graphical analysis. Useful for students in Operational Research
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The Harmony of the World

    The Harmony of the World

    A fair attempt at the Keplerian tradition to explore the solar system

    Nowadays the idea of a music of the spheres, or a cosmic music that descends from the planets seems more like poetic philosophy than anything scientific. However, when the scientist Kepler discovered special principles about planetary motion, he also reconsidered the music. Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    aal

    aal

    The Advanced Algebraic Language.

    The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    ViennaFEM

    A finite element solver using state-of-the-art programming techniques.

    ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Software to solve Linear Programming problems applying the Revised Simplex Algorithm (2-Phase Method) and performing a Sensitivity Analysis too.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18

    The SNOMP Library

    SNOMP (SNOMP is Not OpenMP) is a library for semi-shared memory parall

    SNOMP (SNOMP is Not OpenMP) is a library for semi-shared memory parallelization.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    Zero Sum Game Solver Java Library

    Zero Sum Game Solver Java Library

    Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    XPSEDAPI is a cross-platform (programming language agnostic) definition of an application programming interface for working with and manipulating SED-ML documents. Interfaces are defined in Interface Definition Language (IDL) with full documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    HcryptoJ (Historical cryptology in Java) is a Java based programming library for implementing and analyzing historical ciphers. HcryptoJ is designed to support research and teaching in historical cryptography and computer science. Licensed under GPL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This is my first attempt at building a reusable framework for 3D applications (not an engine!), primarily for educational purpose and also because none of the already existing tools did satisfy me. No longer maintained.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Java ILP is a simple java interface to (mixed) integer linear programming solvers such as lp_solve, Glpk, Gurobi, SAT4J (0-1 ILP), MiniSat+(0-1 ILP), CPLEX, or Mosek. (documentation at http://javailp.sourceforge.net/)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    swIMP (swig-based Interfaces for Mathematical Programming) provides Java wrappers for solvers written in C or C++. The current focus is on accessing OSI-compatible linear programming (LP) solvers from the Coin-OR-project (e.g. Clp, GLPK, MOSEK, CPLEX).
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB