Type-Level Lambda Calculus interpreter with TypeScript
☆18Jan 14, 2023Updated 3 years ago
Alternatives and similar repositories for ts-lambda-calc
Users that are interested in ts-lambda-calc are comparing it to the libraries listed below
Sorting:
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆12Jul 14, 2025Updated 8 months ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 2 years ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 9 months ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- Traits for typescript (and javascript)☆12Nov 17, 2024Updated last year
- A JavaScript AST optimizer☆18Apr 18, 2013Updated 12 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 7 months ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- A Wasm VM written in MoonBit☆38Feb 4, 2026Updated last month
- ☆11Mar 20, 2025Updated last year
- Collection of types for @effect/schema☆15Jan 15, 2024Updated 2 years ago
- Linux and macOS dotfiles☆10Aug 8, 2025Updated 7 months ago
- A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.☆34Feb 27, 2024Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- 翻译idris2教程☆14May 17, 2025Updated 10 months ago
- Type-level math expression evaluator for TypeScript.☆43Jun 5, 2023Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆17Mar 11, 2026Updated last week
- a MoonBit web app template using rabbita☆18Feb 25, 2026Updated 3 weeks ago
- 基于 LeviLamina 运行的下一代最全面的 Minecraft 基岩版 BDS 服务器基础&综合性功能插件☆10Jul 17, 2024Updated last year
- Grafana datasource plugin for GreptimeDB☆11Dec 26, 2024Updated last year
- Statically evaluate AST branches, return optimized tree.☆11Apr 14, 2017Updated 8 years ago
- 🌈 The Bangumi extension for VSCode. Her data source came from Bilibili. [Maintenance phase]☆12Oct 7, 2023Updated 2 years ago
- GherKing is a tool to make Gherkin smarter! It allows you to handle Cucumber/Gherkin feature files programmatically, in your JavaScript/T…☆15Nov 14, 2025Updated 4 months ago
- ☆13Dec 6, 2022Updated 3 years ago
- ☆13Oct 28, 2025Updated 4 months ago
- Manage multiple MoonBit installations☆17Feb 9, 2026Updated last month
- Pandas lib in Moonbit☆11Aug 11, 2025Updated 7 months ago
- A simplified version of the official Payload Website Template with simpler page-building (blocks-only), improved folder structure, live p…☆15Jun 9, 2025Updated 9 months ago
- An experimental game engine in MoonBit.☆27Updated this week
- 白圣女表情包☆11Oct 24, 2023Updated 2 years ago
- A cross-platform chatbot framework written in Rust, featuring a flexible dynamic plugin system.☆18Sep 11, 2025Updated 6 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 6 months ago
- Typed effects API for OxCaml☆26Jan 15, 2026Updated 2 months ago
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆41Mar 20, 2025Updated last year
- Some Add-on templates for Minecraft Bedrock Edition.☆12Apr 13, 2023Updated 2 years ago
- Returns the next buffer/object in a stream's readable queue☆22Jan 17, 2024Updated 2 years ago
- a website for hyperdrive☆10Jun 8, 2016Updated 9 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Mar 11, 2026Updated last week
- A programming language.☆13Aug 4, 2025Updated 7 months ago