riza_on

3 ms·

1. 1.▲
   by riza_on 4y ago

   I've been a happy user of ledger-cli.org for 2 years now, simple plain text.
2. 2.▲
   by riza_on 8y ago

   I have been playing with Souffle for my datalog-based static analysis project https://souffle-lang.github.io/docs/home/
3. 3.▲
   by riza_on 9y ago

   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 journal paper, please go ahead contact the first two authors