Skip to content
@SlopDotCash

slop.cash

Make money shipping slop

Popular repositories Loading

  1. slopdotcash slopdotcash Public

    Make money shipping slop

    TypeScript 138 192

  2. asi asi Public

    ASI — continual reinforcement learning framework (The Alberta Plan) in JAX; trains elizaOS robot policies

    Python 30 84

  3. proximityprize proximityprize Public

    Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize.

    Lean 27 73

  4. umia-protocol umia-protocol Public

    Forked from umiafinance/protocol

    Umia Protocol Smart Contracts

    Solidity 7 13

  5. paleygraph paleygraph Public

    Paley graph conjecture research workspace: exact verifiers, refutations, Lean formalization, prove2me record

    Python 1

  6. protocol protocol Public

    Forked from umiafinance/protocol

    Umia Protocol Smart Contracts

    Solidity

Repositories

Showing 6 of 6 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…