Command-line tool

lambdascript

cargo/lambdascript

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Instructional program detailing the beta reduction of typed and untyped lambda terms

Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

cargo install lambdascript

macOS

cargo install lambdascript

Linux

cargo install lambdascript

Related command-line tools

• strace
  Diagnostic, instructional, and debugging tool for the Linux kernel
• gzip
  Popular GNU data compression program archive gnuwin32 gzip
• nm-prune
  Prune unneeded files (.md, .td, etc..) from node_modules folder. Super handy for Electron and AWS Lambda. cli-app cli…
• @netlify/zip-it-and-ship-it
  Zip it and ship it api bundler cli lambda lambda functions netlify static
• valgrind
  Dynamic analysis tools (memory, debug, profiling)
• Android Studio Preview (Beta)
  Tools for building Android applications
• Termius Beta
  Termius Beta (Windows package; no description in the winget index) download file upload 上传 下载 文件 ssh server 服务器…
• Opera beta
  Opera beta (Windows package; no description in the winget index) 浏览器 browser chromium web webpage 网页 internet 互联网…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents