An elisp package that will enable (X)Emacs users to send SMS messages directly from (X)Emacs.
preview-latex, the higly addictive and productive LaTeX previewing and folding tool for Emacs, has become part of the AUCTeX project at http://savannah.gnu.org/projects/auctex now and is integrated since version 11.80.
Attempt of a portable cross-language object-oriented benchmark . So far supporting C++, Objective-C, and Java. Support for Smalltalk, CLOS, CSharp, and Eiffel is in development.
Charlemagne is a versatile genetic programming application which includes a command-line client and an interactive console mode. It features built in input-output mapping support, and is user-extensible for complex fitness evaluation in Python and Lisp
Common Lisp JPEG Library implements baseline JPEG image compression/decompression routines in ANSI Common Lisp.
This project will create a major mode for mysql in Emacs. It will allow you all the usefulness of the mysql command line client, from within Emacs. I don't know if I'll do a full blown major mode yet, but the functions to run queries are definitely ther
Jawara is a lisp scripting language on Java/Android.
This project is a "meta" control for the MAXIMA symbolic math program. MAXIMA is a text-based math program that has a linear structure: each statement building on the previous one. MetaMax gives a overview and branching structure to your investigation.
Freefactor is a Java refactoring framework. It consists of a tool-independent refactoring system and an interface to allow it to be integrated with other tools. Currently a prototype Java-based tool is provided as well as bindings for Emacs.
An emacs site-lisp setup that provides a useful package of non-standard emacs lisp extensions, extends the jde mode, adds menu commands for folding mode, buffers associated with the frames they came from and a site-start.el and default.el
Distributed Erlang in Emacs Lisp. Consists of a library for Emacs/Erlang integration, and a suite of tools built atop it.
TrpConnect is a Common Lisp program for uploading and registering pictures to a remote server over HTTP. It requires MySQL and PHP on the remote server. Registering entails recording the subject, photographer, date, etc. of the picture.
Academic research paper with sample programs and code illustrating the development, goals, and future of Artificial Creativity.
Elpoint is a presentation tool which runs on Emacs. Dynamic presentation content can be developed easily. Inline images can be displayed in the presentation. The images can be retrieved from web sites only by pecifying the image's URL.
Common Lisp bindings to the SDL library, OpenGL, and more.
The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
ALF is an agent system that employs several advanced and risky ideas: Processes as Haskell functions as autonomous agents; Standard XML ontology import; Multilevel emergence; Soft modeling; Concept lattices; Metaphoric visualization.
Abuse 2, sequel to the 1995 masterpiece from Crack dot Com
Kawa is a full Scheme implementation. It implements almost all of R5RS (for exceptions see Restrictions), plus some extensions.
A framework for developing software development tools.
V/OS is an Operating System driven by Artificial Intelligence
V is the new Operating System for the masses. It is specially aimed at Tablet PCs, Laptops and Desktop Workstations. It is solid as a rock and constitutes a new milestone in Operating Systems. It integrates Artificial Intelligence Out-of-the-Box and allows a seamless integration of any Software from any Operating System at the same time without compatibility Issues. The User Interface is minimalistic and elegant, designed and aimed for anyone wanting speed and reliability with State-of-the-Art Technology Integration. The inbuilt security system makes V/OS the most secure and reliable Operating System around. It is being developed since 2009 and currently is at it's last steps for public release.
Set of tools and libs for managing structured data in a very flexible way: Imp./Exp. ASCII, XML, SQL, PS, Tex/LaTex, RTF GUI: X-Windows, MS-Windows Interface to C++, DBs, Perl, PHP, Java, TCP/IP LISP-like interpreter written in C++ using C-LIB
Notebook mode sets up a sub-process that has well defined input and output responses, such as a shell, or a command line program like matlab. Each notebook has a collection of cells, consisting of a prompt, an input region, and an output region.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...