Skip to content
View Lqnk4's full-sized avatar
4 followers · 6 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Organizations

@2BDetermined-7034

Block or report Lqnk4

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

Aaryan Ilanchelian - Math/Physics Major at OSU

About Me

  • ⚡Low level programmer
  • >>= Functional programmer
  • Strong typing
  • ∑ Proof Assistants (Lean4, Agda)
  • 🛡️Cybersecurity (CTFs, Bug Bounties)
  • 🔄 Rotors > quaternions > Euler Angles
  • ☀️ Light themes are better

High school robotics

2025 Competition Robot 'Krill'

Former Programming lead for FRC 7034. Learned / taught control theory and computer vision. Click the image for a video!

My Skills

Top Langs

Check out Teradox!

Pinned Loading

  1. dotfiles dotfiles Public

    my personal linux dotfiles

    Lua 1

  2. riverhs riverhs Public

    Riverwm config in haskell

    Haskell 3

  3. nasm-web-server nasm-web-server Public

    Minimal web server in nasm assembly

    Assembly

  4. 2BDetermined-7034/2025-Krill 2BDetermined-7034/2025-Krill Public

    FRC Team 7034's Competition Robot Codebase

    Java 1

  5. Planet-Sim Planet-Sim Public

    Vulkan 3D gravity simulation

    Haskell

  6. aricc aricc Public

    Haskell