- Linux (11)
- BSD (8)
- Grouping and Descriptive Categories (8)
- Modern (7)
- Windows (7)
- Mac (5)
- Other Operating Systems (4)
- Solaris (3)
- Android (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice34 weekly downloads
A collection of machine-checkend mathematical proofs5 weekly downloads
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.1 weekly downloads
Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.Advertisement
a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general
Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.
GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya
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.
The MAPeG Geographic Modeler (MGM) will provide you an easy and user-friendly way to visualize your 2D Map into an amazingly stunning 3D view! MGM is a 2nd-Year EPITA Students Project
Object storage is clearly the simplest, most flexible, and most scalable way to store tons of unstructured content. Scality’s Zenko.io enables developers and businesses to take advantage of this simplicity, for free. Whether you're programming in Go or Java, or whether you're using existing applications for personal or shared data management, Scality’s Zenko.io is a great starting point.Advertisement
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an
This library provides an easy interface to Gnuplot (http://www.gnuplot.info/) from OCaml (http://caml.inria.fr/) for static 2D and 3D graphs and simple animations. This library aims to be portable on all platforms OCaml runs on.
strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.