Skip to content
#

automatic-software

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 HTML 4 C++ 1

mkhaled87 / pFaces-OmegaThreads

Star 12

OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game res…

formal-methods code-generation dynamical-systems computer-aided-design interner-of-things mealy-machine cyber-physical-systems mission-planning parity-game correct-by-construction formally-verified parity-automaton ltl-formula pfaces symbolic-control reactive-synt ltl-specifications synthesized-controller automatic-software symbolic-model
  • Updated Nov 20, 2025
  • C++

InsaMANE / Automatic-Mouse-and-Keyboard-6.6.1.2

Star 0

Automatic Mouse 2026 | Latest Installer Build | Full Version Pro | Premium Activation Tool | Pre- Setup | Updated Edition | Get Desktop Windows 10/11 PC x64 | Direct Genuine Original

automatic automatic-download automatic-install automatic-software automatic-mouse automatic-key automatic-trial automatic-mouse-key automatic-mouse-install automatic-mouse-download automatic-mouse-trial automatic-mouse-software
  • Updated Jun 22, 2026
  • HTML

ANONYMUSisHERE / Email-Automation-Pro-Toolkit

Star 0

Automatic Email Processor 2026 Ultimate Automation Toolkit

automatic automatic-download automatic-install automatic-software automatic-email-processor automatic-email-processor-key automatic-email-processor-install automatic-email-processor-download automatic-email-processor-trial automatic-email-processor-software automatic-key automatic-trial automatic-patch automatic-email-processor-patch
  • Updated Jun 22, 2026
  • HTML

kisamanudg201 / Auto-Call-Logger-Enhancement-Suite

Star 0

Automatic Call Recorder 28.1 Pro Unlocked for 2026: Latest Recording Tool

automatic automatic-download automatic-install automatic-software automatic-call-recorder automatic-key automatic-trial automatic-call-recorder-key automatic-call-recorder-install automatic-call-recorder-download automatic-call-recorder-trial automatic-call-recorder-software automatic-call-recorder-patch automatic-patch
  • Updated Jun 22, 2026
  • HTML

Pruthvi-5 / auto-mouse-keyboard-tool

Star 0

Automated Mouse & Keyboard 6.6.1.2 Full Suite 2026 – Zero Input Macro Tool

automatic automatic-download automatic-install automatic-software automatic-key automatic-trial automatic-patch automatic-mouse-and-keyboard-6-6-1-2 automatic-mouse-and-keyboard-6-6-1-2-key automatic-mouse-and-keyboard-6-6-1-2-trial automatic-mouse-and-keyboard-6-6-1-2-install automatic-mouse-and-keyboard-6-6-1-2-download automatic-mouse-and-keyboard-6-6-1-2-software automatic-mouse-and-keyboard-6-6-1-2-patch
  • Updated Jun 22, 2026
  • HTML

Improve this page

Add a description, image, and links to the automatic-software topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automatic-software topic, visit your repo's landing page and select "manage topics."

Learn more