Search Results for "gnu operating system" - Page 9
Sort By:
Showing 533 open source projects for "gnu operating system"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
mdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.
-
2
Matlab, Maple and C/C++ applications of Linear Algebra in many domains, including curves in many dimensions, Cryptography and Chaos etc.
-
3
libNT is a Number Theory Library which is based on a BigInteger Class. It will contain several algorithms for solving Number Theory Problems. Written in the IDE Code::Blocks
-
4
WMI is an open web-based eLearning system in mathematics for grammar school and/or university students, including basic mathematical functions (equation solving, function plotting, symbolic differentation and antiderivation) and thematic modules.
-
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
An application built onto the Open Table Explorer engine for the acquisition and analysis of home energy consumption and solar energy production.Moved to github as Open Table Explorer
-
6
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
-
7
A tool for visualizing regular polytopes in stereographic projection. Capabilities include: a large database of Coxeter polytopes, 6-axis motion control, animation, fly-though, stereo viewing, high-res capture, depth-blur, and many style options.
-
8
transpose is a fast and efficient command-line tool that transposes (the rows become the columns, the columns become the rows) or reshapes a matrix in plain text. Inputs and outputs can be files or streams.
-
9
A neural network package for Octave! Goal is to be as compatible as possible to the one of MATLAB(TM).
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
Torch5 provides a matlab-like environment for state-of-the-art machine learning algorithms. It is easy to use and provides a very efficient implementation, thanks to a easy and fast scripting language (Lua) and a underlying C++ implementation.
-
11
KinetDS is a software for curve fitting particularly designed for kinetic (mechanistic and empirical) description of a substance dissolution from solid state. It was primarily designed for handling pharmaceutical dissolution tests
-
12
talc is a terminal calculator designed with very large number support and a simple grammar. It is designed to be both scriptable and interactive.
-
13
-
14
Worst Cases is a python script that enables calculations on worst case objects. Like a calculator operating on worst cases (e.g. [1,2,3]) rather than on real numbers (2.35) WARNING: This program is released as is, and has never been extensively teste
-
15
Magneticle is a 3D OpenGL physical simulation that applies the Biot-Savart law to charged particles operating inside a magnetic field produced by a current-carrying wire modeled as an arbitrary space curve.
-
16
System independent command line calculator written in C (C99 standard). Expression is first converted to Reverse Polish Notation and then evaluated.
-
17
Implementation of the PowerWatershed algorithm (q=2) described in the following paper (ICCV 2009) http://www.esiee.fr/~najmanl/papers/couprie2009iccv.pdf
-
18
An R package for detailed inspection and analysis of LCMS data. An R package developed by Sukhdeep Singh at Department of Surgery and Cancer, Imperial College London,UK.
-
19
MuPAD-Combinat is an open-source algebraic combinatorics package for the Computer Algebra System MuPAD.
-
20
Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
-
21
Model Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).
-
22
Stand-alone software tool for the interactive CE analysis of microarray data. The software is a user-friendly and allows on-the-fly study of CE
-
23
An SQL handler to interface multiple databases data to the OpeNDAP Hyrax (BES) server. Written in C++, it uses unixODBC to query DB and can be dynamically extended to use proprietary ODBC API driver in many easy ways. It is bundled with scripts to ge
-
24
-
25
Real-Time Zooming Math Engine is a mathematical tool which provides exploration of complex plane geometry.
