A term rewriting system for experimental programming language development.
☆53Oct 2, 2026Updated last week
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C++ interpreter for the OPA policy language Rego☆48Oct 2, 2026Updated last week
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- Sample EVM application for CCF☆15Aug 23, 2021Updated 5 years ago
- Template repository for CCF apps☆16Feb 12, 2026Updated 7 months 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.
- A programming language with region-based memory management☆34Updated this week
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Jun 7, 2019Updated 7 years ago
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- A TCP networking library for Pony☆25Sep 11, 2026Updated 3 weeks ago
- Typed effect handlers for C++20 using coroutines.☆18Sep 29, 2026Updated last week
- Research simulation toolkit for federated learning☆14Nov 7, 2020Updated 5 years ago
- MOVED TO CODEBERG☆48Jun 28, 2025Updated last year
- "Valgrind Client Request" interface for Rust☆24Updated this week
- Cell language C++ runtime☆18Oct 1, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- REST/HTTP to XRAP gateway☆27Aug 25, 2016Updated 10 years ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- A Ruby RabbitMQ client library based on FFI bindings for librabbitmq.☆10Oct 19, 2017Updated 8 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Test and benchmark repository for Z3.☆27Updated this week
- Verified compilation of space-efficient reversible circuits☆24Mar 5, 2019Updated 7 years ago
- Macros to erase scope information from tokens☆26Jun 24, 2026Updated 3 months ago
- Easy to use, modern symmetric encryption on the command line☆10May 26, 2016Updated 10 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆21Mar 10, 2024Updated 2 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- ☆11Sep 22, 2017Updated 9 years ago
- Pony implementation of http://www.reactive-streams.org/☆42Aug 13, 2026Updated last month
- Developer documentation for EMF APIs☆16Sep 21, 2026Updated 2 weeks ago
- A tiny lazy objective functional language☆21Sep 12, 2024Updated 2 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆79Jun 24, 2026Updated 3 months ago
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 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.
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Research programming language for concurrent ownership☆3,730Feb 28, 2026Updated 7 months ago
- Self-hosting compiler for the Grace programming language☆43Jun 5, 2024Updated 2 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 7 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆27Jan 1, 2024Updated 2 years ago
- A C++ library for creation and manipulation of Merkle trees☆92Sep 25, 2026Updated 2 weeks ago