A term rewriting system for experimental programming language development.
☆49Feb 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for Trieste
Users that are interested in Trieste are comparing it to the libraries listed below
Sorting:
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- A small minecraft server that aims to do the minimum required for a basic minecraft server.☆16Sep 7, 2014Updated 11 years ago
- A TCP networking library for Pony☆15Feb 20, 2026Updated last week
- High Performance C++ data structures and utilities☆16Feb 7, 2026Updated 3 weeks ago
- "Valgrind Client Request" interface for Rust☆18Jan 30, 2026Updated last month
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated 11 months ago
- Experimenting with ergonomic dyn types☆29Dec 6, 2021Updated 4 years ago
- An extensible and pluggable Java bytecode analytical model☆13Nov 6, 2025Updated 3 months ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- Typed effect handlers for C++20 using coroutines.☆16Nov 25, 2025Updated 3 months ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 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 …☆19Mar 10, 2024Updated last year
- My Attempt at System Fω with Row-Polymorphism☆30Jul 4, 2021Updated 4 years ago
- Java class file parser for Zig☆25Feb 2, 2023Updated 3 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 4 months ago
- Self-hosting compiler for the Grace programming language☆42Jun 5, 2024Updated last year
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 6 months ago
- AOT compiled object oriented programming language☆48Apr 2, 2024Updated last year
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 3 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- A colorful C++ type name demangler (like c++filt, but fancier)☆21Aug 31, 2015Updated 10 years ago
- Minecraft Protocol Analysis as a Service☆45Jan 21, 2021Updated 5 years ago
- C based backend for rustc☆27Feb 26, 2025Updated last year
- Job Queue based on SQLite☆46Jul 23, 2024Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 6 years ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- A multi-platform file-configurable folder comparison tool with html-reporting written in rust☆12Feb 13, 2026Updated 2 weeks ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- MimIR is my Intermediate Representation☆89Feb 20, 2026Updated last week
- Compiler for a very restricted subset of OCaml☆25Jan 4, 2016Updated 10 years ago
- Real-time safe logger for C++ using lock free queues!☆31Jan 13, 2025Updated last year
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- inferno for the nintendo-ds, from mercurial☆27Aug 25, 2019Updated 6 years ago
- Dependent type checker using normalisation by evaluation☆274Sep 5, 2024Updated last year
- a JVM bytecode assembler☆34Apr 2, 2019Updated 6 years ago
- ☆38Oct 23, 2021Updated 4 years ago