A term rewriting system for experimental programming language development.
☆50Apr 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:
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- 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 4 months ago
- 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.
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- Research simulation toolkit for federated learning☆13Nov 7, 2020Updated 5 years ago
- The runtime for the Verona project☆39Mar 24, 2026Updated 2 weeks ago
- MOVED TO CODEBERG☆48Jun 28, 2025Updated 9 months ago
- DID Method for the Confidential Consortium Framework (CCF)☆23Sep 4, 2023Updated 2 years ago
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- 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.
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆42Mar 27, 2026Updated 2 weeks ago
- Macros to erase scope information from tokens☆26Dec 20, 2025Updated 3 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- 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
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆20Mar 10, 2024Updated 2 years 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
- Developer documentation for EMF APIs☆14Updated this week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 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
- Storage systems with verified correctness properties☆65Apr 3, 2026Updated last week
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 6 months 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 17, 2026Updated 3 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
- 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.
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 9 years ago
- A parser for ANSI C, in Lean4.☆24Nov 16, 2023Updated 2 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- Revizor - Hardware fuzzing for the age of speculation☆182Apr 2, 2026Updated last week
- ☆11Nov 19, 2023Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago