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
Sorting:
- A statically typed functional programming language.☆46Feb 14, 2026Updated last week
- ☆10Jan 26, 2023Updated 3 years ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 3 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 4 years ago
- An implementation of Linear Lambda Calculus.☆15Apr 16, 2020Updated 5 years ago
- ☆14May 27, 2022Updated 3 years ago
- VSCode 向けの HSP3 シンタックスハイライトとその他の機能を提供する拡張機能☆16Updated this week
- A x86 assembler in Commn Lisp☆24Sep 30, 2017Updated 8 years ago
- HSP3 debug window (unofficial)☆19Dec 2, 2025Updated 2 months ago
- ☆19Jan 29, 2019Updated 7 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Aug 1, 2019Updated 6 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆125Dec 3, 2025Updated 2 months ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Sep 15, 2018Updated 7 years ago
- ☆19Jan 15, 2023Updated 3 years ago
- Nazo ML - my toy programming language☆59Aug 11, 2020Updated 5 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- Mirror of the original Tierra v6.02 source code. http://life.ou.edu/tierra☆25Sep 2, 2017Updated 8 years ago
- PackCC is a packrat parser generator for C.☆26May 3, 2019Updated 6 years ago
- Functional Programming From Scratch 日本語版☆28Nov 21, 2023Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Feb 16, 2026Updated last week
- XEAD Driver is a developing platform of DB systems. Write "specifications" using XEAD Editor. Driver interprets them and launches systems…☆11Jun 20, 2021Updated 4 years ago
- compiler, llvm☆36Jun 25, 2018Updated 7 years ago
- ☆12Feb 3, 2024Updated 2 years ago
- ☆14Feb 10, 2026Updated 2 weeks ago
- ☆13Sep 8, 2019Updated 6 years ago
- A smart-casual LaTeX Beamer theme☆13Jan 21, 2025Updated last year
- 👻 Use Neovim to write in your browser. Everything you type in Neovim will be instantly updated in the browser (and vice versa).☆12May 1, 2025Updated 9 months ago
- Show audiences comments on your screen.☆11Sep 15, 2025Updated 5 months ago
- A Neovim plugin for switching automatically keyboard input method to English☆21Feb 9, 2026Updated 2 weeks ago
- newtype and refinement (refined) type for Scala 3☆14Feb 12, 2026Updated 2 weeks ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Handy interface PCB for MIDI and microcontrollers.☆11Mar 18, 2025Updated 11 months ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Dec 15, 2023Updated 2 years ago
- Type calculations at compile time☆40Sep 28, 2019Updated 6 years ago
- Godot Variant Notation☆10Jan 24, 2024Updated 2 years ago
- A parser library for TypeScript☆10Dec 30, 2022Updated 3 years ago
- A lightweight, fluent Domain-Specific Language (DSL) for building type-safe, composable business flows in Java.☆14May 13, 2025Updated 9 months ago
- Dnscript is specific scripting language specializing to build the "danmaku" in shooting game.☆11Apr 29, 2016Updated 9 years ago
- Keyed Semaphore Implementation☆11Jul 8, 2024Updated last year