High performance, concurrent functional programming abstractions

This program implements a nondeterministic Turing machine simulator in C.

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

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

The Sprite Curry Compiler

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.

This is a tool for finding non-deterministic functions in your pytorch code.

Verification of Lock-Free Data Structure