Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with language-semantics
A curated list of projects in awesome lists tagged with language-semantics .
https://github.com/ltcmelo/psychec
A compiler frontend for the C programming language
c c-language clanguage compiler compiler-frontend language-semantics parser parsing parsing-library program-analysis static-analysis type-inference
Last synced: 21 Dec 2024
https://github.com/sdasgup3/learning-k
K Learning Experience
formal-semantics k k-framework kframework language-semantics rewrite-rules semantics
Last synced: 23 Dec 2024
https://github.com/sdasgup3/pldi20-artifact-evaluation
Artifact Evaluation, PLDI'20
compiler-optimization detecting-bugs evaluation formal-semantics graph-matching language-semantics llvm-ir mcsema pldi reproducing-bugs reverse-engineering symbolic-execution-engine symbolic-summaries translation-validation validation verification-conditions verification-queries virtualbox x86-64
Last synced: 23 Dec 2024