Search Results for "evolution-x"
Sort By:
Showing 16 open source projects for "evolution-x"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
-
3
Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).
-
4
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
-
$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.
-
5
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.
-
6
-
7
Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.
-
8
Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.
-
9
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information
-
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.
-
10
-
11
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
-
12
A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.
-
13
TicTacTic is a variation of TicTacToe, introducing the concept of 'Aging Cells', implemented in Caml, a functional language in the Lisp family
-
14
The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.
-
15
This project aims at developping a set of programs for business needs, such as accounting, payroll and inventory.
-
16
It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.
- Previous
- You're on page 1
- Next
