Skip to content
View CleveGreen's full-sized avatar
🎯
Focusing
🎯
Focusing
5 followers · 4 following
  • Omena
  • Palo Alto

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report CleveGreen

Report abuse

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

Report abuse
CleveGreen/README.md

Interested in PLTDI, cybersecurity, and formal methods

Popular repositories Loading

  1. CleveGreen CleveGreen Public

    Config files for my GitHub profile.

  2. peek-again peek-again Public

    A performant iterator providing double peek functionality.

    Rust 1

  3. bumpalo bumpalo Public

    Forked from fitzgen/bumpalo

    A fast bump allocation arena for Rust

    Rust

  4. emacs-toml emacs-toml Public

    Forked from gongo/emacs-toml

    TOML (Tom's Obvious, Minimal Language) parser and generator

    Emacs Lisp

  5. verus-mode.el verus-mode.el Public

    Forked from verus-lang/verus-mode.el

    Support for Verus programming in Emacs

    Emacs Lisp