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 journal paper, please go ahead contact…
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 journal paper, please go ahead contact…