Fighting Non-determinism in C++ Compilers
-
Updated
Mar 13, 2019
#
nondeterministic
Here are 10 public repositories matching this topic...
A tool for detecting determinacy races in OpenMP task applications.
-
Updated
Mar 26, 2022 - C++
Program that converts nondeterministic fininte automata into deterministic one
-
Updated
Dec 19, 2017 - Python
A turing machine for both deterministic and nondeterministic way
turing-machine deterministic turing-machine-simulator deterministic-finite-automata nondeterministic nondeterministic-finite-automata
-
Updated
Mar 20, 2019 - C
TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
haskell functional-programming lazy-evaluation functional-language higher-order nondeterministic call-time-choice run-time-choice
-
Updated
Jun 19, 2019 - Haskell
Turing Machine Emulator written in Nim
-
Updated
Jul 5, 2018 - Nim
Explicit Sharing of Monadic Effects
-
Updated
Mar 8, 2019 - Haskell
Puzzle-solving through a generic backtracking scheme
-
Updated
Jan 29, 2020 - Scheme
With java developed 8 queen problem sollution and compared different nondeterministic algorithms performance
-
Updated
Aug 18, 2018 - Java
Add this topic to your repo
To associate your repository with the nondeterministic topic, visit your repo's landing page and select "manage topics."