A term rewriting system for experimental programming language development.
☆51Apr 22, 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 TCP networking library for Pony☆18Apr 19, 2026Updated last week
- Typed effect handlers for C++20 using coroutines.☆18Apr 14, 2026Updated 2 weeks ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Research simulation toolkit for federated learning☆13Nov 7, 2020Updated 5 years ago
- "Valgrind Client Request" interface for Rust☆19Jan 30, 2026Updated 3 months 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.
- MOVED TO CODEBERG☆48Jun 28, 2025Updated 10 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 5 months ago
- REST/HTTP to XRAP gateway☆27Aug 25, 2016Updated 9 years ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- Easy to use, modern symmetric encryption on the command line☆10May 26, 2016Updated 9 years ago
- Macros to erase scope information from tokens☆26Dec 20, 2025Updated 4 months 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
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- 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.
- 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 4 months ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Pure Pony Kafka client☆59Apr 2, 2019Updated 7 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 9 months 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 parser for ANSI C, in Lean4.☆24Nov 16, 2023Updated 2 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 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.
- ☆11Nov 19, 2023Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- An implementation of memcpy for amd64 with clang/gcc☆14Feb 7, 2022Updated 4 years ago
- Functional data structures for Pony☆44Apr 28, 2017Updated 9 years ago
- An experimental optimizing compiler for Bril using egglog☆88Apr 20, 2026Updated last week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆504Updated this week
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- My Attempt at System Fω with Row-Polymorphism☆31Jul 4, 2021Updated 4 years ago
- 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.
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- Pronounced (influxdb eye-ox), short for iron oxide. This is the new core of InfluxDB written in Rust on top of Apache Arrow.☆15Jun 18, 2024Updated last year
- Visualize the output of the unix lsof to see which files are open by which processes☆15Mar 2, 2025Updated last year
- MimIR is my Intermediate Representation☆117Updated this week
- Asynchronous signal handling☆25Apr 13, 2026Updated 2 weeks ago
- Code coverage processor for sbt☆32Feb 21, 2011Updated 15 years ago
- A thin entity layer around Sled using Bincode for serialization☆12Mar 14, 2023Updated 3 years ago