Simple Project List Software Map

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

最后更新: 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)
最后更新: 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.

最后更新: 2014-04-15 22:07

llpp

llpp is a MuPDF-based PDF pager.

(Machine Translation)
作业系统: FreeBSD, Linux
编程语言: C, OCaml (Objective Caml)
专题: Freecode.com
用户界面: OpenGL
最后更新: 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)
最后更新: 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.

最后更新: 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)
最后更新: 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)
最后更新: 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)
最后更新: 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)
最后更新: 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.

最后更新: 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.

最后更新: 2008-02-13 05:44

Virt-P2V

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.

最后更新: 2013-09-12 23:23

bibtex2html

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)
最后更新: 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)