Search Results for "void based linux" - Page 44

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

This is a YUI2 java api based on java2script java to javascript compiler. Almost full yui2 java api, and other javascript toolkits like raphaeljs, soundmanager2 java api also available..Please visit http://yui4java.sourceforge.net/ for more informatiion. IMPORTANT: This project was a great way of learning how to model YUI API in Java, now I'm focusing on a GWT version of YUI Java API At: http://code.google.com/p/yuigwt/

[english] - Jcpp is a libraries set that implement Java's class on C++ language. [spanish] - Jcpp es un conjunto de librerías que implementan clases Java sobre el lenguaje c++.

KemetLF is a Java/Swing library + DEMO which defines the Look and Feel of kemet project. This library which introduces the transcription and transliteration of egyptian hieroglyphs based on the list of Gardiner's signs (middle egyptian) - Art and Cu

A jsf charting library depending on JFreeChart. Unlike other libraries, this one allows to get usage of (almost) all JFreeChart features.

JS-Toolkit: Selectors with Methods, Events, Networking and Helpers in less than 5kb

Framework for manipulating Connections: The API mean purpose is provide a unified API through Adaptersto easily incorporate a third-party library into existing application. Also provide an efficient NIO based implementation supporting UDP and TLS

libvexterm is a library for virtual terminal emulation based on gtk / pango / cairo

Neural Mesh is a purely PHP, fast, easy Neural Network Manager, Administrator and Framework. It allows you to integrate Artificial Intelligence into your applications, quickly and easily, no matter what your experience.

.NET wrapper for 7Zip, based on 7-Zip-JBinding, produced with IKVM. Extracts (password protected, multi-part) 7z Zip Rar Tar Split Lzma Iso HFS GZip Cpio BZip2 Z Arj Chm Lhz Cab Nsis Deb Rpm Udf archives. Archive creation/more formats coming soon.

This is a X-Open XA API wrapper for the MySQL client library

AnLib is a PHP library of useful functions and classes to help you build and deploy PHP applications swiftly and easily.

Web gallery based on pre-generated metadata, typically according to directory structure, not database or an administration. Development moved to: http://github.com/martinkozak/fsgal.

Library is a C++ wrapper for libcURL. It adds multi-threading support, jobs based parallel request processing and high level class encapsulation.

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.

The OmniPHP Framework is a set of OOP libraries to build advanced PHP applications; such as dynamic web forms, CRUD, data entry, reports, enterprise or business applications, and others. Web 2.0, scalability, db abstraction, session management.

Odtphp2pdf is a simple GPL set of PHP5 classes and services that wraps odtphp and unoconv. It provides a simple way to produce PDF documents based on OpenOffice document templates. It was initiated by Ready Business Software (http://www.rbs.fr).

The Open Source PL/SQL project is a collaborative effort by developers to create variety of Oracle packages - available free of charge. The purpose of each package varies, but all are developed based on a common set of coding standards for consistency.

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...

Unnoficial cPanel PHP API for manipulate the cPanel preferences such as Email, Domains, etc This PHP code is based from brendan's cPanel API at http://www.phpclasses.org/browse/package/3534.html

open source .net/php framework.

This is a collection of some helpfull and efficient templates for the powerfull programming language PureBasic.

simplus is c++ library for constructing event driven simulations with a virtual time. Use it e.g. for telecomm., engineering, traffic simulations or simulation based games. It is lean, fast and portable and easily scales to millions of simulated objects.

A java based TemplateMonster WebAPI client. It now provides native Java access to the ScreenShot service and the TemplateSources service.

This simple project provides a solution for creating instance controlled classes (similar to how Javas String work)