TAPL is a modern compiler system's frontend framework designed to help users create their own strongly typed programming languages. It is designed to simplify the process of creating and extending programming languages with strong typing capabilities.
☆16Aug 28, 2026Updated this week
Alternatives and similar repositories for tapl
Users that are interested in tapl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interpreted array programming language☆16Jan 23, 2026Updated 7 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 4 years ago
- The OverScript programming language☆14Aug 21, 2022Updated 4 years ago
- cat will read the contents of an url☆13Oct 21, 2021Updated 4 years ago
- General-purpose programming language for data-oriented design.☆27May 8, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 9 years ago
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆15Mar 23, 2026Updated 5 months ago
- Symbolic math toolbox in Lua☆13Jun 29, 2025Updated last year
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 9 years ago
- ☆10May 1, 2023Updated 3 years ago
- ✨ Write code without the Shift key. Beautiful, simple, and easy-to-use.☆15Jul 14, 2026Updated last month
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- Verylup: the Veryl toolchain installer☆14Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last month
- ☆16Mar 19, 2026Updated 5 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Pipe audio to discord, unix style☆13May 20, 2026Updated 3 months ago
- A monochrome skin that gives a simpler look to fcitx5.☆16Mar 6, 2024Updated 2 years ago
- work in progress☆30Aug 18, 2026Updated last week
- ☆15May 11, 2026Updated 3 months ago
- ☆17Mar 31, 2026Updated 4 months ago
- ☆12Feb 11, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Aug 1, 2026Updated 3 weeks ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- library for building type-safe REST clients from Hono's application type☆18Jan 7, 2026Updated 7 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- morm is a ORM toolkit for MoonBit.☆18Aug 20, 2026Updated last week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- EdgeKit: Cloudflare Workers Python-native SDK☆17Apr 14, 2026Updated 4 months ago
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 4 months ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 9 months ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- ☆15Mar 23, 2026Updated 5 months ago
- ら抜き言葉をチェックするtextlintルール☆20Jun 24, 2026Updated 2 months ago