Clazel

by @atiernanberry

I'm working on Clazel, an experiment in using AI to make a formally verified web browser in Rust. So far it’s a Lynx-style text browser with sandboxed rendering, HTML parsing and link navigation, but I want to see how far I can take it https://github.com/clazel/browser