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 29, 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:
- Lithic minimizes risk with typed AI services, cost caps, per-user budgets, and cryptographic provenance on-chain.☆28Sep 21, 2026Updated last month
- C decompiler and static file analyzer☆17Updated this week
- Teach AI agents modern .NET skills for ASP.NET Core, EF, Blazor, MAUI, and more with a growing community catalog☆13Oct 13, 2026Updated 2 weeks ago
- A Craft CMS field for selecting one category from a dropdown.☆12Oct 4, 2026Updated 3 weeks ago
- ☆10Feb 9, 2023Updated 3 years 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.
- Cross-layer evidence admission for ROS 2 latency: refuses to emit a root cause when evidence is incomplete, and blocks unreliable diagnos…☆12Updated this week
- ☆24Jan 4, 2026Updated 9 months ago
- An interpreted array programming language☆16Jan 23, 2026Updated 9 months ago
- Device management & monitoring system. Go backend (Chi + SQLite, CGO-free) with an embedded SvelteKit 5 SPA — single-binary deploy. SNMP/…☆18Updated this week
- Implementation of EtherIP with XDP☆14Updated this week
- Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably corre…☆18Updated this week
- i'm too lazy to configure dependencies but i just wanna use vite-plus with nix☆32Updated this week
- Personal portfolio and engineering website for Patrick Araujo, focused on backend systems, AI, automation, API integrations, and technica…☆25Updated this week
- Distributed, self-hostable uptime monitoring: 40 check types, multi-region workers, private agents, status pages, incidents and on-call e…☆27Updated this week
- 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.
- Kubernetes node connectivity monitor — TCP, UDP, ICMP, DNS, HTTP checks between all nodes with Prometheus metrics, Grafana dashboards, an…☆19Updated this week
- Usage example of MPS C# implementation☆10Apr 5, 2023Updated 3 years ago
- ☆15Oct 20, 2026Updated last week
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- Open-source eBPF compatibility evidence and CI gate☆20Oct 19, 2026Updated last week
- MoonBit best practices plugin for Claude Code☆14Apr 24, 2026Updated 6 months ago
- Demo for dependent types + runtime code generation☆72Sep 9, 2026Updated last month
- A game engine based on Hazel☆17Updated this week
- Tiny eMacs☆15Sep 21, 2022Updated 4 years ago
- 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.
- The open source audiobook database - community-maintained metadata for works, recordings, narrators, series and chapters (CC0). The repo …☆27Updated this week
- A powerful CLI tool for archiving GitHub repositories as local mirror clones. Features scheduled execution, GitHub CLI integration, mirro…☆12Jul 12, 2026Updated 3 months ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- ☆48Updated this week
- General-purpose programming language for data-oriented design.☆28May 8, 2026Updated 5 months ago
- gofmt for coffee☆10Apr 8, 2017Updated 9 years ago
- Nix-packaged Secure Enclave-backed SSH authentication and Git SSH signing for macOS.☆15Oct 3, 2026Updated 3 weeks ago
- A concatenative scripting language with a type system☆10Nov 27, 2013Updated 12 years ago
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Typed object storage for .NET. Schema = C# class. Full LINQ. Zero migrations. PostgreSQL, MSSQL & SQLite.☆36Updated this week
- A StableHLO analyzer in Lean☆24Oct 8, 2026Updated 3 weeks ago
- Multiplayer co-op mod for Voices of the Void — a UE4SS mod for UE4.27 that syncs the game between a host and up to three clients, without…☆66Updated this week
- Haml-inspired JSX syntax for CoffeeScript☆11Sep 5, 2017Updated 9 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 9 years ago
- Manage AWS, Hetzner, OVH, and custom servers from one TUI — with a built-in AI assistant and MCP server☆30Updated this week
- A desktop app that live visualizes your robot for PROS Robotics☆25Updated this week