Showing 93 open source projects for "computer system optimization"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 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
  • 1
    Oscar.jl

    Oscar.jl

    A comprehensive open source computer algebra system for computations

    Welcome to the OSCAR project, a visionary new computer algebra system that combines the capabilities of four cornerstone systems: GAP, Polymake, Antic and Singular. OSCAR requires Julia 1.6 or newer. In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    JuMP

    JuMP

    Modeling language for Mathematical Optimization

    JuMP is a modeling language and collection of supporting packages for mathematical optimization in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs. JuMP is used to solve large-scale inventory routing problems at Renault, schedule trains at Thales Inc., plan power grid expansion at PSR, and route school buses.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 3
    CGAL

    CGAL

    The Computational Geometry Algorithms Library

    CGAL or the Computational Geometry Algorithms Library is a C++ library that gives you easy access to a myriad of efficient and reliable geometric algorithms. These algorithms are useful in a wide range of applications, including computer aided design, robotics, molecular biology, medical imaging, geographic information systems and more. CGAL features a great range of data structures and algorithms, including Voronoi diagrams, cell complexes and polyhedra, triangulations, arrangements of...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 4
    SymPy

    SymPy

    A computer algebra system written in pure Python

    SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously improved. ...
    Downloads: 13 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 5
    gptoolbox

    gptoolbox

    Matlab toolbox for Geometry Processing

    gptoolbox is a comprehensive MATLAB toolbox for geometry processing, optimization, and image processing. It provides a wide range of utility functions for working with triangle and tetrahedral meshes, making it useful for tasks in computer graphics, computational geometry, and 3D modeling. The toolbox includes wrappers for external software such as TetGen, Triangle, QSlim, and meshfix, as well as functions for mesh smoothing, cleanup, deformation, and parameterization. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Maxima -- GPL CAS based on DOE-MACSYMA

    Maxima -- GPL CAS based on DOE-MACSYMA

    Computer Algebra System written in Common Lisp

    Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats.
    Leader badge
    Downloads: 3,536 This Week
    Last Update:
    See Project
  • 7
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development.
    Leader badge
    Downloads: 110 This Week
    Last Update:
    See Project
  • 8
    Euler Math Toolbox

    Euler Math Toolbox

    Numerical and Symbolic Math Tool

    ...Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. Euler runs in Windows natively, or in Linux via Wine. It is completely free of royalties. The source is licensed under GPL.
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 9
    FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.
    Leader badge
    Downloads: 18 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 11
    Algorithms Math Models

    Algorithms Math Models

    MATLAB implementations of algorithms

    Algorithms_MathModels is a large MATLAB collection of algorithms and solved examples targeted at students and teams preparing for mathematical modeling competitions (national and international contests like MCM/ICM). The repository gathers implementations and case studies across many topics commonly used in contest solutions: optimization (linear, integer, goal and nonlinear programming), heuristic and metaheuristic methods (simulated annealing, genetic algorithms, immune algorithms), neural...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Gap.app

    Gap.app

    Gap.app is a frontend and distribution for GAP on macOS

    A native Macintosh front-end and distribution for the GAP computer algebra system. It provides a Mac-like command editing environment and save/load, while making available graphical libraries compatible with xgap.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 13
    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: 2 This Week
    Last Update:
    See Project
  • 14
    LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15

    Combinatorial Game Suite

    A computer algebra system for research in combinatorial game theory.

    STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    smib is one of the smallest and simplest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probability and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics).. By simple you can understand easy to program (smib is a dynamically typed language, with strong affinity to recursivity, programs are often short and powerful and maybe useful for teaching), and also easy to modify (source code is free, written in C language, and based on notions of stacks and lists). ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    CasADi
    A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 18

    Root Phenotyping Suite

    Three different software tools for phenotyping plant root images

    ...RootGraph is a novel, fully automated and robust approach for the detailed characterization of root traits, based on a graph optimization process. The scheme, firstly, distinguishes primary roots from lateral roots and, secondly, quantifies a broad spectrum of root traits.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19
    NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This is a project aiming at creating programs for calculations in piecewise linear topology and mathematical physics—finite-dimensional topological quantum field theories—using GAP computer algebra system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    wxMaxima

    wxMaxima

    Cross platform GUI for Maxima

    wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/
    Downloads: 41 This Week
    Last Update:
    See Project
  • 22
    Burris Numerical System

    Burris Numerical System

    A Numerical System controlled by algorithms.

    BNS - Burris Numerical System was written to store the last digit of a number in 3 dimensional space but store the rest of the number mathematically in the 4th dimension of space. The result is that no matter how long the number is you can write it down on a piece of paper and put it in your pocket. The software can be used to retrieve the number. This can be used to save computer files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    yacas

    yacas

    Computer calculations made easy

    ...The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system comes with a library of scripts and extensive documentation. Yagy (http://sourceforge.net/p/yagy) provides full yacas experience wrapped in a simple and intuitive graphical interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    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
  • 25

    Machinist Math Kit

    Set of tools that help CNC machinists

    A set of tools/calculators that help CNC machinists quickly handle math associated with machine technology. Will incorporate more calculators when they are ready the final product will probably be a single combined application. Currently available is a Mill Rate calculator that is recursive, meaning it changes the corresponding values as you manipulate the data. In the works is a Can Cycle calculator that functions the same way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next