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

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO
BetaSend feedback

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO
BetaSend feedback

Organizations

@xr0-org
Block or Report

Block or report claude-betz

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

  1. xr0-org/xr0 xr0-org/xr0 Public

    The Xr0 Verifier for C

    C 153 2

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

    A language for verified reasoning

    Go 2

  3. compiler-frontend compiler-frontend Public

    a complete compiler front-end as described in chapter 2 of the dragon book.

    Go

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

    This repository is an implementation of the McNaughton–Yamada–Thompson algorithm, a method of transforming a regular expression into an equivalent nondeterministic finite automaton (NFA). The resul…

    Go

  5. dragon-book dragon-book Public

    Implementation following chapters in "Principles of Compiler Design"

    C

  6. algorithms algorithms Public

    some interesting algorithm implementations

    Go