Showing 586 open source projects for "void based linux"

View related business solutions
  • 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
  • Cloud tools for web scraping and data extraction Icon
    Cloud tools for web scraping and data extraction

    Deploy pre-built tools that crawl websites, extract structured data, and feed your applications. Reliable web data without maintaining scrapers.

    Automate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
    Explore 10,000+ tools
  • 1
    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: 1 This Week
    Last Update:
    See Project
  • 2

    galculator

    galculator is a scientific calculator in algebraic mode and RPN

    galculator is a GTK 2 / GTK 3 based scientific calculator supporting algebraic mode as well as RPN. Features include arithmetic precedence handling, mathematical functions, different number bases (DEC, HEX, BIN, OCT) and angle bases (radiant, degree, and grad). Please note: This project page at sf.net reflects the state of the project up to August 2015. Beginning in September 2015, the project homepage was moved to http://galculator.mnim.org, with the source code repositories and issue...
    Leader badge
    Downloads: 8 This Week
    Last Update:
    See Project
  • 3

    ExactCalc

    Software for exact computing based on interval arithmetic.

    1/3 is not 0.33. Pi is not 3.14. Actually 1/3 is in interval [0.33, 0.34] and pi is in interval [3.14, 3.15]. During computation truncating error is accumulating. At end of computation it is needed to know real boundaries of result. The solution is given by interval arithmetic. Simply speaking, because 1/3 is in interval [0.33, 0.34] and 1/7 is in interval [0.14, 0.15], value 1/3 - 1/7 must be in [0.18, 0.2]. Computation can be arbitrary long and complex but interval arithmetic gives...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    pyL1min

    General purpose norm-1 minimization solver in Python

    pyL1min is a general purpose norm-1 (l1) minimization solver written in Python. It is based on NumPy/SciPy, CVXOPT ( FFTW enabled) to solve l1 minimization problems that are based on interior point methods. You need to install Python, NumPy/SciPy and CVXOPT ( FFTW enabled) to use this software. The test.py program demonstrates a simple application in Compressive Sensing and shows how to use l1min module. You need to install matplotlib to plot diagrams. Note: pyL1min can handle...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • 5
    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
  • 6
    EqualX

    EqualX

    The LaTeX Equation Editor

    EqualX makes you easily write equations in LaTeX and preview them in real-time. repository: https://gitlab.com/q-quark/equalx
    Leader badge
    Downloads: 14 This Week
    Last Update:
    See Project
  • 7
    expressionCalc

    expressionCalc

    Cross platform Mathematical expression solver

    expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    "kdiv" is a generator of routines for optimized division by an integer constant based on the work presented in H.S. Warren's "Hacker's Delight". "kdiv" can be used to emit a generic assembly or C implementation of (signed/unsigned) division.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Grafana: The open and composable observability platform Icon
    Grafana: The open and composable observability platform

    Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

    Grafana is the open source analytics & monitoring solution for every database.
    Learn More
  • 10

    DSOL

    DSOL: A Distributed Simulation Object Library implemented in Java

    DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Algebra Helper shows how signs change when moving a quantity from one side of an equation to the other. Algebra Helper is implemented in JavaScript.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    allink

    allink

    Software for data analysis, image processing, simulations, solver.

    Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Vortex Based Mathematics

    Vortex Based Mathematics

    Learn the language of nature.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Algeo#

    A class library to use conformal geometric algebra in C#

    The project is in a very early state and the working parts aren't well tested! Currently it's possible to do basic calculations with multivectors. A lot of operators are overloaded so that you can write your calculations in C# source code almost like you would do in a math software. There is also an extension library providing a control which can visualize multivectors. Visualization is based on OpenGL through the OpenTK library. At the moment I'm working on improvements of the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    VisualMathEditor

    VisualMathEditor

    LaTeX, AscciMath and MathML editor developed in Javascript and HTML

    Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their...
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • 16
    Soothsayer

    Soothsayer

    Capacity exhaustion prediction from RRD files

    Predict if storage utilised will reach capacity within defined period (maximum 5 years), using recent historical data contained within RRD files (maximum -1 year). Produces HTML (or partial HTML) and, more importanly, a PNG RRD Graph showing the prediction and, should the capacity be reached, an annotation indicating when. Optionally email out exception notices.
    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: 0 This Week
    Last Update:
    See Project
  • 18

    GENIE (GEne-geNe IntEraction)

    GPU based Parallel Gene-Gene Interaction Analysis

    Gene-gene interaction in genetic association studies is computationally intensive when a large number of SNPs are involved. Most of the latest Central Processing Units (CPUs) have multiple cores, whereas Graphics Processing Units (GPUs) also have hundreds of cores and have been recently used to implement faster scientific software. However, currently there are no genetic analysis software packages that allow users to fully utilize the computing power of these multi-core devices for genetic...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Easy Equations

    Easy Equations

    Hand Written Equation Creator

    Easy Equations is a utility using which one can write the mathematical equations. 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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Resistor Color Calculator

    Resistor Color Calculator

    Just a basic 4 band resistor color calculator with chart.

    Just a basic 4 band resistor color calculator with chart.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21

    LQFB-analyser

    A lqfb delegation analyser. A 3d directed weighted multi graph.

    A rich client to analyse data from a liquid-feedback (http://liquidfeedback.org/) instance, for now it's a 3d graph explorer to inspect the delegations. It's an application based on the eclipse platform (indigo). To be precise its a directed weighted multi graph browser in 3d. Find out more in the wiki https://sourceforge.net/p/lqfbanalyser/wiki/Home/ . Generated reports https://sourceforge.net/p/lqfbanalyser/wiki/generated%20lqfb%20reports/ .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Wedge is a C++ library based on GiNaC for symbolic computations in differential geometry. The project webpage has moved to https://github.com/diego-conti/wedge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Hy3S uses advanced MPI parallelized hybrid stochastic simulation methods to quickly compute the dynamics of biochemical networks with thousands of species/reactions. Many features included (see Home Page). An easy-to-use GUI (Matlab req) is included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    cvsba

    OpenCV wrapper for sba library

    cvsba is an OpenCV wrapper for the well-known Sparse Bundle Adjustment library (sba) by M. Lourakis. The main features are: - Based on sba-1.6, one of the most popular and robust bundle adjustment implementation, which is extensively used and tested by the community - sba installation is not needed since it is included in cvsba - New CMake structure which makes the library compilation, installation and linkage easier - Similar interface than Bundle Adjustment implementation on...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    LogicCalculus

    LogicCalculus

    A logic IDE for the sentential logic and the predicate logic.

    LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.
    Downloads: 0 This Week
    Last Update:
    See Project