Xazax-hun/csa-testbench
Toolset to do differential testing on the Clang Static Analyzer
Repositories
Xazax-hun/swift
The Swift Programming Language
Xazax-hun/swift-syntax
A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code.
Xazax-hun/domains-oxide
Toy language to help experiment with numerical domains for abstract interpretation
Xazax-hun/CppQuery
A query language based on Clang's ASTMatcher library, to provide the programmers with a more efficient way to navigate in huge codebases than simple text searches.
Xazax-hun/swift-org-website
Swift.org website
Xazax-hun/cpp-docs
C++ Documentation
Xazax-hun/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Xazax-hun/isopapers
Xazax-hun/mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
Xazax-hun/domains
Toy language to help experiment with numerical domains for abstract interpretation
Xazax-hun/slox
An implementation of Lox (from crafting interpreters) using sum types
Xazax-hun/conceptanalysis
Playing with formal concept analysis
Xazax-hun/SPARTA
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
Xazax-hun/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Xazax-hun/codechecker
CodeChecker is a defect database and viewer extension for Clang Static Analyzer
Xazax-hun/LLVMSummerSchool17
Exercises for LLVM Summer School 2017
Xazax-hun/rust
a safe, concurrent, practical language