ソフトウェアダウンロードマップ

一般的な証拠は証明アシスタント、平和主義者および同様の Emacs 過激派による使用に適したためジェネリック Emacs インターフェイスです。準備ができてカスタマイズ レゴ、コック、およびイザベルのため提供されます。Emacs Lisp の少しを知っている場合は、証拠の一般的なその他証明アシスタントに適応できます。

Treep は、象徴的な計算を行うためのシンプルな言語です。それより複雑なオブジェクトに編成することができますされる数字と文字列で動作します。これらのオブジェクトは、AVL ツリーとしてメモリに格納されている名前/値ペアのリストです。それは新しい関数を定義する方法をこのようなデータを操作する約 60 の組み込み関数があります。Treep 構文は非常に多く、Lisp に似ています。Treep の力は、そのシンプルさとセキュリティです。Treep は、良いツールは、オブジェクトとそれらの間の関係を処理します。たとえばグラフの頂点とエッジでテキスト ファイルのセットとして定義、そのファイルを解析のように、データをテキスト ファイルに変更を書き込み、計算することが可能です。Treep グラフ、ツリー、リンク リスト、単純なハッシュなく動きます。Treep は、テキスト処理で良いシステム入力/出力を扱います。

neslisp は、任天堂エンターテイメント システムの LISP コンパイラ スイートです。Lisp コード アセンブリ コード 6502 プロセッサ アーキテクチャ用にコンパイルします。

GCC 溶融は、Gnu コンパイラ コレクション GCC のプラグインのような拡張機能の開発を容易に、高度なドメイン固有言語です。これらの拡張機能の分析や GCC 内部表現を変更することができます静的ソース コード解析、リファクタリング、特定の警告、最適化、等使用されます。メルト言語は高度な機能を提供します。特に、溶融コードを C または C++、翻訳し、も C コードまたは C++ コードを含めることができます。強力なパターン マッチング設備が含まれ、動的に型指定された値と生 GCC 構造を操作することができます。機能的な適用で反射、オブジェクト指向のプログラミング スタイルを有効にしてはおなじみの Lisp のような構文があります。

ECB は、(x) emacs の原始コードのブラウザーです。ディレクトリ、ファイル、および、メソッドおよび変数のようなファイルの内容を参照するために使用することができます windows のカップルが表示されます。ソース コードを Java、C、C++、Elisp、スキーム、Perl、TeX、乳液などのような言語の解析をサポートしています。さらに、ヘルプし、コンパイル出力、(省略可能) 永久的な「コンパイル」ウィンドウ下部すべて表示に使用される emacs フレームの提供していますいます。フレームの残りの部分は、ソースの編集に使用するいくつかの編集ウィンドウに分割することができます「編集領域」と呼ばれます。どちらも、いくつかの編集ウィンドウを削除するコンパイル ウィンドウや閲覧ウィンドウを破棄します。CEDET スイートを必要があります。

lispreader は Lisp の構文で式を読み取るための小さなライブラリです。構成ファイルを読み取るためのフレームワークを提供します。簡単に読み取られたデータの解釈を lispreader は単純なマッチング パターンに対して式のための機能も提供します。

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

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