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.
Related ProjectsDarik's Boot and Nuke, gnupack, DeSmuME, iReport-Designer for JasperReports, MacEmacs JP |
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.
Related Projectsflp, iReport-Designer for JasperReports, SmillaEnlarger, TuxGuitar, DeSmuME |
neslisp is a LISP compiler suite for the Nintendo Entertainment System. It compiles lisp code to assembly code for the 6502 processor architecture.
Related ProjectsMedia Player Classic - Home Cinema, Win32 Disk Imager, MPC-BE, Dumpper v.60.3, Konoha - a statically-typed scripting la |
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.
Related ProjectsMysaifu JVM, MeCab, MikuInstaller, Media Player Classic - Home Cinema, Properties Editor |
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.
Related ProjectsMedia Player Classic - Home Cinema, MeCab, Dumpper v.60.3, MinGW日本版, Win32 Disk Imager |
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.
Related Projectsgnupack, MPC-BE, MeCab, SharpDevelop-jp, Properties Editor |
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.
Related ProjectsMeCab, MPC-BE, Freeverb3VST, Media Player Classic - Home Cinema, JYUGEM |
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.
Related ProjectsTERASOLUNA Framework, Properties Editor, SharpDevelop-jp, Open Source QR Code Library, Darik's Boot and Nuke |
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).
Related ProjectsMPC-BE, Amateras, Properties Editor, MinGW - Minimalist GNU for Windows, MeCab |
エディターemacsに、「プログラムをプロジェクト単位で管理する機能」を追加する。
プロジェクトを表示するファイラー、関数一覧、関数定義へのジャンプ等の機能をlispで実装します。対応するプログラム言語は、Emacs-Lisp、C言語、C++、Perl、Java、PHP、Ruby、Visual Basicを予定します。
Register Date: 2008-07-22 16:06
|
Related Projects |
Common Lisp をジェネリック制約開発環境 (GECODE) ライブラリのポータブルかつ効率的なラッパーです。高レベルのインタ フェースと低レベルのインターフェイスを提供します。さらに、音楽環境 !OpenMusic へのインターフェイスを提供します。
Related ProjectsMedia Player Classic - Home Cinema, LesserWiki, グループウェア 「Aipo」, mScheduler, MeCab |
SHOP2 は、順序付きタスクの分解、階層タスク ネットワーク (HTN) 計画の種類に基づくドメイン依存しない自動計画システムです。開発は、もはや sf; で行われてのみのファイルは現在のホスティングします。警告: Java コードここでは維持されません.
Related ProjectsMPC-BE, 中・長単位解析器 Comainu, Dumpper v.60.3, OpenKEEPS, shogi-server |
vi, emacs, Eclipse を相互接続するエディタ間プロトコルを実装します。
Register Date: 2006-08-08 17:59
|
Related ProjectsSAKURA Editor, 64bit compiles, KiriKiri Development Environment, Alpha, Subtitle Workshop |
PHPコードを編集するためのEmacsメジャーモードです。機能:構文の色づけとインデント、ドキュメントの閲覧と関数の検索、ImenuとSpeedBarのサポート、項目のカスタマイズ
Related ProjectsMPC-BE, Properties Editor, Dumpper v.60.3, Win32 Disk Imager, MeCab |
PGMFIプロジェクトの目標は、ホンダ製の車両のECU, ABSコントローラ、およびその他のデバイスのようなコンピュータ化されたシステムの理解を進めることです。
Related Projectsgpx2shp, MergeDoc, MeCab, blanco Framework, MinGW - Minimalist GNU for Windows |