Skip to content
View ihaveint's full-sized avatar
🏴
In another life
🏴
In another life
11 followers · 2 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ihaveint

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
ihaveint/README.md

Software engineer. Improved core routing algorithms at a maps/navigation startup, built data pipelines and infra, built interpreters in Rust/Go, Kademlia DHT in Elixir, working on malleable UI tools. Interested in PL theory, distributed systems, developer tooling.

Pinned Loading

  1. lsd-ucsc/ChoRus lsd-ucsc/ChoRus Public

    🎶 Choreographic programming in Rust 🎶

    Rust 73 5

  2. na na Public

    N/A — same data, any interface. Dynamic UI generation via Claude.

    TypeScript

  3. FloatingSurfaceKit FloatingSurfaceKit Public

    Swift

  4. mac-click-shortcuts mac-click-shortcuts Public

    How about: > Keyboard-triggered left click, right click, and drag — step toward a mouseless macOS workflow

    Swift

  5. Elixir-MapReduce/map_reduce Elixir-MapReduce/map_reduce Public

    A simple MapReduce implementation with Elixir

    Elixir

  6. Kademlia Kademlia Public

    Elixir

⚡