RSS 20 projects tagged "GPL"

No download Website Updated 22 May 2001 cl-pdb

Screenshot
Pop 12.33
Vit 68.71

cl-pdb is a Common Lisp library that parses PDB files into CLOS classes for ease of handling inside of applications which need to read these files.

Download Website Updated 31 Aug 2004 Higher Order CVS

Screenshot
Pop 10.86
Vit 59.36

HO-CVS is a version control system based on MetaCVS. In addition to the features of MetaCVS, it features module level versioning, the ability to reference every version (since there is a tag after every commit, which is extremely useful but slow), complex versions like #v1.2.3 designed to carry information about the change, operation hooks, and a somewhat powerful log command.

Download No website Updated 19 Jan 2013 Paktahn

Screenshot
Pop 15.97
Vit 21.48

Paktahn is a frontend for the ArchLinux Pacman database and the Arch User Repository (AUR).

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 457.49
Vit 11.61

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and a foreign language interface that runs on most Unix variants and Win32.

Download Website Updated 28 Aug 2005 Jabberwocky

Screenshot
Pop 127.66
Vit 10.28

Jabberwocky is a Lisp IDE containing a Lisp-aware editor with syntax highlighting, parentheses matching, a source analyzer, indentation, a source level debugger, a project explorer, and an interaction buffer. It is the replacement for the Lisp Debug project.

Download Website Updated 08 Dec 2012 CLFSWM

Screenshot
Pop 59.46
Vit 9.11

CLFSWM (Common Lisp FullScreen Window Manager) is an X11 window manager where windows are almost always fullscreen maximized or tiled. It can be driven using the keyboard alone or with the mouse.

Download Website Updated 16 Jul 2011 otl

Screenshot
Pop 78.79
Vit 7.88

otl is a text processor for generating markup from readable lightweight markup. Much of both the input and output formats can be customized. HTML output is bundled as an example. otl supports complex structures such as nested ordered and unordered lists, headers and footers, and tables.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.08
Vit 4.96

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 23 May 2010 The Stump Window Manager

Screenshot
Pop 58.79
Vit 4.65

Stumpwm is a tiling, keyboard driven X11 window manager written entirely in Common Lisp. While it is minimalistic in appearance, its full customizability, event hooks, and 100% pure Lisp implementation make it startlingly powerful.

Download Website Updated 22 Aug 2004 avsomat

Screenshot
Pop 42.14
Vit 3.36

Avsomat is a variable star astronomy framework. It supports the automating of observation scheduling, identification and photometry of variable stars on CCD images, reporting, management, and verification of results. It uses electronic charts of the variable star fields and maintains a view of the current results in the form of a collection of interlinked Web pages with feedback forms, allowing members of the observer community to participate in locating errors.

Screenshot

Project Spotlight

GNU Wget

A network utility for downloading content from the Web.

Screenshot

Project Spotlight

Jackcess

A pure Java library for reading and writing MS Access databases.