A term rewriting system for experimental programming language development.
☆53Aug 6, 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:
- Sample EVM application for CCF☆14Aug 23, 2021Updated 5 years ago
- Template repository for CCF apps☆16Feb 12, 2026Updated 6 months ago
- A programming language with region-based memory management☆35Updated this week
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆38Feb 12, 2026Updated 6 months ago
- Typed effect handlers for C++20 using coroutines.☆18Aug 3, 2026Updated 3 weeks 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.
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- MOVED TO CODEBERG☆48Jun 28, 2025Updated last year
- Community Helm Charts provided by Offchain Labs☆11Aug 21, 2026Updated last week
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 9 months ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆46Updated this week
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- The runtime for the Verona project☆42Jun 30, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Verified compilation of space-efficient reversible circuits☆25Mar 5, 2019Updated 7 years ago
- Macros to erase scope information from tokens☆26Jun 24, 2026Updated 2 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 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
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 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 8 years ago
- Pony implementation of http://www.reactive-streams.org/☆42Aug 13, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tiny lazy objective functional language☆21Sep 12, 2024Updated last year
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 3 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 10 months ago
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- AOT compiled object oriented programming language☆48Apr 2, 2024Updated 2 years ago
- Self-hosting compiler for the Grace programming language☆43Jun 5, 2024Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- ☆11Oct 21, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12Nov 19, 2023Updated 2 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Predicated LL (recursive descent) parser in pure rust☆22Apr 11, 2026Updated 4 months ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- Functional data structures for Pony☆43Apr 28, 2017Updated 9 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 9 years ago