GitHub topics: nondeterministic
magnostherobot/machines
Turing Machine Emulator written in Nim
Language: Nim - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
hassansalehe/TaskSanitizer
A tool for detecting determinacy races in OpenMP task applications.
Language: C++ - Size: 7.24 MB - Last synced at: 11 months ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 3
baioc/wolkenkuro Fork of robsonzagrejr/kakuro_wolkenkratzer
Puzzle-solving through a generic backtracking scheme
Language: Scheme - Size: 222 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
mgrang/non-determinism
Fighting Non-determinism in C++ Compilers
Size: 940 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 0
YeonwooSung/TuringMachines
A turing machine for both deterministic and nondeterministic way
Language: C - Size: 8.87 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
MaciejWanat/AutomataDeterminizer
Program that converts nondeterministic fininte automata into deterministic one
Language: Python - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
ameek/nondeterministic_-algorithm-_-performance
With java developed 8 queen problem sollution and compared different nondeterministic algorithms performance
Language: Java - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
