Skip to content
#

automatic-software

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 HTML 3 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++

alajebali / Automatic-Call-Recorder-28.1

Star 1

Automatic Call Recorder 2026 Setup | Latest Build Installer | Full Version Pro | Premium Loader Mod | Integrated Pre-Configured | Updated Release | Get Desktop Windows 10/11 PC | Direct Genuine Original x64

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

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 11, 2026
  • HTML

Jphthgvnvnhghn5rtrt5 / Automatic-Email-Processor-2026

Star 0

Automatic Email Processor 2026 | Full Setup Installer v2.5 | Professional Mail Handler | Premium Activation Unlock | Latest Build Updated | Efficient Inbox Management Tool | Get Desktop Windows 10/11 PC x64 | Direct Genuine Original

automatic automatic-download automatic-install automatic-software automatic-email-processor automatic-processor automatic-email-processor-key automatic-email-processor-install automatic-email-processor-download automatic-email-processor-trial automatic-email-processor-software automatic-processor-key automatic-processor-install automatic-processor-download automatic-processor-trial automatic-processor-software automatic-key automatic-trial
  • Updated Jun 11, 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