Search Results for "gnu/linux" - Page 77
Sort By:
Showing 3077 open source projects for "gnu/linux"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.
-
2
GMM-GMR is a light package of functions in C/C++ to compute Gaussian Mixture Model (GMM) and Gaussian Mixture Regression (GMR). It allows to encode any dataset in a GMM, and GMR can then be used to retrieve partial data by specifying the desired inputs.
-
3
-
4
libit provides easy to use yet efficient tools for C for signal processing, coding, or scientific code in general. It includes basic vector, matrix and function types, some common source and channel coding tools such as quantization, entropy coding, etc.
-
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
A GPL full programmable SCI calculator for Windows for Smartphone OS. Programmed in C# Framework 1.1
-
6
This repository is not in active use; the project lives at: https://r-forge.r-project.org/projects/spdep/
-
7
QHQ++ is a C++ library includes: QHQc++ (C++ Numerical Library), QHQmcmc++ (Markov Chain Monte Carlo C++ Library, Bayesian Statistics), QHQsv++ (Stochastic Volatility C++ Library, Finance), QHQyc++ (Yield Curve Modeling C++ Library, Finance).
-
8
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
-
9
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
scientific calculator in j2me for mobile phones - with standard functions(sin,cos,ln etc) - variables, plotting (func,parm,pol etc)
-
11
libhdlfltp is a VHDL library of floating point operators, all of which are parametrized, synthesizable to FPGAs and cover a number of the core operators in math.h.
-
12
v3xforum is a simple forum that can be used to communicate mathematics using tools such as MathML, LaTeX and tralics.
-
13
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
-
14
-
15
-
16
LaTeX Equation Editor provides an interactive editor for LaTeX equations. View the results of your edits live without having to recompile your entire thesis. Additionally, export them to image files for use in Word reports.
-
17
-
18
RAGE (Random Variate Generator) is a graphical tool for unidimensional discrete distributions. RAGE generates random values and simulates various discrete distributions by using different algorithms.
-
19
ExprEval pre-3.0 is a C based expression evaluation library. ExprEval 3.0 and later is a C++ based expression evaluation library. Features: 1. POEM - Parse once, evaluate many 2. Direct variable access 3. Support for custom functions 4. Seperate func/var
-
20
Numerical Resolution of the Inverse Problem for Chromatography using Evolutionary Algorithms and Adaptive Multiresolution. The goal is to identify the multicomponent equilibrium isotherm from experimental chromatograms.
-
21
Oxtor's math draw is a program for drawing graphs mathematicians, starting with the mathematical function,it is written in Java,supported oper is:+-*/()^root log sin cos tan asin acos atan ln. Constant: e and P e = the basis of natural logarithms P = PI
-
22
Genijatorics is a library providing solutions to enumerative combinatorial problems. The most prominent example of its use is for generating events in specified date range from CRON-like descriptions. It also serves for educational purposes.
-
23
MIM is a Windows program for graphical modelling -that is, the statistical analysis of multivariate data based on graphs. It uses models based on undirected graphs (a.k.a. Markov networks), directed graphs (a.k.a. Bayesian networks) and chain graphs.
-
24
GENIAL is a C++ library for signal and image processing. It uses template-generic techniques, multi threading, cache optimization and SIMD instructions for Pentium (MMX, SSE, SSE2, SSE3) to achieve high performance: FFT,DCT,Convolution,Linear Algebra...
-
25
UDA stands for Universal Descriptive Algebra. It consists of a Java package handling universal algebras and relational structures as description systems.
