Type-Level Lambda Calculus interpreter with TypeScript
☆17Jan 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 7 months ago
- GPU-based interaction nets evaluator☆17Nov 30, 2011Updated 14 years ago
- Repository for the "Building a Typechecker from scratch" class☆15Oct 12, 2023Updated 2 years ago
- vscode extension to view TextMate scope info upon hover☆16Dec 14, 2016Updated 9 years ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 8 months ago
- a VSCode extension that replace selected string with custom JavaScript function.☆27May 1, 2019Updated 6 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 2 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Feb 20, 2026Updated last week
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆40Mar 20, 2025Updated 11 months ago
- My (newer) Emacs configuration☆14Sep 14, 2025Updated 5 months ago
- Python GDB RDP client (replaces gdb for QEMU tcp debug)☆12Apr 22, 2022Updated 3 years ago
- ☆10Dec 16, 2018Updated 7 years ago
- Snake Game in Python in Under 50 Lines of Code☆10Jan 5, 2021Updated 5 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- ☆12Nov 22, 2024Updated last year
- Luajit array slice implementation☆20Oct 1, 2012Updated 13 years ago
- A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.☆34Feb 27, 2024Updated 2 years ago
- Adobe Photoshop plugin that aims to streamline the process of creating frame-by-frame animations.☆10Aug 27, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- idevicerestore, but with support for virtual devices☆11Jan 27, 2024Updated 2 years ago
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 2 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- 运行时校验接口数据☆10Apr 18, 2019Updated 6 years ago
- An implementation of elastic tabstops for Scintilla☆19Dec 11, 2016Updated 9 years ago
- 基于 LeviLamina 运行的下一代最全面的 Minecraft 基岩版 BDS 服务器基础&综合性功能插件☆10Jul 17, 2024Updated last year
- High-precision Math library implemented by moonbit☆11Sep 6, 2025Updated 5 months ago
- Game Of Life☆10Oct 3, 2019Updated 6 years ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆25Feb 9, 2026Updated 2 weeks ago
- Display your velocity vectors. Easily.☆10Oct 2, 2022Updated 3 years ago
- multicolumnar JSON explorer with jq in the browser☆14Apr 27, 2018Updated 7 years ago
- [Abandoned] Advanced article management☆11Oct 19, 2021Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- UserScript language support for VS Code☆11Feb 12, 2022Updated 4 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- ☆14May 12, 2025Updated 9 months ago
- Easily create TypeScript Playground Plugins with Svelte.☆12Jul 20, 2022Updated 3 years ago
- A collection of JS utility functions and custom elements for progressively enhanced error handling for the client-side☆12Oct 16, 2025Updated 4 months ago