From 7335d44275f9ed1df03be14af5bb550e66602ccc Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Fri, 24 Jun 2022 19:49:48 -0700 Subject: commit many old notes --- 2022/03/refs.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 2022/03/refs.md (limited to '2022/03/refs.md') diff --git a/2022/03/refs.md b/2022/03/refs.md new file mode 100644 index 0000000..82d2024 --- /dev/null +++ b/2022/03/refs.md @@ -0,0 +1,18 @@ + +simple/basic rust CAS: +https://github.com/p-e-w/savage + +rust PEG parser library, with nice error recovery (aka, human-readable parser errors): +https://github.com/zesterer/chumsky +https://github.com/zesterer/ariadne + +e-graphs: +https://egraphs-good.github.io/ +https://www.philipzucker.com/egraph-1/ +https://www.philipzucker.com/egraph-2/ +https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ + +Julia CAS stuff: +https://github.com/JuliaSymbolics/Metatheory.jl +https://github.com/JuliaSymbolics/TermInterface.jl + -- cgit v1.2.3