CL-Emacs
CLikiより。 様々な人がCommon Lispで書かれたemacsライクなエディタを提案しています。このページでは、いくつかの可能性をまとめています。 エディターとコードLem(2022年現在有効)。LSPモード(Python、Rust、Go、Java、Dart、Nim、HTML、ディレクトリ、マークダウン、SQL、シェルなどのモード)により、Common Lisp だけでなく他の言語でもすぐに使えるエディタです。ターミナルと実験的なElectronフロントエンドで動作します。現在、さらに多くの機能が開発中です。docstringやドキュメントが不足していますが、gitterのチャットはある程度活発で、様々な人々が支援に関心を示しています。Vimレイヤもあります。 GitHub: https://github.com/lem-project/lem/ CLエディタとREPLを簡単にイン
ACL2 Version 2.9 ACL2 is both a programming language in which you can model systems and a tool to help you prove properties of those models. lisp
Welcome to the ACL2 home page! We highlight a few aspects of ACL2: Libraries (Books). Libraries of books (files containing definitions and theorems) extend the code that we have written. In particular, the distribution tarball includes the community books, which are contributed and maintained by the members of the ACL2 community. Documentation. There is an extensive user's manual for the ACL2 syst
Embeddable Common-Lisp
View content from 2024-05, 2023-09, 2021-02, 2020-04, 2017-12, 2017-07, 2016-12, 2016-11, 2016-06, 2016-04, 2016-03, 2016-02, 2015-11, 2015-09, 2015-05, 2015-03, 2015-02, 2013-10, 2013-05, 2013-01, 2012-12, 2012-11, 2012-08, 2012-07, 2012-06, 2012-05, 2011-05, 2011-01, 2010-07, 2010-06, 2010-03, 2009-10, 2009-07, 2009-06, 2009-04, 2008-12, 2008-10, 2008-08, 2008-04, 2007-12, 2007-05, 2007-01, 2006
Clozure CL
About Clozure CL Clozure CL (often called CCL for short) is a free Common Lisp implementation with a long history. Some distinguishing features of the implementation include fast compilation speed, native threads, a precise, generational, compacting garbage collector, and a convenient foreign-function interface. Clozure CL is distributed under the terms of the Apache License, version 2.0. Getting
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
謎の言語Forthが謎なので実装した
GitHub - norvig/paip-lisp: Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Look at-the-lisper.2017.02.18
