49 projects tagged "Linux"
Updated 20 Jun 2007
Planets
| Pop | 92.61 |
|---|---|
| Vit | 4.16 |
Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.
Updated 29 Apr 2003
Poesia
| Pop | 54.99 |
|---|---|
| Vit | 1.00 |
Public Opensource Environment for a Safer Internet Access (POESIA) is an Internet content filter, partly funded by the European Commission. POESIA filters harmful content in several channels (Web, email, Usenet news). It combines innovative technologies to achieve more effective filtering than other products. Filtering covers a range of modes, including image filtering, natural language text filtering, URLs, PICs, and JavaScript filtering. The filter will initially be deployed in English, Italian, and Spanish. Additional work is required to cover other European languages.
Updated 05 Feb 2007
Cameleon for OCaml
| Pop | 65.57 |
|---|---|
| Vit | 3.10 |
Cameleon is an integrated development environment for Objective Caml and eventually other languages. Its features include a graphical user interface, configuration management based on CVS, easy access to and browsing of documentation, various editors, customizable file types, a plug-in architecture, and a highly customizable interface.
Updated 22 Jan 2006
repasa
| Pop | 25.38 |
|---|---|
| Vit | 2.33 |
repasa is a set of three kind of tools: For creation of contents directly in the XML format of repasa or in other file formats (DocBook and LaTeX) following some conventions, for checking the contents, and for studying the contents and registering progress. The contents can be specified with definitions, classifications for the definitions (possibly along with exercises), and sequences of study. It is especially well suited to organize information according to the current legislation for education in schools of Colombia.
Updated 24 Oct 2004
mod_caml
| Pop | 21.73 |
|---|---|
| Vit | 1.85 |
mod_caml is a set of Objective CAML (OCaml) bindings for the Apache API. It allows you to run CGI scripts written in OCaml directly inside the Apache Web server. However, it is much much more than just that. You can bind to any part of the Apache request cycle, read and modify internal Apache structures, share modules of code between handlers and scripts, or use the CGI library and templating system (allows separation of code and presentation).
Updated 17 Jun 2004
MLpcap
| Pop | 24.00 |
|---|---|
| Vit | 2.06 |
MLpcap provides access to all libpcap functions from the Objective Caml language.
Updated 03 Feb 2004
Polygen
| Pop | 29.39 |
|---|---|
| Vit | 58.30 |
PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. Formally, it is an interpreter of a language itself designed to define languages, where to interpret means executing a source program in real time and eventually outputting its result. Here, a source program is a grammar definition. The execution consists of the exploration of such grammar by selecting a random path, and the result is the sentence built on the way.
Updated 16 May 2012
MLdonkey
| Pop | 322.75 |
|---|---|
| Vit | 16.79 |
MLdonkey is a multi-platform, multi-network peer-to-peer client. It supports several large networks such as eDonkey, Overnet, Kademlia, Bittorrent, Gnutella (Bearshare, Limewire, etc.), Gnutella2 (Shareaza), or Fasttrack (Kazaa, Imesh, Grobster). Networks can be enabled or disabled. Searches are performed in parallel on all enabled networks. For some networks, each file can be downloaded from multiple clients concurrently.
Updated 11 Aug 2009
Coq
| Pop | 44.50 |
|---|---|
| Vit | 3.82 |
The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.
Updated 02 Apr 2004
Dirty Water
| Pop | 22.89 |
|---|---|
| Vit | 1.00 |
Dirty Water is an original MUD server/engine written in OCaml. It is designed to be much more advanced and realistic and to encourage role playing more than Diku-style MUDs.
