Search Results for "linux windows apps"
Sort By:
Showing 13 open source projects for "linux windows apps"
View related business solutions-
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.
-
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.
-
1
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
-
2
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
3
DRINKS Toolkit
DRINKS is a set of smart web-based widgets.
DRINKS Toolkit is a collection of web-based widget, focused in the first release, to realize an online strumentation. It provides a practical and immediate interface to represent your data in the best possible way. Every widget is drawed using HTML5 Canvas API in a Javascript based environment. Drinks was born to allow users to easily realize custom dashboards without any programming knowledge, infact, you can use your instrument on a webpage simply using HTML tags, or using BarMan... -
4
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
-
6
The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
-
7
A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.
-
8
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
-
9
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.
-
11
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
-
12
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
-
13
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
- Previous
- You're on page 1
- Next