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

Organizations

@NixOS

Block or report arcadio

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 23 6

  2. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 24k 18.4k