Search Results for "c source code" - Page 98

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.

OrangeBit open source libraries

CLara is a framework that enables you to access the computing power of many graphics processors in an IP-based network using a kind of Client/Proxy/Server model. Its programming interface conforms to the OpenCL 1.0 standard.

Mounts BZR version repositories as FUSE file systems, with access to versions and histories through special directories.

Giveme is a command line tool that converts files of various audio formats to the format of your inclination, converting multiple files at once, taking advantage of the increasing number of users with multicore computers.

The Cache emulator (shortly CE) can simulates the behavior of caches inside SMP system and compute the number of cache misses during a computation. All measurements are done in the "off-line" mode on the one CPU.

Provides alarm() like functionality to use when porting applications to mingw. A test application verifies the implementation. All is encoded in a bash script.

libtermgraph is a simple C/C++ library for portable character-based graphics and nonblocking keyboard input in a terminal window. It targets Windows and Unix/Linux systems, and is designed for use in introductory programming courses.

Libwacctl is a control library for Wacom (R) tablet devices. This library implements similar functions to the commands in xsetwacom, as well as implementing a few more to make it easier to control tablet input settings.

Python module to interface the CLIPS expert system shell library.

Rapid File Generator Inserts a predefined structure with checksum, version and build-information into an elf-File.

SpaceMonkey is a Web application auditing tool. It can detect bugs or security flaws without using a knowledge database. It uses fault injection technics ('fuzzing') in order to reveal the flaws (SQL injection, XSS, File inclusion, command execution ).

Thank you for your interest in Speedy Composer. Speedy Composer is an automated application for composing melodies for Speedy Net members. We recently made changes to the source code of Speedy Net, and converted it into the Python language and Django framework. Since Speedy Composer was originally written in PHP, it is not adapted to work with Speedy Net in its current form. So unfortunately we were forced to temporarily close the app Speedy Composer. But don't worry, we kept backups of all the tunes composed by Speedy Composer, and when the website is reopened we will upload them to the new site. ...

LibInfo is a library that can read Amiga icons and write them to other formats. Written in platform-independent C and available under the GNU GPL.

Tpl makes it easy to serialize your C data using just a handful of API functions. The data is stored in its native binary form for maximum efficiency. C, Perl and XML supported. Data is portable across CPU types and OS's from Unix to Mac to Windows.

FriBidi Python bindings: FriBiDi is a BiDi algorithm implementation for Hebrew and/or Arabic languages. This package include python module for the FriBidi C library.

The latest version of libtap2 is now incorporated in the *libsxe* project, which is hosted on *github*. libtap2 is the Test Anything Protocol, version 2. C library for unit testing C (and C++) code. Backward compatible with the FreeBSD/CCAN version,

Schemik is an implicitly-parallel dialect of Scheme, this means the parallel execution of programs is done independently of the programmer.

A straight C implementation of most of Google's protobuf message serialization format. Small and simple to use. Suitable for embedded use. Generates either simple C or C++ or PHP en(de)coding code. Respect protobuf standard from google.

Simple data corruption testing utilities based on the concept of generating a stream of small self-contained records which can be decoded in a way which makes certain common data corruption modes in filesystems and networks automatically diagnosable.

Interface and example projects for CLIPS on NT using the CLIPS DLL. Includes Web/CGI interface.

Gtranslator is an enhanced gettext po file editor for the GNOME desktop environment. It handles all forms of gettext po files and include very useful features like Find/Replace, Translation Memory, different Translator Profiles, Messages Table (for having an overview of the translations/messages in the po file), Easy Navigation and Editing of translation messages & comments of the translation where accurate. Project has moved to GNOME mainland on https://wiki.gnome.org/Apps/Gtranslator.

libconhash is a consistent hashing libraray, which can be compiled both on Windows and Linux platform. High performance, easy to use, and easy to scale according to node's processing capacity.

Online Hierarchical Storage Manager (OHSM) is the first attempt towards an enterprise level open source data storage manager which automatically moves data between high-cost and low-cost storage media.