Search Results for "linux" - Page 2
Sort By:
Showing 110 open source projects for "linux"
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 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.
-
1
GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.
-
2
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
-
3
-
4
MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).
-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
-
6
PHP/Mysql based Guild website portal for world of warcraft guilds. It will provide the guild with a place to maintain member information, professions, dkp, forums, raid planner / signups, guild bank items etc.
-
7
-
8
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
9
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
-
11
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
-
12
Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.
-
13
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.
-
14
-
15
The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/
-
16
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.
-
17
-
18
A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)
-
19
Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.
-
20
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
-
21
-
22
What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>
-
23
Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
-
24
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.
-
25
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.
