Showing 157 open source projects for "software version control"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 1
    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
  • 2

    3D Grapher

    Easy-to-use software for plotting functions of two variables.

    3D Grapher is a software for plotting functions of two variables. It is a simple, easy to use, GPU accelerated, tool for making various surface plots. Additional requirements: JDK / JRE 8 OpenGL 2+
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    yacas

    yacas

    Computer calculations made easy

    NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . 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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Multidimensional optimization problems
    NEW OPTIMIZATION TECHNOLOGY & PLANNING EXPERIMENT. Technology is designed for multidimensional optimization practical problems with continuous object functions. Technology higher efficiency than traditional optimization methods.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • 5
    The JTS Topology Suite is an API for modelling and manipulating 2-dimensional linear geometry. It provides numerous geometric predicates and functions. JTS conforms to the Simple Features Specification for SQL published by the Open GIS Consortium.
    Downloads: 21 This Week
    Last Update:
    See Project
  • 6
    mathCollection is a java package representing a consistent and efficient extension to the Java Collection Framework of JDK 1.4. It offers different kinds of sets with mathematical, non-destructive functions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    JMCAD - modeling of dynamic systems
    JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8

    xorlisp

    Bit level lambda continuations and nothing else - Queue automata

    Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MOEA Framework

    MOEA Framework

    A Free and Open Source Java Framework for Multiobjective Optimization

    The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 10

    Immutable Sparse Wave Trees (WaveTree)

    Realtime bigdata tool for bit strings up to 2^63 based on AVL forest

    Realtime bigdata tool at the bit level based on immutable AVL forest which can be run in memory or, in future versions, as a merkle forest like a blockchain. Main object is a sparse bit string (Bits) that efficiently scales up to 2^63 bits normally compressed as forest has duplicated substrings. Bits objects support reading bit, byte, short, int, or long (Java primitives) at any bit index in 64 bit range. Example: instead of building a class to hold a header and then data, represent all of...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    coalescent

    coalescent

    Software tool for Research in Computational Population Genetics

    Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    JCycles

    [frozen] A library for computing cycles in graphs or in Java code.

    [This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (<...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Statcato
    Statcato is a Java software application for elementary statistics. Its features include data and graph generation, probability distributions, descriptive statistics, confidence intervals, hypothesis tests, correlation, regression, and analysis of var
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Hilbert II - QEDEQ

    Hilbert II - QEDEQ

    proof verifier for mathematical proofs and documentation generator

    In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    JSci - A science API for Java

    A science API for Java

    JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 18
    Interdependent Java frameworks: AMath (abstract numbers support); AFuzzy (fuzzy numbers and methods); AMathSys (flexible solvers of linear and nonlinear algebraic and differential equations); ADSM (multi-criteria ranking and grading of alternatives).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Easy Equations

    Easy Equations

    Hand Written Equation Creator

    ...The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python necessary only in linux environment to use COPY functionality.python is pre installed in recent linux distributions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    HYDRA is an open-source, platform-neutral library for performing Markov Chain Monte Carlo. It implements the logic of standard MCMC samplers within a framework designed to be easy to use and to extend while allowing integration with other software to
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Abandoned version of qbc. DOES NOT WORK properly
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Octclipse

    Octclipse

    Octave Eclipse GUI

    Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Puran2 - Real Random Number Generator

    Puran2 - Real Random Number Generator

    Real Random Number Generator

    Puran2 is a real random number generator based on electronic noise. The random bits are stored on a CD. The software allow the access to the random bits like a pseudo random number generator and is easy to use. It can be mixed with random number of a tausworthe generator to grow the count of random number.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    genomemap
    A software framework to build maps for Neurospora crassa genome based on probabilistic models of meiotic recombination. A netbeans platform application is built to incorporate the computations. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/GENOMEMAP
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB