A collection of free educational resources related to concepts, languages, and tools I’ve used over the years.
Architecture Analysis and Design Language (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 Acceleo (EMF -> Code generator)
- The User Guide.
- This introduction.
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.
- This discussion explaining how to add an SVG image to LaTeX.
- This blog post explaining use of the subfigure environment.
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.
Unified Modeling Language (UML)
- This website with examples and documentation. I find the organization not very transparent which makes it difficult to find the information that you want, but I guess that just reflects the quality of the standard.
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.