Skip to content
View arcadio's full-sized avatar
  • University of Oxford
  • UK

Block or report arcadio

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

Pinned Loading

  1. data-logic data-logic Public

    Expert system with deductive querying and verification of constraints expressed in natural language

    Prolog 19 6

  2. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 18k 14k