21 projects tagged "Linux"
Updated 10 Mar 2013
llpp
| Pop | 132.82 |
|---|---|
| Vit | 9.65 |
llpp is a MuPDF-based PDF pager.
Updated 09 Aug 2009
Ocaml Plugin for NetBeans
| Pop | 25.87 |
|---|---|
| Vit | 1.74 |
Ocaml Plugin extends the NetBeans IDE with support for projects written in the Objective Caml language. It provides syntax highlighting, code completion, build-in documentation, support for OCaml projects with multiple source, test, and docs folders, support for multiple build systems, a sample project template, and an empty project wizard.
Updated 13 Feb 2008
Virt-top
| Pop | 39.62 |
|---|---|
| Vit | 1.00 |
Virt-top is a top-like utility for showing statistics of virtualized domains. Many keys and command line options are the same as for ordinary top. It uses libvirt, so it is capable of showing statistics across a variety of different virtualization systems.
Updated 13 Feb 2008
Virt-P2V
| Pop | 90.86 |
|---|---|
| Vit | 1.00 |
Virt-P2V is a live CD or pxeboot image for migrating physical machines to virtual machine guests. It can be used to turn a Linux box into a Xen, QEMU, or KVM virtual machine.
Updated 23 Apr 2007
NVM Virtual Machine
| Pop | 26.93 |
|---|---|
| Vit | 1.00 |
NVM Virtual Machine is a small, fast, extensible and portable virtual machine. It can be used, for example, as a scripting engine in microcontrollers. It can be configured to work in a few modes (with a machine word equal to 16, 32, or 64 bits) depending on user needs. Programming is done using an ASM-like language or a (simple) higher level language which is implemented using ocamllex and ocamlyacc.
Updated 10 Jul 2008
Liquidsoap
| Pop | 49.72 |
|---|---|
| Vit | 2.04 |
Liquidsoap is a powerful tool for building complex audio streaming systems, typically targetting Internet radio stations. It consists of a simple script language, which has a first-class notion of source (basically a stream) and provides elementary source constructors and source compositions from which you can build the streamer you want. There is no constraint on the streams, in contrast to many other tools which can only stream one file after another. Moreover, it is not restricted to a single stream. Finally, it interfaces well with external tools.
Updated 25 Aug 2006
GeoProof
| Pop | 17.89 |
|---|---|
| Vit | 1.00 |
GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.
Updated 13 Jan 2008
SRESI
| Pop | 89.85 |
|---|---|
| Vit | 9.99 |
SRESI is a smart bookmark manager. It currently sports both a command-line and a PHP interface. It works with both the standard hierarchical trees and the new and fashionable tagged bookmarks. It was developed as a way to interface both representation systems. SRESI can use Del.icio.us, Mozilla, Opera, and XBEL bookmarks, and handles a few more exports besides. Directories and tags are used equivalently, and the final hierarchies are inferred from actual tag use.
Updated 07 Jul 2006
Kom
| Pop | 20.49 |
|---|---|
| Vit | 1.00 |
Kom stands for "Keep old mails". It imports email messages into a MySQL database, and provides a frontend in GTK 2 to search and browse the archived messages. Some options can be used to incrementally import email (per month, for example). It can also export messages stored in the database, in mbox format or one-message-per-file format, and generate some statistics.
Updated 19 May 2006
Caml-get
| Pop | 16.31 |
|---|---|
| Vit | 1.00 |
Caml-get is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility.
