General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
A set of Eclipse plugins for the Scheme programminglanguage. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
Cessa is a text based organiser written in perl programminglanguage.
With cessa, one is able to check for existing appointments, add or delete them and also search the
appointments based on keyword.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Chimera is an interpreted programminglanguage designed for application development, and aims to provide support for powerful object-oriented features, regexes, and easy thread control.
SPARKUnit is a unit test framework for the SPARK programminglanguage. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
PiKa, previously known as YAW, is a CMS for image-hosting websites using a MySQL-database and written in PHP. (PiKa is not a KDE-application, nor has it anything to do with the Pika programminglanguage)
This IDE for visual programminglanguage "Dragon" is described in the book Vladimir Parondzhanova "How to improve the work of the mind. Algorithms without programming - it's easy!"
ERESYE means ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the Erlang programminglanguage. It allows to create multiple engines, each one with its own facts and rules to be processed.
A small programminglanguage. [Discontinued in favor of Lua. There was not much difference except the syntax and the project went the same way most languages go: convenient but bloated.]
HiNO is an open source project that allows to extract the hierarchical organization from directed regulatory networks. It is implemented as Netbeans Project and ready to use. ProgrammingLanguage: Java License: Q Public License (QPL)
Elements is a Web Framework designed to abstract server-side programming languages and databases, using an common object representation and manipulation language based on XML.
Tangara is an educational platform to get started with programming. The main target is the teenagers but it can be used by others. Tangara was originally developed by the Colombbus association (http://www.colombbus.org)
"JSBSim Python Bindings" is a Python wrapper around the open source flight dynamics model JSBSim (http://jsbsim.sourceforge.net/). It allows to use most of the JSBSim C++ API from the Python programminglanguage.
this project provides a Glue to Access GOFER Functionality through C and Python.
Gofer ("Good For Equational Reasoning") is an implementation of the programminglanguage Haskell intended for educational purposes and supporting a language based
Frontend to administration radius server using Freeradius and MySQL, can using to add, edit, view and remove user and group configuration. Using Ajax and PHP programming with simple CSS design (black & white) and currently in Indonesian Language.
jVSTwRapper allows you to develop VST (2.4), Audio Unit (AU) and LADSPA compatible audio plugins and virtual instruments plus user interfaces (Swing) with the Java programminglanguage on Windows, Linux and Mac OSX. 5 demo plugins (+src) are included.
This is a webcomic reader that connects to a webcomic of your choice (dynamically extensible via regex-based plugins) and displays or updates strips. The current version is based on SDL and written in the D programminglanguage.
A formally verified implementation of cryptographic algorithms using the SPARK programminglanguage. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.