Search Results for "gnu linux" - Page 14
Sort By:
Showing 1211 open source projects for "gnu linux"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
Our Free Plans just got better! | Auth0You 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.
-
1
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. -
2
Fylogenetica
Constructing level-1-networks consistent with a set of quartets
This project is an implementation of an algorithm by J. Keijsper and R. Pendavingh. The goal of the algorithm is to construct a phylogenetic level-1-network that is consistent with a given set of quartets. -
3
fvm2
FVM2 - F Virtual Machine v2
FVM2 is VM for running machines like Markov algorithms, Turing machine and so on. FVM2 has debugger with step mode and breakpoints. Goal of this project is to help students with studying Theory of computation. FVM2 shows how complex code works within a real machine. Currently the only implemented machine is Markov algorithms. -
4
GLPKMEX - a Matlab MEX interface for the GLPK library Note: GLPKMEX is not currently compatible with glpk-4.49, or later. please use with glpk 4.40 - 4.48.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
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
-
6
Free C++ toolkit to facilitate Monte-Carlo simulation. This is a library covered under the LGPL. "MCS-libre" stands for "Monte Carlo Simulation - libre". Documentation and examples are provided.
-
7
Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude. This gain in performance is due to a combination of novel methods that lower the complexity...
-
8
Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
-
9
Mathwars Risk
Conquer the world and train your math skills
MathWars (mathwars-risk) is an educational game based on R.I.S.K. You must defend and conquer new territories to defeat your oponents. In this case, though, you must do it by solving quickly simple math problems involving addition, subtraction, multiplication and division. NOTE: This project WILL NOT receive updates for a long time; I need time and the project should be entirely redesigned. Fell free to contact me for further information and/or new ideas for the project. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
-
11
Weibull-based reliability toolkit for R
R package for Weibull analysis on (life-)time observations.
This is a small R package for doing Weibull-based reliability analysis. This R package is now obsolete and has been superseded by 'project Abernethy' on http://r-forge.r-project.org/projects/abernethy/. -
12
GPDC
Gravity Potential Derivatives Calculator
GPDC is a C file to compute partial derivatives of a gravity potential up to any order by means of an automatic differentiation method. -
13
Robust Correlation Toolbox
Free Matlab toolbox to compute robust correlations
The Robust Correlation Toolbox is a free collection of Matlab functions allowing to visualize data in univariate and bivariate space, check assumptions of normality and homoscedasticity and compute Pearson's and Spearman's, percentage bend, and skipped correlations with bootstrapped confidence intervals - see http://www.frontiersin.org/Quantitative_Psychology_and_Measurement/10.3389/fpsyg.2012.00606/full -- code moved to https://github.com/CPernet/robustcorrtool -
14
The igraph library
Library for creating and manipulating graphs
This is a library for creating and manipulating graphs with focus on speedy operations for large, sparse graphs. -
15
Respol: A software package for computing projections of resultant polytopes Description: Respol is C++ software to compute a projection of the Newton polytope of the resultant of a given polynomial system. These are indirectly defined high-dimensional polytopes. Related Papers: [1] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. An oracle-based, output sensitive algorithm for projections of resultant polytopes. International J. Computational Geometry & Applications...
-
16
Math Simulator
A simulation software for numerical techniques.
Math Simulator is a java-based application which simulates various mathematical techniques.It is extremely useful for the Engineering students and for professionals. Most importantly, unlike most others Math Simulator is an Application rather than a java - library. So, user is not required to have any computer background. A Unique feature of Math Simulator is that it allows you to save queries for later reference. Hence you can save the problems along with their results. -
17
-
18
Development of a common open source tool for assessing the accuracy of parameter estimates collected within the framework of the DCR (EU Regulation 1639/2001 and 1581/2004)
-
19
FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
-
20
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. -
21
Gauss–Jordan elimination
invert matrices with the Gauss–Jordan elimination
This application inverts matrices with the Gauß-Jordan elimination. It supports matrices up to a size of 10x10. It displays the computition and of course the solution. Support for fractions is coming soon -
22
THIS PROJECT MIGRATED TO GITHUB https://github.com/cosmo-guffa/play-svg A great thanks to SF.net for hosting up until now... it's nothing personal, this just isn't the right tool for the job ;) Project description: pLAySVG is a python library for the development and manipulation of SVG vector graphics through scripting. pLAySVG makes it easy to create graphics based on geometric relationships. It's intended for educational and artistic use.
-
23
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
24
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. -
25
parFE is fully-parallel high-performance finite element code targeted to the modeling of trabecular bones in humans. It employs scalable multigrid solvers for efficient solutions on massively parallel computers.
