Simple Project List Software Map

148 projects in result set
LastUpdate: 2014-06-12 08:55


TXR is a new data munging language. TXR's special pattern language provides template-based matching of entire documents or large sections of documents. It also contains a language for functional and imperative programming. It is written in C and takes the form of a utility that is portable to Unix-like platforms and Windows.

LastUpdate: 2010-07-07 22:53


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.

LastUpdate: 2010-07-09 05:35

CLISP - an ANSI Common Lisp

CLISPは、Bruno Haible によるポータブルな ANSI Common Lisp の実装であり、開発環境です。インタプリタ、コンパイラ、デバッガ、CLOS、MOP、FFI、ユニコード、ソケット、CLX を備えています。UIは英語、ドイツ語、フランス語、スペイン語、オランダ語、ロシア語、デンマーク語に対応しています。

LastUpdate: 2004-08-01 13:18


SLOCCount is a suite of programs for counting physical source lines of code (SLOC) in possibly large software systems. It can count physical SLOC for a wide number of languages. It can take a large set of files and automatically categorize their types using a number of different heuristics, and also comes with analysis tools.

LastUpdate: 2002-01-15 21:47

The Insidious Big Brother Database

The Insidious Big Brother Database (BBDB) is a contact management utility for use with GNU Emacs and XEmacs. It can hook into Emacs-based mail- and news-readers and automatically collect information on messages therein.

(Machine Translation)
LastUpdate: 2009-02-09 00:00


Anthy is a system for Japanese input method.
It converts Hiragana text to Kana Kanji mixed text.

Development Status: 2 - Pre-Alpha
Target Users: End Users/Desktop
Natural Language: English, Japanese
Operating System: Linux
Programming Language: C, Lisp
Topics: Text Processing
User Interface: Console (Text Based)
Register Date: 2002-03-28 16:02
LastUpdate: 2020-12-31 19:33

Maxima -- GPL CAS based on DOE-MACSYMA

Maximaは、ほぼ完成されたコンピュータ代数システムです。 数式処理に重点が置かれており、Lispで書かれています。 米国エネルギー省の MACSYMA から派生し、GPLでライセンスされています。 数式の積分、三次元プロット、常微分方程式を解くといった機能があります。

LastUpdate: 2007-02-19 23:09


ECB is a source code browser for (x)emacs. It
displays a couple of windows that can be used to
browse directories, files, and file contents like
methods and variables. It supports source code
parsing for languages like Java, C, C++, Elisp,
Scheme, Perl, TeX, LaTeX, etc. In addition, it
offers an (optional) permanent "compile window" at
the bottom of the emacs frame, which is used to
display all help and compile output. The rest of
the frame is called the "edit area", which can be
divided into several edit windows that are used
for editing the sources. Deleting some of the edit
windows neither destroys the compile window nor
the browsing windows. It requires the CEDET suite.

(Machine Translation)
LastUpdate: 2011-04-28 12:05

Proof General

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

(Machine Translation)
LastUpdate: 2013-02-25 22:58

GNU MIX Development Kit

MDK (MIX Development Kit) provides tools for developing and executing, in a MIX virtual machine, MIXAL programs. The MIX is Donald Knuth's mythical computer, described in the first volume of The Art of Computer Programming, which is programmed using MIXAL, the MIX assembly language. MDK includes a MIXAL assembler (mixasm), a MIX virtual machine (mixvm) with a command line interface, a Guile-based virtual machine (mixguile), a GTK+ based GUI (gmixvm), and a mixvm-Emacs interface (mixvm.el). MDK utilities are extensible using Scheme.

LastUpdate: 2011-11-02 23:00


Treep is a simple language for doing symbolical computations. It operates on numbers and strings that can be organized in more complex objects. These objects are lists of name-value pairs that are stored in memory as AVL trees. It has about sixty built-in functions to operate on such data and a way to define new functions. Treep syntax very much resembles Lisp. The power of treep is its simplicity and security.

Treep is a good tool do process objects and relations between them. For example it is possible to define graphs as a sets of vertices and edges in text file, parse that file, do any computations you like, write modified data to text file. Treep works well on graphs, trees, linked lists, simple hashes. Treep is not good at processing texts, dealing with system input/output.

(Machine Translation)
LastUpdate: 2002-12-17 15:44


OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. OpenCyc can be used as the basis for a wide variety of intelligent applications.

LastUpdate: 2013-12-19 02:57


GCC-MELT is a high-level domain specific language that eases the development of plugin-like extensions for GCC, the Gnu Compiler Collection. These extensions can analyze or modify GCC internal representations, and can be used for static source code analysis, refactoring, specific warnings, optimizations, etc. The MELT language provides high-level features. Notably, MELT code is translated to C or C++, and can even contain C or C++ code. It includes powerful pattern matching facilities and can manipulate dynamically typed values and raw GCC structures. It enables functional/applicative, object-oriented, reflective programming styles and has a familiar Lisp-like syntax.

(Machine Translation)
LastUpdate: 2012-10-22 00:30


Invenio (formerly CDSware) is a suite of applications that provides the framework and tools for building and managing an autonomous digital library server. It complies with the Open Archives Initiative metadata harvesting protocol (OAI-PMH) and uses MARC 21 as its underlying bibliographic standard. Its flexibility and performance make it a comprehensive solution for the management of document repositories of moderate to large size.

(Machine Translation)
LastUpdate: 2012-07-06 19:59


rep-gtk is a language-binding between GTK+/GDK and librep. Basic GLib and ATK bindings are included, too. The bindings for outdated, deprecated libraries (libgnome, libgnomeui, libgnomecanvas, and libglade) have been dropped. In favor of libglade, GTKBuilder is supported.

(Machine Translation)