microsoft / Resource-Static-AnalysisLinks
The Resource Static Analysis enables companies and localization suppliers to quickly add scalable validation checks to help ensure quality doesn't suffer as software and content is localized and data is exchanged between internal workflows and even between companies. The analysis engine is already in use by multiple teams at Microsoft, including…
☆19Updated 2 years ago
Alternatives and similar repositories for Resource-Static-Analysis
Users that are interested in Resource-Static-Analysis are comparing it to the libraries listed below
Sorting:
- Software Language Processing Suite☆47Updated 3 years ago
- Translate any ABNF grammar to ANTLR☆15Updated 5 years ago
- Unofficial Python bindings to libclang☆26Updated 5 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- monadic parser combinator library for C#☆61Updated 5 years ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- Nothing to see here. Move along...☆53Updated 10 years ago
- x86 intrinsics for rust☆40Updated 7 years ago
- C++/CLI compiler based on Clang.☆52Updated 11 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of obj…☆81Updated 3 years ago
- A Working Python AST☆11Updated 6 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- The WTF-8 encoding specification☆115Updated last month
- Static analysis framework for .NET programs.☆28Updated 4 years ago
- 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…☆97Updated 2 years ago
- MPIR for .NET☆18Updated 8 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆16Updated last year
- Common Compiler Infrastructure☆104Updated 6 years ago
- A C# code generator using Roslyn, extracted from Wasabi v3.1.0. MIT licensed.☆46Updated 10 years ago
- ☆26Updated last year
- Toolkit for grammars☆92Updated last month
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- The Daedalus data description language☆82Updated 6 months ago
- Numerical snippets & tests☆12Updated 11 months ago
- Convert contiguous ranges of Unicode codepoints to UTF-8 byte ranges.☆43Updated 3 years ago
- Updated version of LocBaml tool from Microsoft☆13Updated 7 years ago
- Simple grammar-based test case generator☆32Updated this week
- ScalableJoins☆16Updated 10 years ago