nikosai/lambda-friends external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

nikosai/lambda-friends

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/nikosai/lambda-friends)

Close

nikosai / lambda-friendsView on GitHubMore

• External links
• Readme badge

Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」

☆28Mar 28, 2024Updated last year

Alternatives and similar repositories for lambda-friends

Users that are interested in lambda-friends are comparing it to the libraries listed below

• lmntal / lmntal-compiler

  View on GitHub
  LMNtal Compiler
  ☆24Updated this week
• lmntal / slim

  View on GitHub
  slim LMNtal implementation
  ☆21Mar 4, 2026Updated 2 weeks ago
• 0918nobita / waxt

  View on GitHub
  WebAssembly eXtended Text Format
  ☆13Sep 20, 2022Updated 3 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Updated this week
• myuon / timeline

  View on GitHub
  ☆10Jan 26, 2023Updated 3 years ago
• sile / cl-asm

  View on GitHub
  A x86 assembler in Commn Lisp
  ☆24Sep 30, 2017Updated 8 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 5 years ago
• na0214 / linear-lambda-calculus

  View on GitHub
  An implementation of Linear Lambda Calculus.
  ☆15Apr 16, 2020Updated 5 years ago
• elpinal / seqmod

  View on GitHub
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Mar 11, 2021Updated 5 years ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• honobonosun / vscode-language-hsp3

  View on GitHub
  VSCode 向けの HSP3 シンタックスハイライトとその他の機能を提供する拡張機能
  ☆16Mar 13, 2026Updated last week
• vain0x / knowbug

  View on GitHub
  HSP3 debug window (unofficial)
  ☆19Dec 2, 2025Updated 3 months ago
• yf-fyf / hlisp

  View on GitHub
  A Lisp implementation in which a lot of language features are self-definable.
  ☆18Aug 1, 2019Updated 6 years ago
• takanuva / cps

  View on GitHub
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆38Mar 10, 2026Updated last week
• alphaKAI / ChickenClisp

  View on GitHub
  ChickenClisp is a Scheme like language and interpreter. An Implementation of Orelang in D
  ☆16Oct 3, 2023Updated 2 years ago
• kahei / parser_book

  View on GitHub
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆125Dec 3, 2025Updated 3 months ago
• takahashim / mastodon-access-token

  View on GitHub
  Access Token Generator for Mastodon API
  ☆27Aug 15, 2020Updated 5 years ago
• fujie / oidc-study-op

  View on GitHub
  ☆12Feb 3, 2024Updated 2 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• 0918nobita / native-interop

  View on GitHub
  Native Interoperability (Experimental)
  ☆12Sep 3, 2024Updated last year
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 4 years ago
• hemokosa / caex

  View on GitHub
  ☆19Jan 15, 2023Updated 3 years ago
• heppokofrontend / chrome-extension-close-duplicate-tabs

  View on GitHub
  This is a Google Chrome extension that closes duplicate tabs in the current window.
  ☆14May 18, 2025Updated 10 months ago
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• kayceesrk / cs6225_s21_iitm

  View on GitHub
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Apr 28, 2021Updated 4 years ago
• ken-okabe / functional-programming-from-scratch-ja

  View on GitHub
  Functional Programming From Scratch 日本語版
  ☆28Nov 21, 2023Updated 2 years ago
• shirakawayohane / hirou_compiler

  View on GitHub
  疲労困憊していても書ける優しいプログラミング言語のコンパイラ
  ☆11Dec 25, 2025Updated 2 months ago
• usbharu / Hideout

  View on GitHub
  [WIP] Social Networking System
  ☆13Mar 4, 2026Updated 2 weeks ago
• nostr-dev-kit / ndk-cli

  View on GitHub
  CLI for nostr
  ☆13Aug 28, 2023Updated 2 years ago
• chrisroman / coc

  View on GitHub
  Calculus of Constructions Implementation
  ☆17Dec 20, 2019Updated 6 years ago
• cucmberium / TootNet

  View on GitHub
  Yet Another .NET Mastodon Library
  ☆44Oct 30, 2024Updated last year
• eniehack / Learn-ActivityPub

  View on GitHub
  Summrize ActivityPub written by Japanese.
  ☆19Jul 11, 2019Updated 6 years ago
• google / libtracecmd-rs

  View on GitHub
  Rust wrapper of libtracecmd
  ☆25Nov 2, 2023Updated 2 years ago
• Yonle / snac2

  View on GitHub
  Mirror of my fork at https://codeberg.org/Yonle/snac2 - A simple, minimalistic ActivityPub instance
  ☆16Jul 25, 2023Updated 2 years ago
• mkizka / unsocial

  View on GitHub
  Simple ActivityPub server for personal use, built with Next.js (App Router), Prisma, and Tailwind CSS.
  ☆17Apr 24, 2024Updated last year
• snow-actions / nostr

  View on GitHub
  Send EVENT to Nostr
  ☆20Mar 1, 2026Updated 2 weeks ago
• lotz84 / cli-rss-reader

  View on GitHub
  Vtyを使って作る簡単なRSSリーダー
  ☆16Apr 24, 2017Updated 8 years ago
• ElifUskuplu / Stlc_deBruijn

  View on GitHub
  Simply Typed Lambda Calculus with de Bruijn indices
  ☆17Mar 20, 2025Updated last year
• rocq-community / coqoban

  View on GitHub
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Jan 3, 2025Updated last year