RSS 1 project tagged "Bug Tracking"

Download Website Updated 29 Aug 2006 TCLP

Screenshot
Pop 36.82
Vit 3.73

TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. Supported dialects include ISO-Prolog, GNU-Prolog, and SICStus Prolog.

Screenshot

Project Spotlight

audit daemon

A package of user-space audit utilities.

Screenshot

Project Spotlight

The Eventual PlayFramework-AngularJS-Bootstrap-MongoDB Seed Project

A seed project that combines Play Framework, AngularJS, Bootstrap, and MongoDB.