Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: pldi
probsys/sppl
Probabilistic programming system for fast and exact symbolic inference
Language: Python - Size: 6.22 MB - Last synced: 16 days ago - Pushed: about 1 month ago - Stars: 74 - Forks: 8
ctuning/ck-clsmith
Collective Knowledge extension to crowdsource bug detection in OpenCL compilers using CLSmith tool from Imperial College London
Language: C - Size: 11 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 26 - Forks: 3
kaist-cp/view-hw
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Language: Coq - Size: 1.41 MB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0
SophieBosio/boa
Parser and interpreter for a subset of Python.
Language: Haskell - Size: 26.3 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
fbenz/FpDebug
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
Language: Shell - Size: 20.9 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 19 - Forks: 10
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
Size: 710 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0