Skip to content
View sarahzrf's full-sized avatar

Block or report sarahzrf

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. cas cas Public

    A GUI for doing forward reasoning (especially algebra), backed by type theory

    Haskell 2 1

  2. STG STG Public

    Mini Haskell compiler

    Haskell 2

  3. sequents sequents Public

    A blatant ripoff of Logitext

    PureScript 5

  4. renderer renderer Public

    A toy CPU renderer.

    C

  5. gltoy gltoy Public

    Like Shadertoy, but for more of the pipeline!

    JavaScript