Search Results for "macros linux"
Sort By:
Showing 2 open source projects for "macros linux"
View related business solutions-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
BackBox seamlessly integrates with network monitoring and NetOps platforms and automates configuration backups, restores, and change detection. BackBox also provides before and after config diffs for change management, and automated remediation of discovered network security issues.
-
1
Natural Deduction Planner
Assistant for generating Natural Deduction style proofs
This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros. -
2
NOTE: This project is not actively maintained at the moment. If you'd like to continue developing Jacareto, please send an e-mail to: wikipedian@users.sf.net Jacareto is a capture & replay tool for programs written in Java. You can capture actions on applications and replay them later on (like macros). Jacareto can be used for GUI tests, the creation of animated demonstrations, and analyses of user behavior.
- Previous
- You're on page 1
- Next