graylex offers a means to do string operations on input streams without slurping all input at once by using Common Lisp Gray Streams, fixed-sized and flexible buffers.
This is especially interesting for lexical analysis ("lexing") where input files can be exuberant, e.g. SQL dumps weighing hundreds of Megabytes.
Climacs is an attempt to create a fully free Common Lisp-based editor that has good integration with other CLIM-based applications. Climacs attempts to improve on the concepts found in other free Common Lisp-based emacsen, such as Goatee (the original editor component of McCLIM) or Portable Hemlock.
... [More] Many design choices of Climacs are based more on the editor of the Genera operating system, Zmacs, and the other original Lisp emacsen, than GNU Emacs. Climacs is free software, released under the LGPL. [Less]
Community ACL2 System and Books
The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. Home pages are at:
http://www.cs.utexas.edu/users/moore/acl2/ (ACL2 theorem prover)
https://github.com/acl2/acl2 (community system + books repository).
Sheeple is a Dynamic, CLOS-like, Delegative Prototype-based Object-Oriented Programming Framework (or "POOP Framework") that strives to optimize application flexibility, minimize cost while increasing value, maximize programmer resources, and empower application implementers to better assist them in
... [More] leveraging modern paradigms in order to proactively achieve next-generation synergy in tomorrow's web 3.0 world. It is implemented in (mostly) ANSI Common Lisp. Sheeple is fully buzzword compliant. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy