acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

acl2-infix

Computational Logic for Applicative Common Lisp: infix interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

acl2-infix-source

Computational Logic for Applicative Common Lisp: infix source

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
emulate human activity through a powerful GUI and JavaScript

actiona

emulate human activity through a powerful GUI and JavaScript

Actiona is an application that allows you to execute many actions on your computer such as emulating mouse clicks, key presses, showing message boxes, editing text files, etc. Tasks can be created using a simple editor or using the EcmaScript (JavaScript) programming language for more customization. Actiona is cross-platform.

mlpack-bin

intuitive, fast, scalable C++ machine learning library (binaries)

This package contains example binaries using the mlpack Library.
Venerable selection of Xaw-based games

kgames

Venerable selection of Xaw-based games

These are a selection of various games that use the Xaw toolkit. They are all from the 80's and 90's and look the part. As a result, they are also very lightweight. There are a bunch of solitaire (patience) variants, mille bournes, cribbage and dominos.