RSS 30 projects tagged "Linux"

Download Website Updated 22 Jan 2006 repasa

Screenshot
Pop 26.38
Vit 2.29

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.

Download Website Updated 24 Oct 2004 mod_caml

Screenshot
Pop 19.29
Vit 1.84

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).

Download Website Updated 17 Jun 2004 MLpcap

Screenshot
Pop 20.64
Vit 2.05

MLpcap provides access to all libpcap functions from the Objective Caml language.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.23
Vit 3.59

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.

Download No website Updated 23 Jun 2004 distjob

Screenshot
Pop 12.25
Vit 59.89

distjob is a very simple way of distributing a list of jobs on a list of hosts.

No download Website Updated 18 Jan 2006 GODI

Screenshot
Pop 28.90
Vit 1.52

GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.

Download Website Updated 30 Apr 2005 C Code Analyzer

Screenshot
Pop 65.76
Vit 1.43

The C Code Analyzer (CCA) is a static analysis tool for detecting potential security problems in C source code. It's fully automatic; no code annotations or the like are required. It features an automatic user input tracer, potential buffer overflow detection, and more. An eclipse frontend plugin is included.

Download Website Updated 20 Jan 2014 Zero Install Injector

Screenshot
Pop 1,075.21
Vit 52.19

Zero Install is a decentralized cross-distribution software installation system. It allows software developers to publish programs directly from their own Web sites, while supporting features familiar from centralized distribution repositories such as shared libraries, automatic updates, and digital signatures. It is intended to complement, rather than replace, the operating system's package management. 0install packages never interfere with those provided by the distribution.

No download Website Updated 04 Jul 2006 MyCGR

Screenshot
Pop 17.86
Vit 1.00

MyCGR implements the research of the thesis of Peggy Cénac regarding the use of CGR (Chaos Game Representation) to build a new family of tests for the structure of sequences. It can empirically check the level and power of the tests and apply them on DNA sequences. It can generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees and to define CGR-trees.

Download Website Updated 01 Feb 2013 brightmare

Screenshot
Pop 42.10
Vit 4.34

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

Screenshot

Project Spotlight

OpenTBS

A PHP script for making OpenOffice and MS Office documents using templates.

Screenshot

Project Spotlight

Ada EL

A library which implements an expression language similar to JSP and JSF.