Viewing profile — riza_on

I've been a happy user of ledger-cli.org for 2 years now, simple plain text.

I have been playing with Souffle for my datalog-based static analysis project https://souffle-lang.github.io/docs/home/

The authors are still collecting more stories for their longer journal version of the paper. If your institution has 10+ stories to contribute and are interested to be part of the …