Search Results for "gnu/linux" - Page 88
Sort By:
Showing 3077 open source projects for "gnu/linux"
View related business solutions-
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.
-
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
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
-
2
-
3
NZ Calc is a Calculator for NukeZone, it can calculate attacks/research/building, and it will also keep up with all the turns/morale/satelite power you gain, and use these for attacks/research/building, during calculation.
-
4
This is a map internet web service based on a huge raster maps or satellite images for tracking and monitoring the mobile objects (cars etc) using GPS.
-
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.
-
5
Wurp is an RPN (Reverse Polish Notation) calculator, similar to the HP48 calculator. Wurp supports various platforms, including KDE and curses (and hopefully Windows eventually).
-
6
A full math Java class library containing complex functions and algorithms such as cubic-spline interpolation, least squares, matrix computations. Eventually to make a web based interface to the library using JSP.
-
7
Turing Machine Simulator using Quintuples (5-tuples). Intended for primarily for Computer Science education.
-
8
This library is meant for high performance calculations for science or 3D games/rasterizers using SIMD instructions of x86 processors to allow an unparalleled level of optimization. This takes advantage of MMX, 3DNow!, 3DNow!+/MMX+, & SSE/SSE2/SSE3/SSSE3
-
9
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
10
gaDesignLib
Genetic algorithm for mechatronic product design
This C++/STL library provides you with the basic genetic algorithms needed for engineering design, such as simple GA and variable population. -
11
Symath is a symbolic algebra utility that manipulates expressions as you would by hand. The aim is to provide a utility for students to use to solve complex systems as well as learn how it is done.
-
12
SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications
-
13
Software package for computing coresets that can be used for computationally effective approximation of solutions for k-mean, k-median and numerous other problems in computational geometry.
-
14
WWW Interactive Mathematics Server, engine to provide interactive educational activities on the web.
-
15
x86mph is an optimized library with vector, matrix, and vertex helpers (including an own TnL) It also contains memory helpers, and other stuff such as image processing (color inverting, changing bpp) taking advantage of x86's 3DNow!, MMX, and SSE
-
16
Is an algebraic-geometric program to make geometricals constructions; handle points, lines, conical, symmetries, invertion, locus, animation, etc.
-
17
-
18
A .NET implementation of the Gabow, Kaplan, Tarjan algorithm for testing the uniqueness of a perfect matching in a general graph.
-
19
-
20
OnlinePlotter is a graphical and interactive online function plotter to build customizable functions per Drag&Drop.
-
21
-
22
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
-
23
-
24
A python pygtk based calculator designed to be very simple and very modular. This program will aim to let the user add functionality with ease. This program will have functionality such as a history and variable assignment.
-
25
