The Janet Programming Language
Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, BSDs, and should run on other systems with some porting. The entire language (core library, interpreter, compiler, assembler, PEG) is less than 1MB. You can also add Janet scripting to an application by embedding a single C source file and a single header. Use Cases Janet makes a good system scripting lang
BLisp: A Statically Typed Lisp Like Language
BLisp is a statically typed Lisp like programming language which adopts effect system for no_std environments. BLisp supports higher order RPC like higher order functions of functional programming languages.
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を簡単にイン
LISP with GC in 436 bytes
SectorLISP now supports garbage collection. This is the first time that a high-level garbage collected programming language has been optimized to fit inside the 512-byte boot sector of a floppy disk. Since we only needed 436 bytes, that means LISP has now outdistanced FORTH and BASIC to be the tiniest programming language in the world. SectorLISP consists of 223 lines of assembly. It provides a LI
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
Rust言語でファームウェア、OS、言語処理系を実装して、CSS 2020で発表した - 未完成な論を綴るブログ
先月、国内最大のセキュリティ研究会であるコンピュータセキュリティシンポジウム 2020（CSS 2020）が開催され、そこで、Rust言語を用いてファームウェア、OS、言語処理系を設計・実装した話を発表しました。本来、CSS 2020はリアルで開催されるはずでしたが、コロナ禍の影響でオンライン開催となり発表動画作成が求められました。せっかく作った動画をこのまま捨て置くのももったいないと思い、ここで供養したいと思います。 www.youtube.com 概要 内容は、Rust言語を用いて、AArch64のセキュアワールド内で動作するファームウェア、OS、プログラミング言語処理系を実装した話となります。と言っても、まだまだ基本的な部分しか実装しておらず、実現目標に対して2〜3割と言ったところですが、どうぞご笑覧ください。 ブート部分は多少アセンブリ言語を使っていますが、その他の部分はRustで
Mes - GNU Project - Free Software Foundation
GNU Mes GNU Mes is a Scheme interpreter and C compiler for bootstrapping the GNU System. It has helped to decimate the number and size of binary seeds that were used in the bootstrap of GNU Guix 1.0. Recently, version 0.24.2 has realized the first Full Source Bootstrap for Guix. The final goal is to help create a full source bootstrap as part of the bootstrappable builds effort for any UNIX-like o
(chez (chez scheme))
(chez (chez scheme)) Chez Scheme is Now Open Source Chez Scheme is now an open-source project, hosted at github.com/cisco/chezscheme with a project page at cisco.github.io/ChezScheme. Current information on Chez Scheme can be found there. The Scheme Programming Language Documentation for Chez Scheme comes in two parts. The The Scheme Programming Language, 4th Edition (TSPL), which is a general int
[PDF] Evolution of Emacs Lisp
74 Evolution of Emacs Lisp STEFAN MONNIER, Université de Montréal, Canada MICHAEL SPERBER, Active Group GmbH, Germany Shepherd: Brent Hailpern, IBM Research, USA While Emacs proponents largely agree that it is the world’s greatest text editor, it is almost as much a Lisp machine disguised as an editor. Indeed, one of its chief appeals is that it is programmable via its own programming language. Em
Technoblogy - Lisp Badge [Updated]
Topics ► Games ► Sound & Music ► Watches & Clocks ► GPS ► Power Supplies ► Computers ► Graphics ► Thermometers ► Wearables ► Test Equipment ► Tutorials ► Libraries ► PCB-Based Projects By processor AVR ATtiny ► ATtiny10 ► ATtiny2313 ► ATtiny84 ► ATtiny841 ► ATtiny85 ► ATtiny861 ► ATtiny88 AVR ATmega ► ATmega328 ► ATmega1284 AVR 0-series and 1-series ► ATmega4809 ► ATtiny1604 ► ATtiny1614 ► ATtiny3
キメるClojure高速開発 - Qiita
この記事は TIS Advent Calendar 2017 16 日目の記事です。 Clojure を仕事で使い始めてから三年が経ちました。未だに学びが多いですが、年数的には中堅 Clojurian と言える域に達してしまったので、自分なりの Clojure 観を整理したいと思い立ちました。自分にとって Clojure の最大の魅力は高速開発です。そしてそれは Clojure 自体の習熟難度と秤にかけても十分魅力的だという話を書きます。 どちらかと言えば Clojure 勉強し始めで、このまま進んでいいか迷っている人向けの内容です。 この記事は2017年時点での内容です。更新版・続編 → キメる Clojure チーム開発 そもそも Clojure とは 時は 2053 年、Skynet が人類を虐げる世界。エージェント Meier は Skynet のログにアクセスすることに成功し、S
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tomhrr/dale: Lisp-flavoured C
GitHub - technoblogy/ulisp: A version of the Lisp programming language for ATmega-based Arduino boards.
GitHub - ytakano/blisp: A statically typed Lisp like scripting programming language for Rust.
謎の言語Forthが謎なので実装した
GitHub - codecrafters-io/build-your-own-x: Master programming by recreating your favorite technologies from scratch.
GitHub - norvig/paip-lisp: Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
GitHub - mephistopheles-8/s-pression: A minimal example of a static, S-expression eDSL in ATS2
GitHub - numcl/numcl: Numpy clone in Common Lisp
GitHub - RaminHAL9001/Dao: The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.