Search Results for "gnu linux" - Page 11
Sort By:
Showing 1211 open source projects for "gnu linux"
View related business solutions-
Build Securely on Azure 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.
-
Forever Free Full-Stack Observability | 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.
-
1
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
-
2
Asymptopia Math Crossword Builder
Javascript crossword builderwith i18lized math capabilities
JavaScript crossword puzzle builder with internationalized math capabilities. Generate unlimited layouts of user-supplied words and equations. Use file->print (to file) to save -
3
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2... -
4
Make It True
Simple, effective algebra trainer
Make It True is a web application to practice fundamental algebra procedures used when manipulating equations. The application generates arbitrary equations containing 1-4 variables. It is for the student to provide values for these variables which make the equation true. For example, in the screenshot above the equation is: 18-64-c*d=4. The student must choose values for c and d which result in a true statement. One approach would be to solve for the product "c*d" and then choose 2... -
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.
-
5
This is a Java library for manipulating Oriented Matroids.
-
6
The Orientation Library is a collection of routines for rotation/orientation manipulation. It ranges from general tools to others for crystal orientations. It is written in C and is well-documented. An interactive program enables to run the routines.
-
7
-
8
TIDES
Taylor series Integrator for Differential Equations
Taylor series Integrator for Differential EquationS. This software is developed by Profs. A. Abad, R. Barrio, F. Blesa and M. Rodriguez, (GME, University of Zaragoza, Spain). It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) . Basic references: * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5.... -
9
A collection of projects I have developed in the past years. It contains: - a tool to compute height and angle of objects above horizon - a proof of concept of DFT and DWT to reduce audio files - a quantitative library with OOorg interface for Calc
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
-
11
PiSvM is a parallel Support Vector Machine (SVM) implementation. It supports C-SVC, nu-SVC, epsilon-SVR and nu-SVR and has a command-line interface similar to the popular LibSVM package.
-
12
-
13
It's a program that plots Bode diagrams with an excellent precision. In this new version it's very easy to provide the function to plot thanks to a simply graphic interface in style "what you see is what you got". A smart output window allows to plot more than one graph at the same time, and easily compare them. The plotted graphs can be exported as images, in various format. Language supported: italian. Next version probably will include other languages; certainly english will be...
-
14
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
15
Euclide is a dynamic geometry application written in Java. It allows creation of geometric shapes (lines, points, circles, conics...) and transforms (rotation, symmetry...), which depend each other. Moving a shape will also move shapes dependent on it.
-
16
javaGeom
A geometry library for Java
A java library for geometry applications. Provides a general framework for manipulating and creating geometric primitives, computing intersection points between shapes, composing them to create new shapes, and performing some measurements. Important note: the repository has now moved to GitHub: https://github.com/dlegland/javaGeom Please update bookmarks! -
17
This is a simple software for performing various statistical and mathematical operations on single ASCII data-files. Entire file is read into an array, which is then analyzed. Number of columns is detected automatically.
-
18
SalStat is a small application for statistical analysis emphasising the sciences and social sciences (particularly Psychology). The project is designed around the user interface which has been designed to be simple to use. Think SPSS, but better!
-
19
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... -
20
An object oriented Math library written in C++. This library contains set of template classes that are ready to be used. Currently a 2D Matrix, modular arithmetic, vector, and complex numbers are present. These systems can work together, you can create a matrix of complex numbers. Iterators for matrix and vector classes will be added soon. Please use SVN to access current version.
-
21
Average
Command-line calculator of basic statistics.
Average is a simple and fast command-line Perl utility for calculating basic statistics on a list of numbers (one number per line). It works as a traditional Unix filter and can be used as part of those greatly useful chains of piped commands. It calculates average (arithmetic mean), standard deviation, median, total sum, minimum and maximum values present, and shows the number of processed numbers. Entry can by a text file (any column can be specified, default is the first) or... -
22
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 -
23
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,... -
24
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
25
phcfM
R package for modelling anthropogenic deforestation
phcfM is an R package for modelling anthropogenic deforestation. It was named after the REDD+ pilot-project 'programme holistique de conservation des forêts à Madagascar'. phcfM includes two main functions: (i) demography(), to model the population growth with time in a hierarchical Bayesian framework using population census data and Gaussian linear mixed models and (ii) deforestation(), to model the deforestation process in a hierarchical Bayesian framework using land-cover change data and...
