Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / praise106-research / Plinko-KLEE-Clang
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/praise106-research%2FPlinko-KLEE-Clang
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: LLVM
Repo Size: 75.1 MB
Dependencies: pending
Created: over 3 years ago
Updated: 4 months ago
Last pushed: 11 months ago
Last synced: 4 months ago
Topics: haskell, klee, llvm, llvm-clang, probabilistic-programming, symbolic-execution, verification