CodMACs helps you to write programs (in any language) very quickly by generating source code based on the structure of SQL tables. First, it reads your databases in order to create a structure for you to include in your code templates. The structure is simply a Python class. Then, the CodMACs core parses your code tamplates, interprets your CodMACs/Python code and creates a source code file that includes your code and the result of evaluating the code written in CodMACs/Python. The core of CodMACs provides you with all the necessary functionalities for a complete application framework.
libbasiccard is a library to access BasicCards (programmable smart cards). It closely follows the official APIs defined by ZeitControl (Cri, Bci, and zccrypt), extending them where needed. It also includes support for the MultiApplication BasicCard and the BasicCard cryptography functions.
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).
Kinonk is a Pentominoes program written in C++. Pentominoes is a two-player board game where the goal is to be the last player to put a pentomino (a piece composed of five squares) on the board. Kinonk can also play Katamino, a variant of pentominoes. It uses a simple brute force algorithm, and can play any position perfectly if given enough time. You can constrain its time by giving an arbitrary time limit, or simply let it analyze everything. Charts can be generated using a Perl script included in the package.
Login controller is a PHP class that can be used to manage registration and authentication of site users. It requires PHP 5 and MySQL. It can redirect the users to pages that present forms to let the users register and log into a site. It can also process the the forms and execute several types of actions that manage user records stored in a MySQL database. For instance, it can create new user records, validate user registration and login forms, reset user passwords, and change the user password.
Deluxe Tabs is a versatile solution to create DHTML navigation systems for Web sites and Web applications. It allows you to divide a large amount of information among tabs so that your visitors can reach the next piece of information with a single click instead of scrolling. Various types of data can be placed on one page. You may create any design with HTML inside a tab, and you can add as many tabs as you wish. It supports special effects; floating, relative and absolute positions; animated icons and arrows; and more.