Search Results for "types" - Page 100

Entities and relationships are specified as user defined types. We'll be using PVS proving tool. The verification involves proving the type correctness conditions that is generated automatically by the type checker.

This useful GUI script help you to monitoring you limit access to internet from GPRS, EDGE, UMTS and etc. It support three types of connection: limited , packet of traffic, unlimited.

Prism is a system for displaying a visual overview of the types of research being done at a given institution and to quickly connect researchers with like interests.

A web based suite of php scripts using MySQL where each entry is assigned one or more types from a user defined list. Eg rental property would be under Real Estate and Taxation. Ideal for SOHO environment and generating webpages of found photos.

Socr3 is a plugin-oriented, open source platform upon which I'm building an OCR suite. The name Socr3 stands for "Open Source Optical Character Recognition, Reading, Rendering, and Exporting", and is subject to change in the future.

The suds project is a python soap web services client lib. Suds leverages python meta programming to provide an intuative API for consuming web services. Runtime objectification of types defined in the WSDL is provided without class generation.

The fast, flexible, extensible, and easy to use C++ template class for creating your own customized math expression parser for both built-in and user-defined numerical data types. The parsed tree perform fast and can be used in multi-threaded OpenMP apps

Klang is a project that allows viewing and editing of binary files in a structured way. Unlike traditional hex editors, Klang provides a hierarchical view of many binary file types that can be 'chunked', such as WAV and AIFF.

OrgLDAP is an extensible LDAP user management application supporting groups, *NIX (POSIX, Shadow), Samba and other account types, SSH public keys and sudo roles. It includes a reusable extensible library and a web-based front-end.

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.

GPU library for simple development of OpenGL-based GPGPU applications, offscreen rendering and shading techniques.

EntityCloud is a fully typed ORM (Object Relational Mapping) library for .NET 4.0. The main strength of EntityCloud is the ease of use and is designed to relieve the programmer from the tedious and error-prone tasks, making it very intuitive to use.

This is an Open Sourced BASIC interpreter environment using PostgreSQL. It is focused on (1) Simple to program, (2) Powerful database statements, (3) UNIX shell friendly, (4) Business focused, (5) "Function" over "speed". This is *not* another VB implementation. Extensive language documentation is available.

SpellIT is a java based project to make spelling easier. E.g. when you spell your e-mail address on the phone. Current spelling types: German, NATO

Randomizer creates pesudo-random combinations of numbers, alphanumaeric and symbol strings

Milter that supports different types of checks: clamav check; spamassassin (or rspamd) check; greylisting based on memcached; ratelimits; spf checks; regexp checks; autowhitelisting; interaction with different services using beanstalk.

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.

Open BEAGLE is a C++ Evolutionary Computation (EC) framework. It provides an high-level software environment to do any kind of EC, with support for tree-based genetic programming; bit string, integer-valued vector, and real-valued vector genetic algorithms; and evolution strategy. The Open BEAGLE architecture follows strong principles of object oriented programming, where abstractions are represented by loosely coupled objects and where it is common and easy to reuse code. Open BEAGLE is...

Jcmdline is an easy to use Java package for processing command line parameters. Validation of various parameter types - booleans, filenames, numbers, dates, strings, etc; automatic usage formatting; implementation of common options (-help, -version..).

Integrates the ArgoUML modelling tool into IntelliJ IDEA 8+

GEXL, General EXpression Library, is a C# library that abstracts typed expression trees suitable for representing any sort of language; GEXL trees are safely extensible with both operations and new data types, thus solving "the expression problem".

A GUI application for managing Empire: Total War pack files. Features: * adding, deleting, extracting, and replacing of files * changing between different pack types (boot/release/patch/movie)

Generate Silverlight Forms with validation at runtime, from XSD schema, which will contain form fields with basic constraints, if fields are required or not, or regular expressions, this will help validating emails, phone numbers...

This project is a collection of Zope products, Plone CMS products and different Plone content types. This space holds Open-Source products developed by Quintagroup.

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.