Type Safe

The SlotSig library is a library that provides type-safe connections between C++ classes. When programming in C, its usual to use callback functions (moreover when you do GUI stuffs). In C++, we prefer to encapsulate things into classes, and usually we want a rather type-safety. This small... Platforms: *nix

X10 project is a new object-oriented, type-safe programming language for programming the next generation of high performance systems. X10 is designed and developed by IBM. While developed in close contact with the designers of X10 at IBM there are significant differences in syntax and semantics... Platforms: *nix

Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. Scala smoothly integrates features of object-oriented and functional languages including mixins, algebraic datatypes with pattern matching, genericity,... Platforms: *nix

Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. Scala smoothly integrates features of object-oriented and functional languages including mixins, algebraic datatypes with pattern matching, genericity,... Platforms: *nix

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages, enabling Java and other programmers to be more productive. Code sizes are... Platforms: Windows

HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way. Platforms: Windows, Mac, BSD, Solaris, Linux

Jastor is a Java code generator that generates Beans from Web Ontologies (OWL) enabling convenient, type safe access and eventing of RDF stored in a Jena model. Jastor uses Eclipses Java Emitter Templates (JET). Platforms: Windows, Mac, Linux

Create Decision Tables in Excel and use them in Java application in a convenient type-safe manner. Use Data Tables in Excel for data setup and testing. Eclipse plugin controls validity of Excel tables. Use: Business Rules, BPM, Testing. Platforms: Windows, Mac, Linux

Simple type-safe implementation of Java Remote Method Invocation (RMI) independent of standard Java RMI mechanism. Platforms: Windows, Mac, Linux

XParam is an extendable, type-safe, object-oriented tool for general object serialization in C++, good for parsing command-line parameters, cross-program and cross-platform communication, object streams, and as a plug-in framework (using polymorphism). Platforms: *nix

Java Algebra System (JAS for short) is an object oriented, type safe and multi-threaded approach to computer algebra. JAS provides a well designed software library using generic types for algebraic computations implemented in the Java programming language. The library can be used as any other... Platforms: *nix

Libcwd is a thread-safe, full-featured debugging support library for C developers. It includes ostream-based debug output with custom debug channels and devices, powerful memory allocation debugging support, as well as run-time support for printing source file:line number information and... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

XLObject is a clone of basic services offered by the Qt object model, redesigned around modern features of the C++ language. Signals and slots are used for communication between objects. There are instances when we want some objects to know the changes of a particular object without having to... Platforms: *nix

X10 is an experimental new language currently under development at IBM in collaboration with academic partners. The X10 effort is part of the IBM PERCS project (Productive Easy-to-use Reliable Computer Systems) in the DARPA program on High Productivity Computer Systems. The PERCS project is... Platforms: *nix

GLCaml project is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1, plus extensions, for the Windows, Linux and Mac OS-X operating systems on both 32-bit and 64-bit machines. It consists of three files: glcaml.ml, glcaml.mli and glcaml_stub.c, and is intended... Platforms: *nix

Apollo is an open-source developer test skeleton toolkit for Web Start. Apollo lets you turbo-charge Web Start apps without Web Start to speed up your compile/run/test/debug/goof-off cycle avoiding the hassle of stuffing, signing, uploading or downloading your jars every time you rearrange a... Platforms: *nix

Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.. Platforms: *nix

cURLpp project is a C++ wrapper for libcURL. libcURL is described as: a free and easy-to-use client-side URL transfer library, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TELNET, DICT, FILE and LDAP. libcurl supports HTTPS certificates, HTTP POST, HTTP PUT, FTP uploading, kerberos, HTTP form... 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

XParam is a general-purpose tool for parameter handling and object serialization in C++. It allows object serialization and deserialization in a format that is human-readable and -writeable, and is unaffected by issues of word-size and endianity. The XParam format is also not confused by... Platforms: *nix