Alternatives and similar repositories for Resource-Static-Analysis

Users that are interested in Resource-Static-Analysis are comparing it to the libraries listed below

• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 4 years ago
• takahisa / parseq
  monadic parser combinator library for C#
  ☆61Updated 5 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 6 years ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 9 years ago
• emmatyping / clang
  Unofficial Python bindings to libclang
  ☆26Updated 6 years ago
• edgardozoppi / analysis-net
  Static analysis framework for .NET programs.
  ☆29Updated 5 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 5 years ago
• JoinPatterns / ScalableJoins
  ScalableJoins
  ☆16Updated 10 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• SimonSapin / wtf-8
  The WTF-8 encoding specification
  ☆114Updated 5 months ago
• microsoft / cci
  Common Compiler Infrastructure
  ☆106Updated 6 years ago
• rpinchbeck / Abnf-To-Antlr
  Translate any ABNF grammar to ANTLR
  ☆15Updated 6 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated 2 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• herumi / opti
  ☆30Updated 2 years ago
• ltcmelo / uaiso
  A multi-language parsing infrastructure with an unified AST
  ☆100Updated 8 years ago
• WojciechMula / simd-byte-lookup
  SIMDized check which bytes are in a set
  ☆28Updated 7 years ago
• EvaGL / llvm-gc
  Implementation of LLVM compiler plugin for garbage collection
  ☆21Updated 11 years ago
• ericsink / LSM
  Nothing to see here. Move along...
  ☆53Updated 10 years ago
• too4words / Call-Graph-Builder-DotNet
  create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode
  ☆13Updated 8 years ago
• chalcolith / ironmeta
  The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of obj…
  ☆82Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Updated 2 years ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆39Updated last week
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 11 years ago
• vallentin / vscode-bnf
  VSCode extension adding BNF and EBNF syntax highlighting
  ☆11Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• NETMF / Llvm.NET
  LLVM Bindings for .NET
  ☆42Updated 8 years ago