non-determinism

There are 0 repository under non-determinism topic.

composewell / streamly
High performance, concurrent functional programming abstractions
concurrency streaming reactive-programming frp haskell non-determinism logic-programming stream-fusion modular arrays folds unicode filesystem network parsers pipes unfolds loops dataflow async
Language:Haskell 847
0novanta / nondeterministic-turing-machine-simulator
This program implements a nondeterministic Turing machine simulator in C.
c turing-machine-simulator non-determinism
Language:C 26
mgrang / non-determinism
Fighting Non-determinism in C++ Compilers
llvm nondeterministic non-determinism compiler cpp compilers cpp11 clang posters
14
ligurio / semgrep-rules
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
code-quality error-handling flakiness flaky-tests golang lua non-determinism python semgrep semgrep-rules static-analysis
Language:Lua 12
whitemech / FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
ltlf pltlf fond planning non-determinism pddl dfa
Language:Python 12
pwaller / cartographer
Quickly find non-determinism bugs caused by loops over maps
go non-determinism static-analysis
Language:Go 9
andyjost / Sprite
The Sprite Curry Compiler
functional-programming logic-programming non-determinism python rewriting-system functional-logic-programming curry
Language:Python 6
MichaelWehar / P-vs-NP-Community
This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.
complexity-theory p-vs-np polynomial-time non-determinism computational-complexity unsolved-problems millennium-problems
4
wenkokke / paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
paper type-system process-calculus races non-determinism
Language:Agda 3
mavroudisv / Non-determinismDetectorJS
Prototype that analyses JavaScript malware samples and detects those that exhibit non-deterministic behavior in order to evade detection.
malware malware-analysis malware-detection malware-research randomness-testing non-determinism javascript
Language:JavaScript 2
dj-d / VoLFDS
Verification of Lock-Free Data Structure
bounded-model-checking cbmc data-structures lazy-cseq lock-free lock-free-queue non-determinism
Language:Python