Skip to content
View pro-utkarshM's full-sized avatar

Highlights

  • Pro

Organizations

@Cirkitly @ResQTerra @PerceptaX

Block or report pro-utkarshM

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

whoami

systems programmer.
low-level engineer.

i work close to the machine.
linux. kernels. embedded. distributed systems.

mostly C and Rust.
assembly when it matters.

i care about fundamentals, not hype.
i build for correctness, performance, and things that last.

toolchain

languages : C, Rust, Python, Java, Assembly
focus     : systems, kernels, embedded, blockchain infra
hardware  : Raspberry Pi, STM32, drones, GPR, LiDAR

Pinned Loading

  1. axiomOS axiomOS Public

    Axiom enables runtime evolution of kernel logic for robotics and embedded systems by loading verified programs into kernel hooks, no reflashing required. [WIP]

    Rust 1

  2. Cirkitly/spec2rtl-plugin Cirkitly/spec2rtl-plugin Public

    AI-Powered Hardware Design & Verification Copilot - Plugin for your CLI

    JavaScript 2

  3. kernel-hardening-checker kernel-hardening-checker Public

    Forked from a13xp0p0v/kernel-hardening-checker

    A tool for checking the security hardening options of the Linux kernel

    Python

  4. toVerify toVerify Public

    A simple, powerful tool to ensure that a command-line program does exactly what you expect it to do—and nothing more.

    Python

  5. myOwnOS myOwnOS Public

    I am too cool to correctly name my projects (will do someday when my project will start making sense to me)

    C 3

  6. Cirkitly/spec2rtl Cirkitly/spec2rtl Public

    Project Status: Discontinued, New repository: spec2rtl-plugin

    Python 23 4