A term rewriting system for experimental programming language development.
☆54Jun 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:
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- A TCP networking library for Pony☆21Jun 22, 2026Updated last week
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years 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.
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 3 years ago
- MOVED TO CODEBERG☆48Jun 28, 2025Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 7 months ago
- "Valgrind Client Request" interface for Rust☆22May 19, 2026Updated last month
- DID Method for the Confidential Consortium Framework (CCF)☆23Sep 4, 2023Updated 2 years ago
- REST/HTTP to XRAP gateway☆27Aug 25, 2016Updated 9 years ago
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- A Ruby RabbitMQ client library based on FFI bindings for librabbitmq.☆10Oct 19, 2017Updated 8 years ago
- Easy to use, modern symmetric encryption on the command line☆10May 26, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Test and benchmark repository for Z3.☆27Updated this week
- Simple 3-way sync between a remote database, memory, and disk using PouchDB☆10Jun 20, 2016Updated 10 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- Job Queue based on SQLite☆47Jul 23, 2024Updated last year
- A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.☆27Updated this week
- 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
- A toy ML-like programming language☆16Sep 2, 2012Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 14 years ago
- A small minecraft server that aims to do the minimum required for a basic minecraft server.☆15Sep 7, 2014Updated 11 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Sync distributed sets using bloom filters☆26Nov 4, 2021Updated 4 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 11 months ago
- Self-hosting compiler for the Grace programming language☆43Jun 5, 2024Updated 2 years ago
- Pure Pony Kafka client☆60Apr 2, 2019Updated 7 years 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.
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- A parser for ANSI C, in Lean4.☆24Nov 16, 2023Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 7 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- AOT compiled object oriented programming language☆48Apr 2, 2024Updated 2 years ago