Skip to content
View Guest0x0's full-sized avatar
85 followers · 3 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback
Block or Report

Block or report Guest0x0

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

Popular repositories

  1. normalization-bench normalization-bench Public

    Benchmarking various normalization algorithms for the lambda calculus

    OCaml 43 2

  2. trebor trebor Public

    an implementation of Observational Type Theory (OTT) and more

    OCaml 24 1

  3. pruning-tutor pruning-tutor Public

    a tutorial implementation on an elaborator of a dependently typed language with pruning

    OCaml 22

  4. coqoune coqoune Public

    CoqIDE-like experience for kakoune

    OCaml 8 1

  5. ipudp ipudp Public

    tunnel IP over UDP, with encryption and random padding

    Python 2

  6. dotfiles dotfiles Public

    Shell