Einfache Projektliste Software-Karte

OCaml (Objective Caml)
96 Projekte im Ergebnis
Letztes Update: 2014-05-26 21:55

Zero Install Injector

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.

Letztes Update: 2014-04-15 22:07

llpp

llpp is a MuPDF-based PDF pager.

(Machine Translation)
Letztes Update: 2013-10-21 00:13

libguestfs

libguestfs is a set of tools for accessing and modifying virtual machine (VM) disk images. You can use this for viewing and editing files inside guests, scripting changes to VMs, monitoring disk used/free statistics, P2V, V2V, performing partial backups, cloning VMs, and much more. libguestfs can access nearly any type of filesystem including: all known types of Linux filesystem (ext2/3/4, XFS, btrfs, etc.), any Windows filesystem (VFAT and NTFS), any Mac OS X and BSD filesystems, LVM2 volumes, MBR and GPT disk partitions, raw disks, qcow2, CD and DVD ISO images, SD cards, and dozens more. libguestfs doesn't need root permissions.

Letztes Update: 2014-04-03 17:38

Capstone

Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Running on Windows, Mac OS X, Linux, FreeBSD, OpenBSD, and Solaris, it can disassemble ARM, ARM64 (ARMv8), MIPS, PPC, and x86 architectures. Capstone provides rich details about disassembled instructions along with useful semantic information.

(Machine Translation)
Letztes Update: 2013-02-03 18:40

Wyrd

Wyrd is a curses front-end for Remind, a powerful calendar and alarm application. The display features a scrollable time table suitable for visualizing your schedule at a glance. Wyrd integrates with an external editor of your choice to make editing of reminder files more efficient, and provides hotkeys to quickly access the most common Remind options. Other features include extensive configurability, Mutt-like interface design, and minimal resource requirements.

Letztes Update: 2007-08-08 04:32

OMake

OMake is a build system and scripting language with a similar style and syntax to GNU make but with many additional features, including support for large projects spanning multiple directories, default configuration files simplifying the standard compilation tasks, fast, reliable, automated, scriptable dependency analysis using MD5 digests, built-in support for defining and running autoconfiguration tests, portability, and built-in functions that provide the most common features of programs like grep, sed, and awk. It also provides active filesystem monitoring that restarts builds automatically when source files are modified. A companion command interpreter that can be used interactively is included.

(Machine Translation)
Letztes Update: 2007-09-14 05:28

Orpie

Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, units support, base conversions, command completion, configurable keybindings, and a visible interactive stack.

Letztes Update: 2014-02-21 23:43

any-dl

any-dl is a generic video downloader tool that uses a domain specific language to describe how to download videos from each video site.

(Machine Translation)
Letztes Update: 2012-10-04 21:45

Frama-C

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

Letztes Update: 2013-07-25 00:19

CIL (C Intermediate Language)

CIL is a frontend for the C programming language which facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL, all looping constructs are given a single form and expressions have no side effects. This reduces the number of cases which must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool which makes C programs memory safe. It supports ANSI C, as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop-in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses.

(Machine Translation)
Letztes Update: 2014-05-14 22:48

LibreS3

LibreS3 is a robust open source implementation of the Amazon S3 service, supporting a subset of the S3 REST API. Standard S3 client libraries and tools (for example python-boto, s3cmd, DragonDisk, etc.) can
be used to access it. LibreS3 uses Skylable SX as the storage backend, which automatically provides data
deduplication and replication.

(Machine Translation)
Letztes Update: 2008-01-13 06:24

SRESI

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.

(Machine Translation)
Letztes Update: 2011-11-03 21:17

Plasma

Plasma implements the map/reduce framework on a compute cluster. It has its own distributed filesystem, PlasmaFS, which is transactional (ACID), reliable, and fast, and which provides a complete set of file operations. PlasmaFS can be accessed via an RPC protocol or via NFS (i.e., it is mountable). Additionally, there is a key/value database on top of PlasmaFS.

(Machine Translation)
Letztes Update: 2007-02-05 00:09

Cameleon for OCaml

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.

(Machine Translation)
Letztes Update: 2012-06-12 21:54

Opa

Opa is a web development platform. It comprises a programming language, a Web server, a database, and a distributed execution engine. All of these are tightly integrated.

(Machine Translation)
Betriebssystem: MacOS, Linux
Programmiersprache: OCaml (Objective Caml)