non-determinism topic
List
non-determinism repositories
streamly
851
Stars
63
Forks
Watchers
High performance, concurrent functional programming abstractions
nondeterministic-turing-machine-simulator
26
Stars
5
Forks
Watchers
This program implements a nondeterministic Turing machine simulator in C.
FOND4LTLf
15
Stars
3
Forks
Watchers
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems