nondeterministic

There are 0 repository under nondeterministic topic.

• mgrang / non-determinism

  Fighting Non-determinism in C++ Compilers

  llvmnondeterministicnon-determinismcompilercppcompilerscpp11clangposters
  15

• hassansalehe / TaskSanitizer

  A tool for detecting determinacy races in OpenMP task applications.

  nondeterministicraceracesopenmpllvmclangcppthreadsanitizer-support
  Language:C++ 7

• MaciejWanat / AutomataDeterminizer

  Program that converts nondeterministic fininte automata into deterministic one

  automatonnondeterministicdeterministic-finite-automatadeterminizer
  Language:Python 1

• ManuelVs / Sharade

  TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.

  haskellcall-time-choicerun-time-choicefunctional-programmingfunctional-languagenondeterministichigher-orderlazy-evaluation
  Language:Haskell 1

• YeonwooSung / TuringMachines

  A turing machine for both deterministic and nondeterministic way

  turing-machineturing-machine-simulatornondeterministicdeterministicnondeterministic-finite-automatadeterministic-finite-automata
  Language:C 1

• ameek / nondeterministic_-algorithm-_-performance

  With java developed 8 queen problem sollution and compared different nondeterministic algorithms performance

  8queenaialgorithmsjavanondeterministicnqueens-problemnqueens-solution
  Language:Java 0

• magnostherobot / machines

  Turing Machine Emulator written in Nim

  nondeterministicturing-machineturing-machine-simulator
  Language:Nim 0

• ManuelVs / explicit-sharing

  Explicit Sharing of Monadic Effects

  haskellnondeterministiclibrarycurry
  Language:Haskell 0

• baioc / wolkenkuro

  Puzzle-solving through a generic backtracking scheme

  puzzle-solverbacktrackingnondeterministicskyscraperskakuro
  Language:Scheme