Monadic effects and equational reasonig in Coq
-
Updated
Aug 13, 2024 - Coq
Monadic effects and equational reasonig in Coq
A library for testing concurrent C++ code and deterministically reproducing bugs.
A fast and dirty checker based on libclang which detects non-deterministic iteration
A Python 3 library for nondeterministic algorithms
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.
Monad instances for a rose-tree-like data structure used for nondeterministic computations.
The infinite unnecessary expansion, Negative Zero
Add a description, image, and links to the nondeterminism topic page so that developers can more easily learn about it.
To associate your repository with the nondeterminism topic, visit your repo's landing page and select "manage topics."