Fighting Non-determinism in C++ Compilers
-
Updated
Mar 13, 2019
Fighting Non-determinism in C++ Compilers
A tool for detecting determinacy races in OpenMP task applications.
A specialized tool that generates highly obfuscated BIP custom derivation paths and passphrases. It uses layered noise (emojis, multi-script characters, and controlled entropy) to create an additional hidden (plausible deniability) protection layer in case a mnemonic seed is exposed
Program that converts nondeterministic fininte automata into deterministic one
TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
A turing machine for both deterministic and nondeterministic way
Puzzle-solving through a generic backtracking scheme
Explicit Sharing of Monadic Effects
Turing Machine Emulator written in Nim
With java developed 8 queen problem sollution and compared different nondeterministic algorithms performance
To associate your repository with the nondeterministic topic, visit your repo's landing page and select "manage topics."