Skip to content
View Xazax-hun's full-sized avatar
58 followers · 39 following

Block or report Xazax-hun

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • domains-oxide Public

    Toy language to help experiment with numerical domains for abstract interpretation

    Rust 2 Apache License 2.0 Updated Feb 20, 2025

  • llvm-project Public

    Forked from llvm/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…

    C++ Updated Feb 19, 2025

  • swift-org-website Public

    Forked from swiftlang/swift-org-website

    Swift.org website

    SCSS Other Updated Sep 2, 2024

  • souffle Public

    Forked from souffle-lang/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.

    C++ Universal Permissive License v1.0 Updated Dec 24, 2023

  • domains Public

    Toy language to help experiment with numerical domains for abstract interpretation

    C++ Apache License 2.0 Updated Dec 10, 2023

  • mimalloc Public

    Forked from microsoft/mimalloc

    mimalloc is a compact general purpose allocator with excellent performance.

    C MIT License Updated Apr 12, 2023

  • isopapers Public

    Makefile Updated Mar 1, 2023

  • csa-testbench Public

    Toolset to do differential testing on the Clang Static Analyzer

    Python 22 7 MIT License Updated Nov 21, 2022

  • slox Public

    An implementation of Lox (from crafting interpreters) using sum types

    C++ Apache License 2.0 Updated May 28, 2022

  • conceptanalysis Public

    Playing with formal concept analysis

    C++ Apache License 2.0 Updated Apr 8, 2022

  • cpp-docs Public

    Forked from MicrosoftDocs/cpp-docs

    C++ Documentation

    PowerShell 1 1 Creative Commons Attribution 4.0 International Updated Feb 23, 2022

  • SPARTA Public

    Forked from facebook/SPARTA

    SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

    C++ MIT License Updated Jun 20, 2021

  • codechecker Public

    Forked from Ericsson/codechecker

    CodeChecker is a defect database and viewer extension for Clang Static Analyzer

    Python 1 Other Updated Nov 22, 2019

  • LLVMSummerSchool17 Public

    Exercises for LLVM Summer School 2017

    2 1 Updated Jun 14, 2017

  • CppQuery Public

    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.

    C++ 11 BSD 2-Clause "Simplified" License Updated Nov 2, 2014

  • rust Public

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust Other Updated Jul 25, 2013