108 projects tagged "Linux"
Updated 01 Jan 2012
AFNIX programming language
| Pop | 114.84 |
|---|---|
| Vit | 10.53 |
AFNIX is a multi-threaded functional writing system with dynamic symbol bindings that support the object oriented paradigm. It has a rich set of features providing runtime compatibility with C++. The engine runs on both 32- and 64-bit platforms, and it is designed to be portable across platforms.
Updated 12 Apr 2009
Algorithm Study
| Pop | 47.64 |
|---|---|
| Vit | 1.00 |
Algorithm Study provides tools and resources to augment the traditional study of algorithms. It includes implementations of common and less-common algorithms in a variety of languages and visualization tools to help in gaining a deeper understanding of the algorithms. The algorithm implementations are each accompanied by a discussion of the asymptotic ("big O") run time and memory limits of the algorithm. Some implementations include discussion of how the algorithm or data structure is commonly used and comparisons with similar algorithms or data structures. All implementations have test cases that exercise their functionality. The visualization tool, Algorithm Visualizer, displays what happens as various algorithms do their work.
Updated 18 Sep 2006
Alice ML
| Pop | 39.24 |
|---|---|
| Vit | 1.56 |
Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.
Updated 11 Nov 2012
AsmXml
| Pop | 83.21 |
|---|---|
| Vit | 12.09 |
AsmXml is a very fast XML parser and decoder for x86 platforms. It is written in pure assembler and supports only a subset of the XML 1.0 specification.
Updated 08 Aug 2012
BRL-CAD
| Pop | 523.28 |
|---|---|
| Vit | 23.32 |
BRL-CAD is a powerful constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing support for rendering and geometric analysis, path-tracing for realistic image synthesis, network distributed framebuffer support, and image and signal-processing tools.
Updated 27 Dec 2005
Banteng
| Pop | 37.52 |
|---|---|
| Vit | 1.48 |
Banteng is cross-platform, visual JavaScript IDE. It can build native desktop applications on Windows, Linux, and Mac OS X.
Updated 20 Jun 2005
BioAPI
| Pop | 45.96 |
|---|---|
| Vit | 1.74 |
The BioAPI Specification is intended to provide a high-level generic biometric authentication model, one suited for any form of biometric technology. It covers the basic functions of Enrollment, Verification, and Identification, and includes a database interface to allow a biometric service provider (BSP) to manage the Identification population for optimum performance. It also provides primitives that allow the application to manage the capture of samples on a client, and the Enrollment, Verification, and Identification on a server. This is the reference implementation of the standard.
Updated 03 Mar 2013
Botan
| Pop | 643.00 |
|---|---|
| Vit | 94.43 |
Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.
Updated 31 Jan 2004
Brook for GPUs
| Pop | 55.60 |
|---|---|
| Vit | 1.00 |
Brook for GPUs is a compiler and runtime implementation of the Brook stream programming language for modern graphics hardware. The goals for this project are to demonstrate general purpose programing on GPUs, to provide a useful tool for developers who want to run applications on GPUs, and to research the stream language programming model, streaming applications, and system implementations.
Updated 13 Sep 2005
Build Interceptor
| Pop | 25.30 |
|---|---|
| Vit | 1.49 |
Build Interceptor captures the .i files of any project while it is built from source using the gcc toolchain. Anyone who has tried this on a large scale will find out that it is non-trivial to build a project from source and obtain the .i files generated during the build process. Step-by-step instructions are given on how to use the provided scripts to do this without any modification to the build process of the project you are trying to capture. These scripts were used to capture the build process of 92.5% of the projects in the Red Hat Linux 7.3 distribution.
