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.
Discrete-Event System Specification (DEVS)
Eclipse IDE
- This article on extending the Eclipse IDE with plugins.
Eclipse Modeling Framework (EMF)
- This tutorial is the starting point
Acceleo (Code generator)
- The User Guide.
- This introduction.
CAPRA (Traceability)
- The Help Contents, which are surprisingly not in the Eclipse Help Menu.
- This obscure documentation in the git repository.
Papyrus (SysML)
- These video presentations 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.
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.
Nix/OS
- Understanding running flakes from this blog post.
- Using different versions of packages (unstable / stable / git-commit hash) with flakes from this tutorial.
Open/Modelica
- This set of tutorials is fantastic.
- You can find an introduction to OMEdit in this assignment description.
- This video presentation by Hans is also an excellent starting point.
Python
- The official guide for packaging.
- This answer on Reddit describes how to reference files in the same package.
Lark (Parser Generator)
- This simplest tutorial about Lark that I keep coming back to.
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 this 5-min read by the same author.
- The 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.
Systems Modelling Language (SysMLv2)
- This free online live book by Gerd.
Verilog HDL
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.