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.
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.
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.