Alessandro Cheli

Let's say some of my coworkers use Google and don't have any Twitter account or viceversa, I shouldn't have to register an API key in the app 😄. On a...

https://github.com/ocaml/Zarith

https://github.com/owlbarn/owl

https://github.com/inria-parkas/sundialsml Those may be 3 useful libraries

The owl library is probably the best scientific computing library available for OCaml. https://ocaml.xyz/book

See: https://ocaml.xyz/owl/owl-base/Owl_maths_root/index.html

Check this out! From "Mathematically Informed Linear Algebra Codes Through Term Rewriting" http://people.cs.uchicago.edu/~mrocklin/storage/dissertation.pdf > Later work in this dissertation will require inference over mathematical terms. We discuss this > element...

@philzook58 made a cool equality-aware prolog. we may start from there https://www.philipzucker.com/egglog-checkpoint/ https://www.philipzucker.com/egglog2-monic/

See https://juliasymbolics.github.io/Metatheory.jl/dev/egraphs/#EGraph-Analyses

We could have `@rule a a::(nonzero && noninfinite)/a => a` Where ```julia nonzero(x::Symbolic) = getmetadata(x, SignAnalysis) != 0 ``` and ```julia nonzero(g::EGraph, x::EClass) = let sign Metatheory.getdata(x, SignAnalysis, nothing) sign...