Simple Project List Software Map

149 projects in result set
Última Atualização: 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 Atualização: 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)
Linguagem Natural: English
Sistema Operacional: POSIX (Linux,BSD,Solaris etc..)
Linguagem de Programação: Lisp
Última Atualização: 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 Atualização: 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 Atualização: 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 Operacional: Linux
Linguagem de Programação: Lisp
Interface de Usuário: Plugins
Última Atualização: 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 Atualização: 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 Atualização: 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 Atualização: 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 Atualização: 2008-10-28 08:19

monkey.el

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

Desenvolvimento Estado: 4 - Beta
Destinado Audiência: Developers
Sistema Operacional: OS Independent
Linguagem de Programação: Lisp
Register Date: 2008-07-22 16:06
Última Atualização: 2009-11-09 23:26

GeLisp

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

(Machine Translation)
Última Atualização: 2014-06-11 03:36

SHOP

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

(Machine Translation)

remote editor

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

Desenvolvimento Estado: 2 - Pre-Alpha
Destinado Audiência: Developers
Linguagem Natural: Japanese
Sistema Operacional: MacOS, Linux
Linguagem de Programação: C, Lisp, Perl
Interface de Usuário: Console (Text Based)
Register Date: 2006-08-08 17:59
Última Atualização: 2014-04-28 08:34

PHP Mode for Emacs

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

Desenvolvimento Estado: 5 - Production/Stable
Destinado Audiência: Developers
Linguagem Natural: English, French
Sistema Operacional: OS Independent
Linguagem de Programação: Lisp, PHP
Interface de Usuário: X11 Applications, Win32 (MS Windows)
Última Atualização: 2006-05-23 01:40

PGMFI Project

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