Search Results for "alpha linux"
Sort By:
Showing 63 open source projects for "alpha linux"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
-
2
OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml
-
3
EasyBMP-OCaml is an Objective Caml interface to the EasyBMP library (http://easybmp.sourceforge.net/).
-
4
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
Voici un petit programme fait en Ocaml / Python et Blender. Ce programme a pour but de générer des labyrinthes en 3D mais aussi de les résoudre. ;)
-
6
Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.
-
7
-
8
AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.
-
9
A UNIX style content indexer. Works like good old "locate" and provides functionality similar to tools like Google Desktop.
-
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
A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
-
11
MicroCartouche OSI est un petit logiciel de mesures et de formatage pour microphotographe. Il est particulièrement indiqué pour les échanges d'images dans le forum du Naturaliste (http://www.lenaturaliste.net/index.php)
-
12
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
-
13
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.
-
14
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
-
15
Replaces traditional file system with tagged cloud. Designed to work with both point&click interfaces and command line. Data and tags are stored as regular files, so if something goes wrong, your data and tags won't disappear.
-
16
Errances is a tactical role playing game written in OCaml. Features battles in a 3D environment. The aim is to have lots of secondary quests but not a single main story.
-
17
-
18
An OCaml plugin for GNU Global, using CamlP4 for versions 3.10 of OCaml and above. Provides ocaml_tags, which creates tags for ml and mli files, and an ogtags script that wraps a gtags call with the ocaml_tags plugin.
-
19
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
-
20
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
-
21
The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar
-
22
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
-
23
A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.
-
24
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
-
25
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
