Skip to content
View cloud-256's full-sized avatar
đź’­
đź’­
3 followers · 3 following
  • Cape Town
  • 21:30 (UTC +02:00)

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Organizations

@xr0-org

Block or report cloud-256

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.

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. xr0-org/xr0 xr0-org/xr0 Public

    The Xr0 Verifier for C

    C 208 5

  2. xr0-org/i2 xr0-org/i2 Public

    A language for verified reasoning

    Go 2

  3. hyloblog/hyloblog hyloblog/hyloblog Public

    The Hyloblog platform

    Go

  4. mcnaughton-yamada-thompson mcnaughton-yamada-thompson Public

    An implementation of the McNaughton–Yamada–Thompson algorithm for transforming regular expressions into equivalent NFAs

    Go