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 3 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 7 months ago
- An interpreted array programming language☆16Jan 23, 2026Updated 6 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 3 years ago
- 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.
- General-purpose programming language for data-oriented design.☆26May 8, 2026Updated 3 months ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆15Mar 23, 2026Updated 4 months ago
- Symbolic math toolbox in Lua☆13Jun 29, 2025Updated last year
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- ☆10May 1, 2023Updated 3 years ago
- ✨ Write code without the Shift key. Beautiful, simple, and easy-to-use.☆15Jul 14, 2026Updated 3 weeks ago
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28May 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Verylup: the Veryl toolchain installer☆14Updated this week
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated last year
- A monochrome skin that gives a simpler look to fcitx5.☆15Mar 6, 2024Updated 2 years ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆35Mar 28, 2025Updated last year
- work in progress☆28Aug 1, 2026Updated last week
- ☆17Mar 31, 2026Updated 4 months ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Feb 11, 2025Updated last year
- ☆12May 22, 2016Updated 10 years ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- morm is a ORM toolkit for MoonBit.☆18Jul 16, 2026Updated 3 weeks 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
- 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
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- An example of how to create a .NET GraphQL server on Azure Functions that talks to CosmosDB☆10Dec 10, 2020Updated 5 years ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 8 months ago
- A high-level programming language written in Scala☆36Nov 26, 2023Updated 2 years ago
- 数値が偶数かどうかを判定する革新的なライブラリです。奇数の場合は、言い分を述べることで、偶数の概念を超越した解釈を提供します。☆17Updated this week
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- ☆15Mar 23, 2026Updated 4 months ago