15 skills found
composewell / StreamlyHigh performance, concurrent functional programming abstractions
Yifan-Song793 / GoodBadGreedyThe Good, The Bad, and The Greedy: Evaluation of LLMs Should Not Ignore Non-Determinism
0novanta / Nondeterministic Turing Machine SimulatorThis program implements a nondeterministic Turing machine simulator in C.
vellvm / CtreesAn itree-like data-structure to additionally support internal non-determinism
ligurio / Semgrep Rulessemgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
mgrang / Non DeterminismFighting Non-determinism in C++ Compilers
whitemech / FOND4LTLfFOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
netarch / NeoA network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
pwaller / CartographerQuickly find non-determinism bugs caused by loops over maps
sebfisch / Level MonadNon-Determinism Monad for Level-Wise Search
The-AI-Alliance / AI Application TestingExploration of how to ensure robust, repeatable developer tests (e.g., unit tests) when generative AI introduces non-determinism.
MichaelWehar / P Vs NP CommunityThis 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.
andyjost / SpriteThe Sprite Curry Compiler
TauferLab / ANACIN XThis project advances the reproducibility study of HPC applications by proposing an open-source modular framework for automatic measurement, analysis, and visualization of non-determinism and root causes of non-determinism in MPI applications.
wenkokke / Paper Races In Classical Linear Logicwherein I describe deadlock and race-free session types with non-determinism
