diff options
| author | Bryan Newbold <bnewbold@archive.org> | 2022-06-24 19:49:48 -0700 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@archive.org> | 2022-06-24 19:50:42 -0700 |
| commit | 7335d44275f9ed1df03be14af5bb550e66602ccc (patch) | |
| tree | 4afd68eac8491a8268eaf38fafc10e39a703d5eb /2022 | |
| parent | 1f335d0e893b65ff96729fb10471b24670209a8c (diff) | |
| download | modelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.tar.gz modelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.zip | |
Diffstat (limited to '2022')
| -rw-r--r-- | 2022/03/refs.md | 18 | ||||
| -rw-r--r-- | 2022/04/refs.txt | 6 | ||||
| -rw-r--r-- | 2022/06/notes.txt | 3 |
3 files changed, 27 insertions, 0 deletions
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 + diff --git a/2022/04/refs.txt b/2022/04/refs.txt new file mode 100644 index 0000000..05d6df2 --- /dev/null +++ b/2022/04/refs.txt @@ -0,0 +1,6 @@ + +https://fredrikj.net/blog/2022/04/things-i-would-like-to-see-in-a-computer-algebra-system/ + +https://fungrim.org/ + +institute: https://risc.jku.at/ diff --git a/2022/06/notes.txt b/2022/06/notes.txt new file mode 100644 index 0000000..8c2fd63 --- /dev/null +++ b/2022/06/notes.txt @@ -0,0 +1,3 @@ + +https://en.wikipedia.org/wiki/Ostwald_ripening +related to ice cream (!) |