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.
☆17Apr 29, 2026Updated 2 months ago
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:
- ☆24Jan 4, 2026Updated 6 months ago
- i'm too lazy to configure dependencies but i just wanna use vite-plus with nix☆23Updated this week
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 4 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Demo for dependent types + runtime code generation☆72Feb 18, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ✨ Write code without the Shift key. Beautiful, simple, and easy-to-use.☆15Jul 14, 2026Updated last week
- General-purpose programming language for data-oriented design.☆26May 8, 2026Updated 2 months ago
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆15Mar 23, 2026Updated 3 months ago
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 9 years ago
- ☆10May 1, 2023Updated 3 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28May 1, 2022Updated 4 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 4 months ago
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated last year
- 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.
- A monochrome skin that gives a simpler look to fcitx5.☆15Mar 6, 2024Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- ☆15May 11, 2026Updated 2 months ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆34Mar 28, 2025Updated last year
- ☆12Feb 11, 2025Updated last year
- ☆13Apr 25, 2026Updated 2 months ago
- Monadic React Demo☆16Apr 27, 2026Updated 2 months ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆16Oct 17, 2024Updated last year
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- library for building type-safe REST clients from Hono's application type☆18Jan 7, 2026Updated 6 months ago
- ☆12May 22, 2016Updated 10 years ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 2 months ago
- EdgeKit: Cloudflare Workers Python-native SDK☆16Apr 14, 2026Updated 3 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- morm is a ORM toolkit for MoonBit.☆18Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 8 months ago
- A high-level programming language written in Scala☆37Nov 26, 2023Updated 2 years ago
- ☆15Mar 23, 2026Updated 3 months ago
- Tokyonight配色风格的fcitx5主题☆25Jan 28, 2024Updated 2 years ago