Simple Project List Software Map

149 projects in result set
Última actualización: 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)
Última actualización: 2011-11-02 23:00

Treep

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)
Lenguaje Natural: English
Sistema Operativo: POSIX (Linux,BSD,Solaris etc..)
Lenguaje de Programación: Lisp
Última actualización: 2014-05-02 22:47

neslisp

neslisp is a LISP compiler suite for the Nintendo Entertainment System. It compiles lisp code to assembly code for the 6502 processor architecture.

(Machine Translation)
Última actualización: 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.

Última actualización: 2013-12-19 02:57

GCC-MELT

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)
Sistema Operativo: Linux
Lenguaje de Programación: Lisp
User Interface: Plugins
Última actualización: 2007-02-19 23:09

ECB

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)
Última actualización: 2002-12-17 15:44

OpenCyc

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.

Última actualización: 2005-04-02 12:18

lispreader

lispreader is a small library for reading expressions in Lisp syntax. It provides a framework for reading configuration files. To simplify interpretation of the read data, lispreader also provides functions for simple matching of expressions against patterns.

(Machine Translation)
Última actualización: 2005-05-10 04:25

Artefaktur Component Development Kit

ACDK is a development framework with a similar target of Microsoft's .NET or Sun's ONE platform, but it uses C++ as a core implementation language. It implements the standard library packages, including acdk::lang, acdk::lang::reflect, acdk::util, acdk::io, acdk::text (including regexpr), acdk::net, acdk::sql, acdk::xml, and more. Flexible allocator/garbage collection, threading, and Unicode are implemented in the core of ACDK. Extensions make C++ objects available for reflection, serialization, aspect-oriented class attributes, and Dynamic M ethod Invocation. This DMI acts as an universal object oriented call interface to connect C++ with scripting languages (Java, Perl, Tcl, Python, Lisp, Visual Basic, and VBScript) and standard component technologies (CORBA and COM).

Última actualización: 2008-10-28 08:19

monkey.el

エディターemacsに、「プログラムをプロジェクト単位で管理する機能」を追加する。
プロジェクトを表示するファイラー、関数一覧、関数定義へのジャンプ等の機能をlispで実装します。対応するプログラム言語は、Emacs-Lisp、C言語、C++、Perl、Java、PHP、Ruby、Visual Basicを予定します。

Estado de desarrollo: 4 - Beta
Usuarios objetivo: Developers
Sistema Operativo: OS Independent
Lenguaje de Programación: Lisp
Register Date: 2008-07-22 16:06
Última actualización: 2009-11-09 23:26

GeLisp

Common Lisp をジェネリック制約開発環境 (GECODE) ライブラリのポータブルかつ効率的なラッパーです。高レベルのインタ フェースと低レベルのインターフェイスを提供します。さらに、音楽環境 !OpenMusic へのインターフェイスを提供します。

(Machine Translation)
Última actualización: 2014-06-11 03:36

SHOP

SHOP2 は、順序付きタスクの分解、階層タスク ネットワーク (HTN) 計画の種類に基づくドメイン依存しない自動計画システムです。開発は、もはや sf; で行われてのみのファイルは現在のホスティングします。警告: Java コードここでは維持されません.

(Machine Translation)

remote editor

vi, emacs, Eclipse を相互接続するエディタ間プロトコルを実装します。

Estado de desarrollo: 2 - Pre-Alpha
Usuarios objetivo: Developers
Lenguaje Natural: Japanese
Sistema Operativo: MacOS, Linux
Lenguaje de Programación: C, Lisp, Perl
User Interface: Console (Text Based)
Register Date: 2006-08-08 17:59
Última actualización: 2014-04-28 08:34

PHP Mode for Emacs

PHPコードを編集するためのEmacsメジャーモードです。機能:構文の色づけとインデント、ドキュメントの閲覧と関数の検索、ImenuとSpeedBarのサポート、項目のカスタマイズ

Estado de desarrollo: 5 - Production/Stable
Usuarios objetivo: Developers
Lenguaje Natural: English, French
Sistema Operativo: OS Independent
Lenguaje de Programación: Lisp, PHP
Última actualización: 2006-05-23 01:40

PGMFI Project

PGMFIプロジェクトの目標は、ホンダ製の車両のECU, ABSコントローラ、およびその他のデバイスのようなコンピュータ化されたシステムの理解を進めることです。