โ† Back to repositories
runtimeverification

runtimeverification/simbolik-vscode

github.com/runtimeverification/simbolik-vscode โ†—
TypeScript

Stars

โญ 48

PRs Reviewed

9

Bot Comments

54

Primary Language

TypeScript

Merge Rate

77.8%

Avg Time to Merge

6d

Avg Additions

+513

Avg Deletions

-404

Avg Files Changed

8

AI Review Products#

AI code review products active on this repository.