Skip to content
View arulagrawal's full-sized avatar

Highlights

  • Pro

Block or report arulagrawal

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

Hi

I like writing code, especially go and python!

I like sysadmin and devopsy stuff, and self-host as much as possible.

Some of my personal use code goes here

My repo of stuff I'm currently running and playing around with is here.

Pinned Loading

  1. i_hate_voice_notes i_hate_voice_notes Public

    WhatsApp bot that transcribes voice notes.

    TypeScript

  2. Research-Project Research-Project Public

    Strategy Synthesis for Multi-Robot Systems

    Promela