RSS 2 projects tagged "Lisp"

Download Website Updated 01 Aug 2004 SLOCCount

Screenshot
Pop 192.79
Vit 5.73

SLOCCount is a suite of programs for counting physical source lines of code (SLOC) in possibly large software systems. It can count physical SLOC for a wide number of languages. It can take a large set of files and automatically categorize their types using a number of different heuristics, and also comes with analysis tools.

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.75
Vit 2.47

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Screenshot

Project Spotlight

weatherman

A command line weather information tool.

Screenshot

Project Spotlight

giflib

A library that decodes and encodes GIF image files.