Simple Project List Software Map

OCaml (Objective Caml)
96 projects in result set
LastUpdate: 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.

LastUpdate: 2007-08-08 04:32


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)
LastUpdate: 2013-10-21 00:13


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.

LastUpdate: 2014-04-15 22:07


llpp is a MuPDF-based PDF pager.

(Machine Translation)
LastUpdate: 2014-04-03 17:38


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)
LastUpdate: 2013-02-03 18:40


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.

LastUpdate: 2014-05-14 22:48


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)
LastUpdate: 2012-06-12 21:54


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)
운영 체제: MacOS, Linux
프로그래밍 언어: OCaml (Objective Caml)
LastUpdate: 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)
LastUpdate: 2014-02-21 23:43


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)
LastUpdate: 2011-11-03 21:17


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)
LastUpdate: 2005-02-17 20:43

Confluence System Design Language

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

LastUpdate: 2008-02-13 05:44


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.

LastUpdate: 2013-09-12 23:23


bibtex2html is a collection of tools for
translating BibTeX bibliographies to HTML. It can
handle any BibTeX style (even those producing
multiple bibliographies), use additional fields
(like "abstract", "url", and "ps") to insert Web
links, replace cross-references with links, sort
on various fields, process simple (La)TeX macros,
identify syntax errors in BibTeX files, and filter
BibTeX entries based on a given criterion.

(Machine Translation)
LastUpdate: 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)