A collection of free educational resources related to concepts, languages, and tools I’ve used over the years.
AADL
- In the Eclipse OSATE Help section, there is a very good description of the AADL Language. It is the first place I look to solve my questions, it completely discusses the semantics and syntax of the language elements.
- This cookbook is also great for industrial engineers wanting to use AADL.
Eclipse CAPRA
- The Help Contents, which are surprisingly not in the Eclipse Help Menu.
- This obscure documentation in the git repository.
Eclipse Modeling Framework (EMF)
- This tutorial is the starting point
Lark
- This simplest tutorial about Lark that I keep coming back to.
LaTeX
- doi2bib.org to generate BibTex from DOIs.
Modelica
- This set of tutorials is fantastic.
- You can find an introduction to OMEdit in this assignment description.
- Hans’ presentation is also an excellent starting point.
Nix/OS
- Understanding running flakes from this blog post.
- Using different versions of packages (unstable / stable / git-commit hash) with flakes from this tutorial.
Papyrus – SysML
- These videos are a good introduction to the use of Papyrus.
- This tutorial is also quiet good.
- You may use this guide, however it is not specific to Papyrus or general enough for SysML since it is specific to a tool, but still very useful.
Python
- The official guide for packaging.
- This answer on Reddit describes how to reference files in the same package.
Prolog
- This free online book more focused on Expert Systems rather than just Prolog.
- This free online book from the same author, but really about Prolog.
- The essence of Prolog in a 5-min read by the same author.
- This online Prolog environment, SWISH.
Yubikey
- FIDO2-backed SSH wih Yubikey.
- Using git with FIDO2-backed SSH.
- I have not been able to make Yubikey work with my Android phone, over both, USB and NFC. However, it works in the Yubikey playground, indicating that its a problem with the apps (not supporting Yubikey SDK) and not Android.