3509 projects tagged "POSIX"
Updated 18 Jun 2013
CIL (C Intermediate Language)
| Pop | 207.95 |
|---|---|
| Vit | 39.65 |
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.
Updated 17 Jun 2013
The Aime Interpreter
| Pop | 498.70 |
|---|---|
| Vit | 327.86 |
aime is a simple, C-like programming language and an interpreter, both designed to be embeddable in applications. The language is straightforward, trivial, and direct. Its syntax is simpler than that of C, while still providing for full object management, higher order functions, and references. The interpreter is secure and expressive, allowing comprehensive control over program execution and providing powerful methods of application integration.
Updated 17 Jun 2013
Spread
| Pop | 270.30 |
|---|---|
| Vit | 243.30 |
The Spread Toolkit provides tools for developing reliable and robust distributed applications ranging from collaboration tools to fault-tolerant database servers to replicated Web servers. It consists of a daemon which provides multicast messaging, reliability, ordering, and membership services, and a library which applications link with. Spread provides a simple API for writing group applications and is designed to provide high performance for local and wide area networking applications.
Updated 17 Jun 2013
PyQt
| Pop | 612.48 |
|---|---|
| Vit | 505.76 |
PyQt is a comprehensive set of Python bindings for the Qt GUI toolkit.
Updated 17 Jun 2013
Python-SIP
| Pop | 572.09 |
|---|---|
| Vit | 461.38 |
SIP is a tool to generate C++ interface code for Python. It is similar to SWIG, but uses a different interface format. It was used to build PyQt and PyKDE, and has support for the Qt signal/slot mechanism.
Updated 17 Jun 2013
Seed7
| Pop | 594.71 |
|---|---|
| Vit | 578.28 |
Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C++, and Java. In Seed7, new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used when it brings advantages and not in places when other solutions are more obvious. Although Seed7 contains several concepts of other programming languages, it is generally not considered as a direct descendant of any other programming language.
Updated 16 Jun 2013
Mercury
| Pop | 158.72 |
|---|---|
| Vit | 203.06 |
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
Updated 16 Jun 2013
GLFW
| Pop | 309.04 |
|---|---|
| Vit | 135.37 |
GLFW is a portable framework for OpenGL application development. It handles operating system specific tasks such OpenGL window management, resolution switching, keyboard, mouse, and joystick input, timer input, creating threads, and more.
Updated 15 Jun 2013
NuttX
| Pop | 521.89 |
|---|---|
| Vit | 239.28 |
Nuttx is a real-time embedded operating system (RTOS). It has a small footprint that is usable in micro-controller environments. It is fully scalable from tiny (8-bit) to moderate embedded (32-bit) systems. It also aims to be fully compliant to standards, to be fully real time, and to be totally open.
Updated 14 Jun 2013
Web-Based Adult Content Server
| Pop | 534.63 |
|---|---|
| Vit | 121.24 |
WACS is a tool for building adult Web sites. It is equally suitable for managing a private collection or building a commercial site. WACS has many best of breed features, including dynamic filtering, model catalogs, random sampling, galleries, automatic download, and a powerful search engine. WACS contains both a full ready-to-run Web environment and an extensive programming API implemented in both Perl and PHP.
