From 5910efaee4bcc6e3da87a2fdbd300e040e855404 Mon Sep 17 00:00:00 2001 From: Klas Segeljakt Date: Fri, 8 Mar 2024 10:44:09 +0100 Subject: [PATCH 1/2] Update README.md Add `lyneate`, `lerr` and `egglog` --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 38f5bd7..3f715f0 100644 --- a/README.md +++ b/README.md @@ -110,6 +110,8 @@ - [`text-size`](https://crates.io/crates/text_size) A library that provides newtype wrappers for `u32` and `(u32, u32)` for use as text offsets - [`ariadne`](https://crates.io/crates/ariadne) A fancy diagnostics & reporting crate - [`miette`](https://crates.io/crates/miette) Fancy diagnostic reporting library and protocol for us mere mortals who aren't compiler hackers +- [`lyneate`](https://crates.io/crates/lyneate) A crate for beautiful code underlining and error reporting +- [`lerr`](https://crates.io/crates/lerr) extremely barebones error diagnostics for lang-dev ## Language server protocol @@ -319,8 +321,9 @@ ## Peephole Optimization -- [`egg`](https://crates.io/crates/egg) Egg is a flexible, high-performance e-graph library +- [`egg`](https://crates.io/crates/egg) Egg is a flexible, high-performance e-graph library - [`peepmatic`](https://crates.io/crates/peepmatic) A DSL for peephole optimizations and compiler for generating peephole optimizers from them +- [`egglog`](https://crates.io/crates/egglog) Egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular Rust Library egg. ## Garbage Collection From 389380062d76f76062fea63f7c5e0823e55a0cba Mon Sep 17 00:00:00 2001 From: Klas Segeljakt Date: Fri, 8 Mar 2024 11:04:31 +0100 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3f715f0..9a42146 100644 --- a/README.md +++ b/README.md @@ -323,7 +323,7 @@ - [`egg`](https://crates.io/crates/egg) Egg is a flexible, high-performance e-graph library - [`peepmatic`](https://crates.io/crates/peepmatic) A DSL for peephole optimizations and compiler for generating peephole optimizers from them -- [`egglog`](https://crates.io/crates/egglog) Egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular Rust Library egg. +- [`egglog`](https://crates.io/crates/egglog) Egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It provides an alternative approach to the popular Rust Library egg. ## Garbage Collection