runtimeverification

runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

Stars: 224
Forks: 43
Open beginner issues: 0
Indexed issues: 139

Dominant language: Haskell
License: BSD-3-Clause
Last GitHub push: Jul 7, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

0 beginner-friendly issues open

No issues to show. Show everything we have indexed

A short digest of beginner-friendly GitHub issues.