progge.rs VS ariadne

Just tried to solve the "a farmer needs to move his fox, chicken, and corn across a river" riddle using the symbolic execution engine, and it worked! See here: https://github.com/skius/progge.rs/blob/master/analyzer-examples/fun/fox_chicken_corn.progge

I've been working on my program analyzer Proggers (see the previous post), and recently added symbolic execution into the mix - I thought some people here might find it interesting, or have other ideas!

Hi guys! I'm happy to finally share my project of the past few months with this community! Proggers is intended as a playground for me/other interested people to play around with and learn about various static analyses.

To complement, Nushell's error rendering is done with miette (whose name is a reference to this cute meme AFAIK). There is also another notable Rust error rendering lib: ariadne. So you can get the same beautiful error rendering in your own projects :D

Hey gophers, I'm looking for something like this https://github.com/zesterer/ariadne for my compiler project, can u suggest any pkgs?

I'm looking for something similar to this rust crate https://github.com/zesterer/ariadne, but I can't find anything. I'm just starting to play with go and I really don't know where to look.

Because of that, we made a new modern error message system for Otterkit, which should still display useful information to experienced developers, while also being easy to read and understand for new developers. This new format was inspired by Rust's error messages, and both the Errata NuGet package and Ariadne Rust crate.

i really like chumsky for parsing (and it works very well with it's sister crate ariadne)

I've also been looking into https://github.com/zesterer/ariadne as I'm building a static compiler using Jinja and want to return nicer messages when there is a parsing issue.

If you’d like to see some examples of great error messages written by a language with a parser combinator, I recommend you check out tao, which is parsed via chumsky, and provides rust-like error messages with the help of ariadne! I have been fiddling with writing my own language for a while now, and after trying out the alternatives, I found Chumsky to be great to work with, and can not recommend it enough. There are also great examples that you can find in the repo as well!

The major thing I'm going to do is support nicer error messages like in https://github.com/zesterer/ariadne. Then add support for language server (LSP) and shoe them interactively on editors.