Skip to content
View HCHogan's full-sized avatar
🌴
On vacation
🌴
On vacation
46 followers · 103 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Organizations

@Kernelize @moonbit-community

Block or report HCHogan

Report abuse

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

Report abuse
HCHogan/README.md

Hi there 👋

I write Rust, Haskell, Lean 4.

Hank's GitHub stats Top Langs

Popular repositories Loading

  1. wezterm wezterm Public

    Lua 3

  2. rusty-riscv-ave rusty-riscv-ave Public

    A Simple RISC-V Emulator in Rust

    Rust 3 1

  3. ehall-frontend ehall-frontend Public

    Ehall App for All platforms, using SwiftUI, jetpack compose, winUI3, react, lvgl.

    Swift 3

  4. max max Public

    🦈

    Haskell 3

  5. hvim hvim Public

    new config

    Lua 2

  6. home-manager home-manager Public

    Nix 2