32 projects tagged "Software Development"
Updated 28 Jul 2012
Globus Toolkit
| Pop | 182.08 |
|---|---|
| Vit | 19.50 |
Globus is a project to provide robust, secure, peer-to-peer distributed computing on supercomputers, clusters, and other high-performance systems. It differs from other such network toolkits in that it is tuned to the needs of high-end machines.
Updated 18 Jul 2012
nedmalloc
| Pop | 125.06 |
|---|---|
| Vit | 9.86 |
nedmalloc is an extremely fast portable thread caching malloc implementation written in C for multiple threads without lock contention based on dlmalloc. It is optimized for x86 and x64, compatible with C++, and can patch itself into existing binaries on Windows.
Updated 25 Dec 2011
Spike PHPCheckstyle
| Pop | 73.99 |
|---|---|
| Vit | 4.61 |
Spike PHPCheckStyle is a tool that helps PHP programmers adhere to certain coding conventions. The tool checks the code and reports coding standard violations. It works on PHP 5.0 and newer.
Updated 15 May 2011
msnlib
| Pop | 116.39 |
|---|---|
| Vit | 9.61 |
msnlib is an MSN Messenger protocol library and text mode client written in Python.
Updated 24 Jun 2010
Daikon
| Pop | 99.50 |
|---|---|
| Vit | 10.56 |
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
Updated 09 Oct 2009
JagPDF
| Pop | 77.97 |
|---|---|
| Vit | 2.26 |
JagPDF is a library for generating PDF documents in C/C++, Python, and Java. It supports TrueType (subsetting) and standard 14 Type 1 fonts, font metrics, Unicode, UTF-8 and common 8-bit character encodings, images (JPEG, PNG, or custom), paths, color spaces (RGB, CMYK, CIE based, ICC profiles, indexed), encryption, bookmarks, hyperlinks, and more.
Updated 11 Jul 2008
Plan 9 From User Space
| Pop | 77.59 |
|---|---|
| Vit | 4.08 |
Plan 9 From User Space is a port of the bulk of the Plan 9 software build environment to Unix. While the libraries make an attempt to play nice with the rest of the system (by using the Unix rules for printf verbs and Unix system headers, for example), this port tries to reproduce the Plan 9 build environment as faithfully as possible, providing u.h and libc.h, and blithely redefining tokens such as open, dup, and accept in order to provide implementations that better mimic the Plan 9 semantics. The result is a more complicated and less Unix-friendly environment, but Plan 9 programs can typically be compiled with little or no changes.
Updated 08 Feb 2008
Xepl Engine Virtual Machine
| Pop | 41.92 |
|---|---|
| Vit | 1.42 |
The XEVM is an XML processing engine. It's a multi-threaded, Pub/Sub environment for dynamic programming on an event-driven state machine with TCP communications, tight fault free memory management, powerful set algebra, and a magical database. It is 100% C++ (25,000 LOC), with a thin porting layer; there are implementations for POSIX (Mac/Linux) and Win32. The XEVM is for processing XEPL (the Xepl Engine Programming Language).
Updated 14 Nov 2007
Puzzlogic: Jigsaw Library
| Pop | 29.26 |
|---|---|
| Vit | 1.00 |
Jigsaw is an embedded data-store designed for the development of data-warehouse, analytical, and machine learning applications. Jigsaw can perform over one million operations a second, and scale to store tera-bytes of data. The object library contains classes for representing ordered and unordered mappings, highly compressed bit vectors with a range of set theoretic operators, and directly integrates a high performance sort system.
Updated 24 Oct 2007
web heijunka-kanban
| Pop | 17.32 |
|---|---|
| Vit | 1.00 |
web heijunka-kanban is a project to implement an electronic Heijunka (leveling) board using electronic Kanbans (sign cards).
