Showing 82 open source projects for "aras-common"

View related business solutions
  • 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, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • $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
  • 1
    Integrals.jl

    Integrals.jl

    A common interface for quadrature and numerical integration

    Integrals.jl is an instantiation of the SciML common IntegralProblem interface for the common numerical integration packages of Julia, including both those based upon quadrature as well as Monte-Carlo approaches. By using Integrals.jl, you get a single predictable interface where many of the arguments are standardized throughout the various integrator libraries. This can be useful for benchmarking or for library implementations since libraries that internally use a quadrature can easily accept an integration method as an argument.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    PyTorch Geometric

    PyTorch Geometric

    Geometric deep learning extension library for PyTorch

    It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of an easy-to-use mini-batch loader for many small and single giant graphs, a large number of common benchmark datasets (based on simple interfaces to create your own), and helpful transforms, both for learning on arbitrary graphs as well as on 3D meshes or point clouds. We have outsourced a lot of functionality of PyTorch Geometric to other packages, which needs to be additionally installed. These packages come with their own CPU and GPU kernel implementations based on C++/CUDA extensions. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 1,400 This Week
    Last Update:
    See Project
  • 4
    Maxima -- GPL CAS based on DOE-MACSYMA

    Maxima -- GPL CAS based on DOE-MACSYMA

    Computer Algebra System written in Common Lisp

    ...It features its own programming language, and many users have contributed useful packages in various areas over the decades. It is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages
    Leader badge
    Downloads: 3,784 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 5

    half

    C++ library for half precision floating point arithmetics.

    This is a C++ header-only library to provide an IEEE-754 conformant half-precision floating point type along with corresponding arithmetic operators, type conversions and common mathematical functions. It aims for both efficiency and ease of use, trying to accurately mimic the behaviour of the builtin floating point types at the best performance possible. It automatically uses and provides C++11 features when possible, but stays completely C++98-compatible when neccessary.
    Leader badge
    Downloads: 1,479 This Week
    Last Update:
    See Project
  • 6
    Golly

    Golly

    For exploring cellular automata like Conway's Game of Life.

    A cross-platform application for exploring Conway's Game of Life and many other types of cellular automata.
    Leader badge
    Downloads: 313 This Week
    Last Update:
    See Project
  • 7
    Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    librsb

    librsb

    A shared memory parallel sparse matrix library including Sparse BLAS.

    librsb is a library for sparse matrix computations featuring the Recursive Sparse Blocks (RSB) matrix format. This format allows cache efficient and multi-threaded (that is, shared memory parallel) operations on large sparse matrices. The most common operations necessary to iterative solvers are available, e.g.: matrix-vector multiplication, triangular solution, rows/columns scaling, diagonal extraction / setting, blocks extraction, norm computation, formats conversion. The RSB format is especially well suited for symmetric and transposed multiplication variants. On these variants, librsb has been found to be faster than Intel MKL's implementation for CSR. ...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 9
    Math Model

    Math Model

    Code, resources, and templates for mathematical modeling

    Math_Model is a repository collecting resources, code, and algorithm templates for mathematical modeling and competition (e.g. Chinese modeling contests, US undergraduate modeling competitions). It includes LaTeX templates for writing solutions, records of past contest problems and winning solutions, algorithm implementations in MATLAB / M scripts for optimization, intelligent algorithms, numerical methods, and model frameworks. In effect, it is a curated library of modeling code, papers,...
    Downloads: 0 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
  • 10

    polynomial-roots-calculation

    Application for calculating the real roots of a polynomial

    ...It needs a precision of arround 60 digits. The problem comes with very-high degree polynomials. The higher is the degree, the faster the execution time increases. But for common examples, the application does the job well. You will find more about it at this web site: https://www.frojasg1.com:8443/downloads_web/web/html/raicesDePolinomios.html?origin=sourceforge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Fantasy Land Specification

    Fantasy Land Specification

    Specification for interoperability of JavaScript algebraic structures

    This project specifies interoperability of common algebraic structures like Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, etc. An algebra is a set of values, a set of operators that it is closed under and some laws it must obey. Each Fantasy Land algebra is a separate specification. An algebra may have dependencies on other algebras which must be implemented.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    mXparser - Math Parser Java C# Library

    mXparser - Math Parser Java C# Library

    A flexible mathematical expressions parser for JAVA, Android, C# .NET

    ....: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin
    Downloads: 0 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
    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: 1 This Week
    Last Update:
    See Project
  • 15
    This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Java library of statistical distribution functions. Classes implement the PDF, CDF, and (usually) quantile and random variate generation for many common distributions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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: 192 This Week
    Last Update:
    See Project
  • 18
    lottie vectors

    lottie vectors

    Create, display and process 2D vectors in a 3D window.

    ...This can be used to show something acting on a position with direction and magnitude. Finally you can give each position a tag to display on screen. This could be a common math symbol or greek letter, start/end signposts, or a number of the position either from the begining or after a reset. After all the information has been loaded for your dataset. Either passed over the command line, or as a text file. Lottie Vectors displays inside a figure that you can resize, rotate and turn 2D positions into a 3D picture.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    mcalx

    mcalx

    Matrix Calculator for LinuX

    MCalx is a small and quick C++ graphic calculator for performing common matrix operations such as addition, subtraction, multiplication and others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    LGS-Helfer

    LGS-Helfer

    Ein Programm für die analytische Geometrie

    Ein Programm zur schrittweisen Bestimmung der Lage von Punkten, Geraden und Ebenen. A german program for school mathematics: It helps you to calculate common points of planes and lines. It works step-by-step so you can find your mistakes easily.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ICE (Interval Calculator for Engineer)

    ICE (Interval Calculator for Engineer)

    Interval Calculator for Engineer

    ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    MatLisp is a package for Common Lisp for handling matrices with real-valued or complex-valued elements. BLAS is used for elementary matrix operations and LAPACK is used for linear algebra routines.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Opt4J

    Opt4J

    Modular Java framework for meta-heuristic optimization

    Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB