nowfound

Dev tools · October 11, 2019

Lambash, a WIP λ-Calculus Unix Shell Written in Rust

A λ-calculus shell (because I love writing shells). - nixpulvis/lambash

Lambash, a WIP λ-Calculus Unix Shell Written in Rust launched on October 11, 2019 with 7 votes, #1,100 of 3,363 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 7 years on.

Does a similar job

all alternatives →
  • Warp, a Rust-based terminal2022 · warp.dev · ▲946

    Hi HN community, I’m Zach, founder and CEO of Warp, and am excited to show you Warp, a fast Rust-based terminal that’s easy to use and built for teams. As of today, Warp is in public beta and any Mac user can download it. It works with bash, zsh, and fish. The terminal’s teletype-like interface has made it hard for the CLI to thrive. After 20 years of programming, I still find it hard to copy a command’s output; I always forget how to use `tar`; and I always have to relearn how to move my cursor. To fix fundamental accessibility issues, I believe we need to start innovating on the terminal,…

  • Lambda-8cc – An x86 C compiler written in untyped lambda calculus2022 · github.com · ▲249

    x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.

  • Using Rust to write shell-script like tasks2020 · github.com · ▲231

    Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way - rust-shell-script/rust_cmd_lib

  • LambdaLisp – A Lisp interpreter that runs on lambda calculus2022 · woodrush.github.io · ▲189

    A Lisp interpreter written as an untyped lambda calculus term

  • GA
    Grsh – A high-performance shell for FreeBSD written in RustJan 2026 · grimreaper.icu · ▲50

    I built GRSH because I wanted a modern, memory-safe shell that feels native to FreeBSD but works seamlessly on macOS. While there are many shells out there, GRSH is my take on a minimal, fast, and secure command interpreter written entirely in Rust. It's designed for users who want the safety guarantees of Rust without the overhead of more bloated alternatives. I'm currently working on the official FreeBSD port. I’d love to get feedback on the shell's behavior and performance from the community. Github: https://github.com/antoniomalara301289/grsh

  • Lisp Shell2018 · github.com · ▲120

    A fully-featured lisp/scheme shell written in Racket. - DexterLagan/lsh

More dev tools this month

the category →
  • /dev/null▲486

    a social network for devs

    Dev tools · 3d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 26d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 23d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

  • CoreSpeed▲332

    One MCP for everything your agents need: apps, memory, tools

    Dev tools · 28d ago · corespeed.io

Source: Show HN post ↗

Launched alongside, October 2019

the whole month →
  • Bel▲1,288

    Life & fun · 2019 · paulgraham.com

  • Create free personalized illustrations from 3000+ elements

    Growth · 2019 · icons8.com

  • A collection of free sketchy illustrations

    Growth · 2019 · opendoodles.com

  • New AirPods with active noise cancellation

    Life & fun · 2019 · apple.com

  • The next generation of temperature controlled mugs

    Life & fun · 2019 · ember.com

  • Lazy IoT▲533

    Control your environment with one easy keyboard shortcut

    Work · 2019 · lazy-app.com