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.
☆19Oct 9, 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 8 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 5 years ago
- The OverScript programming language☆14Aug 21, 2022Updated 4 years ago
- Demo for dependent types + runtime code generation☆72Sep 9, 2026Updated last month
- General-purpose programming language for data-oriented design.☆28May 8, 2026Updated 5 months ago
- 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.
- A StableHLO analyzer in Lean☆23Jul 22, 2025Updated last year
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆14Mar 23, 2026Updated 6 months 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.☆27May 1, 2022Updated 4 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 2 months ago
- Convert StableHLO models into Apple Core ML format☆22Sep 12, 2026Updated 3 weeks 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 4 months ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 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.
- ☆12May 22, 2016Updated 10 years ago
- The Titan programming language.☆14Apr 16, 2024Updated 2 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 6 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
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆22Apr 28, 2026Updated 5 months ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 10 months ago
- 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.
- 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
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 5 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Rust library for rich text and beautiful formatting in the terminal☆14Dec 7, 2021Updated 4 years ago
- Complete simulation of IEEE 754 fixed and floating point specification to any precision☆13Aug 26, 2020Updated 6 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 4 years ago
- A lambda calculus interpreter in python.☆14Jul 1, 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.
- Visualize and inspect custom algorithms with time travelling☆13Feb 20, 2019Updated 7 years ago
- Humanizer meets all your .NET needs for manipulating and displaying strings, enums, dates, times, timespans, numbers and quantities.☆11Feb 17, 2023Updated 3 years ago
- ☆41Feb 14, 2026Updated 7 months ago
- Safe Pony FFI wrapper for the libsodium cryptography library.☆24Aug 22, 2022Updated 4 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 8 months ago
- Hierarchical key value lookup plugin for Consul Template☆11Mar 22, 2024Updated 2 years ago
- LavaStore is a flexible and scalable local database for the web☆16Dec 13, 2020Updated 5 years ago