Skip to content
View AleGit's full-sized avatar

Block or report AleGit

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

Popular repositories Loading

  1. CYices CYices Public

    Swift System Module to link against yices library.

    Swift

  2. CTptpParsing CTptpParsing Public

    C data structures and functions, flex and yacc files for tptp problem file parsing

    C

  3. CZ3Api CZ3Api Public

    Swift system module to link against the Z3 library.

    Swift

  4. ISO ISO Public

    ISO allows free-of-charge use of its country, currency and language codes from ISO 3166, ISO 4217 and ISO 639, respectively.