12 projects tagged "Mac OS X"
QueryFS is a FUSE-based virtual filesystem that is based on queries. There are plugins to parse various query syntaxes and each query creates a virtual directory. Currently the most elaborate query language is SQL-based; you can either provide access to data stored in an SQL database, or keep an index of files in the SQL database and generate search directories with symlinks to found files. QueryFS and its SQL2 query DSL fully support creation of refinable searches: for example, the author has an index of downloaded email files; one can see all the distinct senders registered in the DB and then go into a directory of one sender and see all accounts that ever received an email from this sender.
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.
SLIME is an integrated development environment for Common LISP which does everything you would expect from an IDE: code evaluation, compilation, macro expansion, and auto-completion. It also finds definitions of functions, and marks LISP forms which the compiler finds to be erroneous. It provides easy access to implementation-specific online documentation as well as the ability to look up symbols in the ANSI Common Lisp HyperSpec. Further, it includes an interactive debugger and object inspector.
UnCommon Web is a Web application framework. UnCommon Web features a component based UI construction toolkit, template and programmatic dynamic HTML generation engines, and linear (also known as modal or continuation) page flow control. UnCommon Web can sit behind Apache or a pure Lisp Web server.
Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.