Workcraft is a free-to-use framework for interpreted graph models with an elaborate cross-platform GUI for modeling, established tools for verification and synthesis, and the ability to model with Petri nets (e.g. Dining Philosophers). It provides analysis and verification of communication fabrics.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Scapple is a note taking program designed for Mac.
Create, edit, and print text documents on your Mac.
Typora is a free to use minimal markdown editor for Mac.
Convert your PDF documents to various files formats.
It helps you write beautiful documentation, notes using plain text.
Write and process documents with mathematical content.
Comments