Skip to content
View heaprip's full-sized avatar

Block or report heaprip

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. Markdown is supported. 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. agl agl Public

    Artificial General Logic — relation-first representation of meaning

    Shell

  2. agent-rule-corpus agent-rule-corpus Public

    Repository rules an agent cannot forget: defeasible rules over clingo and s(CASP). Every answer is three-valued and carries the full circle of rules that bore on it, so a conclusion drawn from an i…

    Shell

  3. intercessio intercessio Public

    simulation of the work of an authorities, inspired by Rome

    Go

  4. xraybar xraybar Public

    A small, native macOS menu-bar client for Xray-core's native TUN: geosite/geoip routing, VLESS + Reality, Touch ID. One process, no sing-box, no NetworkExtension — small enough to audit yourself.

    Swift

  5. lima-docker-lean lima-docker-lean Public

    Docker on macOS (Apple Silicon) with near-zero idle cost: a measured Lima + Virtualization.framework template. 0 idle disk writes, ~1% idle CPU, ~half the RAM held after load (init_on_free). Real D…

    Shell