A term rewriting system for experimental programming language development.
☆50Mar 12, 2026Updated last week
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below
Sorting:
- A C++ interpreter for the OPA policy language Rego☆43Feb 16, 2026Updated last month
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆39Feb 12, 2026Updated last month
- Typed effect handlers for C++20 using coroutines.☆16Nov 25, 2025Updated 3 months ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 5 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- "Valgrind Client Request" interface for Rust☆18Jan 30, 2026Updated last month
- The runtime for the Verona project☆38Oct 26, 2025Updated 4 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 4 months ago
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- Seminar paper about hardware caches and how to use them effectively☆12Aug 16, 2023Updated 2 years ago
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆41Mar 12, 2026Updated last week
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 7 years ago
- Macros to erase scope information from tokens☆26Dec 20, 2025Updated 3 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆19Mar 10, 2024Updated 2 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Job Queue based on SQLite☆46Jul 23, 2024Updated last year
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Oct 13, 2025Updated 5 months ago
- ☆11Sep 22, 2017Updated 8 years ago
- A tool to add, remove and check for `tracing::instrument` in large projects where it is infeasible to manually add it to thousands of fun…☆15Oct 13, 2023Updated 2 years ago
- Pony implementation of http://www.reactive-streams.org/☆42Updated this week
- Developer documentation for EMF APIs☆14May 29, 2024Updated last year
- DRAFT: did:x509 Decentralized Identifier Method Specification☆21Oct 1, 2025Updated 5 months ago
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 3 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆78Dec 20, 2025Updated 3 months ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 13 years ago
- A small minecraft server that aims to do the minimum required for a basic minecraft server.☆16Sep 7, 2014Updated 11 years ago
- Sync distributed sets using bloom filters☆26Nov 4, 2021Updated 4 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 8 months ago
- A C++ library for creation and manipulation of Merkle trees☆84Mar 2, 2026Updated 2 weeks ago
- Self-hosting compiler for the Grace programming language☆43Jun 5, 2024Updated last year
- Experimenting with ergonomic dyn types☆29Dec 6, 2021Updated 4 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago