Type Checking

This is a decorator that lets you annotate function definitions with argument type requirements. These type requirements are automatically checked by the system at function invocation time. The decorator frees you from writing type-checking boilerplate code by hand. Platforms: Windows, Mac, *nix, Python, BSD Solaris

This script adds parameter type checking to each method or function invocation.It is not a replacement for static typing. Platforms: Windows, Mac, *nix, Python, BSD Solaris

Getargs::Long is a Perl module with named subroutine arguments, with optional type checking. SYNOPSIS use Getargs::Long; # case sensitive use Getargs::Long qw(ignorecase); # case insensitive # Simple, args mandatory my ($val, $other) = getargs(@_, qw(val other)); # Simple, args optional... Platforms: *nix

LiteSQL is a C++ library that integrates C++ objects tightly to relational database and thus provides an object persistence layer. LiteSQL supports SQLite3, PostgreSQL and MySQL as backends. LiteSQL creates tables, indexes and sequences to database and upgrades schema when needed. In addition to... Platforms: *nix

Config::Strict is a Perl module that wraps Declare::Constraints::Simple to enable strict parameter name- and type-checking on configuration data. That is, it will complain anytime an attempt is made to access a parameter with an invalid name or type; or if an attempt is made to unset a required... Platforms: *nix

pySVG is a pure Python library to create SVG documents. Essentially it is a python wrapper around svg with the goal to allow people to "program svg". pySVG can be used to produce svg as an outcome of algorithms you implement (like koch curves, Lindenmayr systems etc.) Working with pySVG is... Platforms: *nix

Menu Buddy plugin currently comprises a couple of Python scripts for creating GNOME panel menus from a directory hierarchy of music files. These menus can be used to play or enqueue songs in XMMS, as well as pause or skip XMMS. These scripts are not terribly powerful yet, but there is... Platforms: *nix

deimos project consists of some platform independent libraries. The deimos project provides some platform independent libraries which contain a reference memory allocator (garbage collector planned), virtual filesystem (Unix sockets, HTTP, etc), configfile management, and a clean build system... Platforms: *nix

Joeq is a virtual machine and compiler infrastructure designed to facilitate research in virtual machine technologies such as Just-In-Time and Ahead-Of-Time compilation, advanced garbage collection techniques, distributed computation, sophisticated scheduling algorithms, and advanced run time... Platforms: *nix

CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code. Usage: 1. First, download the source code and extract it. 2. Next, make in ctalz-software directory. 3. The compiler can be invoked by shell script ctc. If compilation... Platforms: *nix

Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode. In Kernel Mode Linux, user programs can be executed as user processes that have the privilege level of kernel mode. The benefit of executing user programs in kernel mode is that the user programs... Platforms: *nix

Inferno is a compact operating system designed for building distributed and networked systems on a wide variety of devices and platforms. Inferno was originally developed at Bell Labs (the research division of Lucent Technologies). Inferno Operating System is a well-designed, economical... Platforms: *nix

Camelia is specially designed as an Integrated Development Environment (IDE) for OCaml. It was developed with the help of students and with new users in mind. It supports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more. Platforms: Windows

libHX is built as a C library that is supposed to provide data structures and functions that are commonly needed. Among those functions and structures we can find maps, deques, linked lists, string formatting and autoresizing, option and config file parsing, type checking casts and more. Platforms: Windows

This is an advanced portable C++ library with 80 variations of the ASSERT macro, to add expressions, levels and optional actions. 48 are modular because they can also use Rich Boolies, allowing much more combinations than non-modular ASSERT macros. It is very flexible because it allows you to... Platforms: Windows, Unix, Linux, Linux Console, Linux Gnome, Linux GPL, Linux Open Source, MS-DOS

GNU Cim is a compiler for the programming language Simula (except unspecified parameters to formal or virtual procedures). It offers a class concept, separate compilation with full type checking, interface to external C routines, an application package for process simulation and a coroutine concept. Platforms: *nix, C/C++, BSD

SteelBlue is an open-source Web application server environment in which Web-database applications can be developed completely in an extended HTML language. Similar to ColdFusion and Story Server, session and user-associated data as well as SQL commands can be directly embedded into the HTML page.... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,... Platforms: Windows, Mac, *nix, Java, BSD Solaris

Jamon is a text template engine for Java, useful for generating dynamic HTML, XML, or any text-based content.In a typical Model-View-Controller architecture, Jamon clearly is aimed at the View (or presentation) layer. Because it is compiled to non-reflective Java code, and statically... Platforms: Windows, Mac, *nix, Java, BSD Solaris

It contains concepts from other programming languages, but it's not considered as a direct descendant from any other language. In Seed7, new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept.Object... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris