8000 zariuq (Zar Goertzel) · GitHub
[go: up one dir, main page]
Skip to content
View zariuq's full-sized avatar
20 followers · 3 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report zariuq

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. Formal-Ethics-Ontology Formal-Ethics-Ontology Public

    Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.

    2 2

  2. ai-agents ai-agents Public

    Gnuplot 4 1

  3. CeTTa CeTTa Public

    C implementation of MeTTa, seeded from MeTTa-IL, Lean MeTTa Specs, and HE -- inspired by the global internet brains

    MeTTa 3 5

  4. mm-lean4 mm-lean4 Public

    Forked from digama0/mm-lean4

    Lean 4 Metamath verifier

    Lean 3 1

  5. MeTTapedia MeTTapedia Public

    Lean 2 1

  6. cesta cesta Public

    C

0