SimFin is a database with financial data such as Income Statements, Balance Sheets and Cash Flow Statements, along with a simple Python API for downloading and using the data. These tutorials show how ...
tla-pcal-mode is a mixed mode for editing TLA+ and PlusCal source files. It depends on polymode. It supports the p-syntax for PlusCal, not the c-syntax. A basic TLA+ auto-insert template is provided.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results