Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: nondeterminism
affeldt-aist/monae
Monadic effects and equational reasonig in Coq
Language: Coq - Size: 2.57 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 67 - Forks: 10
microsoft/cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
Language: C++ - Size: 31.3 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 37 - Forks: 6
777388/Dictillion
The infinite unnecessary expansion, Negative Zero
Language: Python - Size: 9.77 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
Sintrastes/monad-tree
Monad instances for a rose-tree-like data structure used for nondeterministic computations.
Language: Haskell - Size: 21.5 KB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
aeporreca/nondeterminism
A Python 3 library for nondeterministic algorithms
Language: Python - Size: 19.5 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1
yugr/FlakyIterators
A fast and dirty checker based on libclang which detects non-deterministic iteration
Language: C++ - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 8 - Forks: 1
MorganBergen/theory-of-computation
Finite state automata and regular expressions. Context-free grammars and pushdown automata. Turing machines. Models of computable functions and undecidable problems. The course emphasis is on the theory of computability, especially on showing limits of computation. May be taken for graduate credit.
Language: C++ - Size: 43.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1