Skip to content
View cobbal's full-sized avatar

Block or report cobbal

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. swsh swsh Public

    The Swift Shell

    Swift 13 2

  2. instructure/canvas-ios instructure/canvas-ios Public

    Canvas iOS apps

    Swift 814 110

  3. rust-tracer rust-tracer Public

    A ray tracer derived from the "Ray Tracing in One Weekend" series of books

    Rust

  4. ppl-ctx-equiv-coq ppl-ctx-equiv-coq Public

    A logical relation for contextual equivalence of a probabilistic programming language in Coq

    Coq 1

  5. calendar-facts-generator calendar-facts-generator Public

    Generates calendar facts as per xkcd #1930

    PureScript

  6. microscheme microscheme Public

    Haskell