Skip to content
View nandedamana's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report nandedamana

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

Software architect with industry and FOSS community experience, currently doing a PhD in Computer Science.

  • Websites: nandakumar.co.in (software and resources), nandakumar.org (blog and other personal things)

  • Developer of Vara, Sammaty, etc.

  • Linux kernel contribution: eBPF verifier improvement merged to Linux 6.18

  • Research area: Formal verification of software, eBPF

  • Experience in: End-to-end software development (systems, desktop, Web), performance engineering, systems software, GNU/Linux sysadmin, virtualization, containerization

  • Languages: ngg, C, Bash, Go, JavaScript, Rocq, PHP, Rust

  • Contact: [email protected]

Pinned Loading

  1. improved-tnum-mul improved-tnum-mul Public

    Test program to benchmark a rewritten version of tnum_mul, the function used in the Linux kernel to multiply tristate numbers.

    C 1

  2. raycasting-demo raycasting-demo Public

    An auto-rotating raycasting demo in C

    C 1

  3. random-json random-json Public

    CLI program to generate random JSON strings

    Go 1 1

  4. lazy-becomes-prolific lazy-becomes-prolific Public

    Working examples for the use of code generation tools

    Shell 2 1

  5. oapi-codegen oapi-codegen Public

    Forked from oapi-codegen/oapi-codegen

    Generate Go client and server boilerplate from OpenAPI 3 specifications

    Go

  6. scratch-www scratch-www Public

    Forked from scratchfoundation/scratch-www

    Standalone web client for Scratch

    JavaScript