Search Results for "gnu operating system" - Page 6
Sort By:
Showing 533 open source projects for "gnu operating system"
View related business solutions-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
Geomview
an interactive 3D viewing program
Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three- and higher-dimensional objects, and can also be used as a display engine by other programs to animate objects. Geomview supports OpenGL and uses a Motif X interface. -
2
Displays four-dimensional objects and functions by projecting them into three-dimensional space. Viewpoint transformations and parameter changes are displayed in real time. THE PROJECT'S CODE BASE HAS BEEN MOVED TO GITHUB: https://github.com/lene/HyperspaceExplorer The Git repository on SourceForge will be kept in sync with GitHub at least for the time being, but for the latest commits you should check the GitHub Project. If you want to report a bug or a feature request, please use...
-
3
Tk-Yupana
Incan Abacus Emulator
The Yupana was an ancient calculating device of the Incas. This simple program compares different theories: - positional notation * Base 10 by H. Wassen (representation, addition) * Base 10 by C. Radicati di Primeglio (representation, addition, subtraction, multiplication) * Base 10 by W. Burns Glynn (representation, addition, multiplication) * Base 40 by N. De Pasquale (representation) - sign-value notation * Powers of ten by C. Florio ... -
4
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. -
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.
-
5
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. -
6
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... -
7
SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis. It is written in ANSI C by San Le and distributed under the terms of the GNU license.
-
8
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.
-
9
XaoS
Real-time interactive fractal zoomer
Real-time interactive fractal zoomer. Home Page: http://xaos.sf.net/ GitHub: - Downloads: https://github.com/xaos-project/XaoS/releases - Source https://github.com/xaos-project/XaoS - Issues: https://github.com/xaos-project/XaoS/issues - Wiki: https://github.com/xaos-project/XaoS/wiki Discussion Groups: - Users: http://groups.google.com/group/xaos-users - Developers: https://groups.google.com/forum/#!forum/xaos-devel -
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
EnvStats
An R Package for Environmental Statistics
EnvStats is an R package for environmental statistics. It is the open-source successor to the commercial module for S-Plus© called "EnvironmentalStats for S-Plus", which was first released in April, 1997. The EnvStats package, along with the R software environment, provides comprehensive and powerful software for environmental data analysis. EnvStats brings the major environmental statistical methods found in the literature and regulatory guidance documents into one statistical package,... -
11
Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
-
12
The Generic Graphics Toolkit is a library of generic programming primitives that allow applications to be written that adapt to whatever underlying graphics system the developer is using.
-
13
A base for programs. Includes algorythms for Q-learning and SOM's etc. too. Examples: Hamron: Simulates evolution, uses the 2D-renderer. DriveUnit: created for school, for a robotic arm, uses the 3D-renderer. Hlearn: http://www.sagenb.org/home/pub/8
-
14
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. -
15
Ank Zyotish
Ank Zyotish, fortune-teller app ,written in Java.
Ank Zyotish is based on Numerology Calculations for predicting various aspects of human on the bases of his/her Date Of Birth. Ank Zyotish performs various mathematical calculations and generate a specific set of predictions related to that person. -
16
Dantzig-Wolfe Solver
An implementation of Dantzig-Wolfe decomposition built upon GLPK
An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link). -
17
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
-
18
math toolkit
A C++ and Python library for finance, statistics and linear algebra.
A lightweight C++ and Python library for finance, statistics and linear algebra. Finance features include compound rate present/future value, annuity, various present/future value coefficients ... Statistics features include mean, median, variance, standard deviation, covariance, correlation, linear regression, probabilities and random variates of various distributions ... Linear algebra features include matrix arithmetic, inverse, determinant, rank, linear system solution, lu/qr... -
19
ATMSP
ATMSP - A Tiny Mathematical Speed Parser
A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision. Both parser and bytecode may run in threads. The usage of ATMSP is... -
20
FoxCalc
A pseudo-graphical calculator for FreeDOS (or any other DOS)
FoxCalc is a calculator with a text user interface (TUI), compiled for DOS. It supports a mouse, and uses the GMP library, therefore its results are highly accurate. FoxCalc is distributed as a zip FreeDOS package. That way, it can be easily installed using the FreeDOS package manager. -
21
NOTE: This project was moved to: https://github.com/eetorres The BPANNA is a flexible Back propagation neural network, which include the Conjugate Gradient and the Levenberg-Marquardt. You can change the number of inputs, number of layers, number of neurons per layer and outputs. It included an structure editor.
-
22
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. -
23
The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.
-
24
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).
-
25
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...
