A term rewriting system for experimental programming language development.
☆53Oct 2, 2026Updated 3 weeks ago
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:
- 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
- Sample EVM application for CCF☆15Aug 23, 2021Updated 5 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆38Feb 12, 2026Updated 8 months ago
- A C++, header-only DID:x509 resolver☆18Oct 23, 2026Updated last week
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A programming language with region-based memory management☆35Updated this week
- Research unikernel for virtualized services☆58Dec 6, 2022Updated 3 years ago
- Static Checker for Concurrency Errors in C#☆15Dec 11, 2022Updated 3 years ago
- DynSem☆13Apr 28, 2025Updated last year
- A tiny lazy objective functional language☆21Sep 12, 2024Updated 2 years ago
- A C++ library for creation and manipulation of Merkle trees☆92Sep 25, 2026Updated last month
- MOVED TO CODEBERG☆48Jun 28, 2025Updated last year
- Typed effect handlers for C++20 using coroutines.☆18Oct 20, 2026Updated last week
- DID Method for the Confidential Consortium Framework (CCF)☆23Sep 4, 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.
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Class library used in invoking HTTP requests to the Hardware Dev Center dashboard API☆16Jun 20, 2025Updated last year
- An Architecture for Trustworthy Digital Supply Chain Transparency Services☆19Oct 19, 2025Updated last year
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Jun 7, 2019Updated 7 years ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 6 years ago
- RISC-V instruction decoder written in Rust.☆17Dec 31, 2025Updated 9 months ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Fork of LLVM adding CHERI support☆78Updated 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.
- Use-after-free in Python☆15Jul 19, 2026Updated 3 months ago
- A utility library to bridge llvm and mlir gaps.☆16Jan 8, 2025Updated last year
- "Valgrind Client Request" interface for Rust☆24Oct 17, 2026Updated last week
- Asynchronous signal handling☆27Apr 13, 2026Updated 6 months ago
- Macros to erase scope information from tokens☆27Jun 24, 2026Updated 4 months ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated this week
- Single cell network synthesis toolkit☆23Feb 15, 2021Updated 5 years ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆41Sep 17, 2026Updated last month
- MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.☆23Apr 22, 2026Updated 6 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.
- Research programming language for concurrent ownership☆3,738Feb 28, 2026Updated 8 months ago
- Message passing based allocator☆1,982Updated this week
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆50Updated this week
- A DSL optimized for LLM code generation - outperforms Python on data transformation tasks☆18Feb 26, 2026Updated 8 months ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 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 …☆21Mar 10, 2024Updated 2 years ago