Search Results for "macros linux"
Sort By:
Showing 2 open source projects for "macros linux"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Red Hat Ansible Automation Platform on Microsoft AzureDeploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
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