There are 0 repository under non-determinism topic.
High performance, concurrent functional programming abstractions
This program implements a nondeterministic Turing machine simulator in C.
Fighting Non-determinism in C++ Compilers
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
Quickly find non-determinism bugs caused by loops over maps
This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.
wherein I describe deadlock and race-free session types with non-determinism
Prototype that analyses JavaScript malware samples and detects those that exhibit non-deterministic behavior in order to evade detection.