Search Results for "gnu/linux" - Page 74
Sort By:
Showing 2663 open source projects for "gnu/linux"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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
Numep is a web-based interactive program that implements some numerical algorithms such as simplex algorithm, matrix decompositions, iterational equation-system solving, eigenvalue determining.
-
2
A cross-platform cellular automaton facility. Implements simulation and visualization of multi-dimensional cellural automatas locally or in distributed mode.
-
3
hgboost is a header-only library which contains a generic hypergraph implementation and provides vertex/node contraction and vertex/edge filtering. It contains algorithms to compute cohesive subgroups, minimum cuts and maximum flows.
-
4
The pf2html project adds functionality to LATEX2HTML such that LATEX documents written with pf.sty can be viewed in a web browser up to the desired level of detail for each branch of a structured proof.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
-
6
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
-
7
Algorithms to estimate the number of k-colorings of a low-degree graph using samplings from a markov chain are provided.
-
8
-
9
OMG is an online 2-D Mesh Generator. Using Shewchuka Triangle (written in C) to generate DT and a Quadtree algorithm (written in php) to triangulate a PSLG. A few Import end Export functions are included. Using SVG to display meshes.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
-
11
hybopt is a set of libraries to solve the identification and optimal control problems for hybrid (mechanistic/empirical) dynamic (ODE and DAE) models.
-
12
Topologia Digital (Digital Topology) is a project for the development of the practical exercises of the Digital Topology course in the Applied Mathematics Department of the Computer Science Faculty (Polytechnic University of Madrid, Spain).
-
13
libidp is a C library implementation of the iterative dynamic programming (IDP) optimal control algorithm, which solves the optimal control problem for ODE and DAE dynamic equation models. An example problem is included.
-
14
jBaseChange converts values between number systems of radix 2-36, or it can convert the input value to all the supported number systems. Also included is a random number generator. This could be used to generate a strong password.
-
15
-
16
This library provides systems for testing rumor spread through various network types including but not limited to small-world networks.
-
17
Calx is a calculator program based on RPN (Reverse-Polish Notation) that allows you to compute complex mathematical expressions containing brackets, mathematical functions etc.
-
18
A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
-
19
JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
-
20
A heuristic implementation for solving the Bottleneck Traveling Salesman Problem (BTSP) and related problems, such as the Maximum Scatter Traveling Salesman Problem (MSTSP).
-
21
GLARE is a library and a software for product based optimization of reagent lists in the context of a chemical combinatorial library design. Large virtual combinatorial libraries containing 10^12 products have been optimized within a second.
-
22
Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
-
23
AutoGuider is an integrated environment for continuation and bifurcation analysis. Based on Auto2000, it is designed to be portable and easy to use/install. Features includes a project manager, support for MathML and SBML, and SVG export of graphics.
-
24
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
25
