Skip to content
View heaprip's full-sized avatar

Block or report heaprip

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 built on Xray-core: VLESS + REALITY and Hysteria 2 through Xray's native TUN, geosite/geoip routing, Touch ID. One process, no sing-box, no NetworkExtension — …

    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