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.
☆16Sep 10, 2026Updated last 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:
- i'm too lazy to configure dependencies but i just wanna use vite-plus with nix☆29Updated this week
- ☆24Jan 4, 2026Updated 8 months ago
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- General-purpose programming language for data-oriented design.☆28May 8, 2026Updated 4 months ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 10 years 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
- 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
- Verylup: the Veryl toolchain installer☆13Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pipe audio to discord, unix style☆13May 20, 2026Updated 3 months ago
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated last year
- 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☆30Sep 11, 2026Updated last week
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- ☆12May 22, 2016Updated 10 years ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- ☆13Feb 11, 2025Updated last year
- Monadic React Demo☆15Apr 27, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- 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
- library for building type-safe REST clients from Hono's application type☆19Jan 7, 2026Updated 8 months 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
- morm is a ORM toolkit for MoonBit.☆18Updated this week
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 4 months ago
- EdgeKit: Cloudflare Workers Python-native SDK☆17Apr 14, 2026Updated 5 months ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 10 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A high-level programming language written in Scala☆37Nov 26, 2023Updated 2 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- A Rust backend crate for the popular card game, Blackjack, designed to also be compiled for linking with C☆11Sep 17, 2019Updated 7 years ago
- 数値が偶数かどうかを判定する革新的なライブラリです。奇数の場合は、言い分を述べることで、偶数の概念を超越した解釈を提供します。☆16Updated this week
- ☆15Mar 23, 2026Updated 5 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 7 months ago