A term rewriting system for experimental programming language development.
☆53Sep 18, 2026Updated this 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
- A programming language with region-based memory management☆35Updated this week
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 3 years ago
- Typed effect handlers for C++20 using coroutines.☆18Updated this week
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Macros to erase scope information from tokens☆26Jun 24, 2026Updated 2 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 …☆21Mar 10, 2024Updated 2 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
- A tiny lazy objective functional language☆21Sep 12, 2024Updated 2 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆79Jun 24, 2026Updated 2 months ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Research programming language for concurrent ownership☆3,726Feb 28, 2026Updated 6 months 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.
- 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
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago
- ☆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 5 months ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- 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.
- An experimental optimizing compiler for Bril using egglog☆102Sep 1, 2026Updated 2 weeks ago
- An implementation of Piet's text interface using cosmic-text☆15Apr 23, 2024Updated 2 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- Visualize the output of the unix lsof to see which files are open by which processes☆15Mar 2, 2025Updated last year
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.☆28Sep 11, 2026Updated last week
- A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.☆13Sep 10, 2020Updated 6 years ago
- ☆13Nov 10, 2024Updated last year
- Static Checker for Concurrency Errors in C#☆16Dec 11, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- List POSIX signal information for all processes on Linux☆16May 7, 2025Updated last year
- Example of an ELF parser to learn about the ELF format☆11Oct 6, 2024Updated last year
- Book about EO programming language☆14Sep 2, 2025Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 6 months ago
- Hierarchical sparse bitset☆66Sep 6, 2026Updated last week
- Windows taskbar utility - regularly checks twitch.tv channels and when they go live you get a notification.☆11Jun 18, 2022Updated 4 years ago
- Easy and flexible way of encoding and decoding data into either strings or bytes.☆11Dec 17, 2025Updated 9 months ago