FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

certainly-param (Param Chaudhari) · GitHub

Overview Repositories 29 Projects Packages Stars 17
🎯
Focusing
🎯
Focusing
3 followers · 12 following

Achievements

x2

Achievements

x2

Highlights

  • Pro

Block or report certainly-param

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.

Add an optional note
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
certainly-param/README.md

● ○ ○ param@github: ~/certainly-param


> Research Assistant @ UNC Chapel Hill | MS Computer Science

> Currently working on formal verification for RISC-V architectures

$ cat tech_stack.txt

// Languages

// AI & ML

// Backend & Cloud

// Cryptography & Security

// Systems & Tools

$ ls ~/projects

Project Description
Garuda RISC-V INT8 accelerator with 7.5-9× latency reduction for attention microkernels
PSF Design Lab AI predictability assessment toolkit with hybrid measurement (entropy + KL divergence + LLM)
TraceLens Visual debugger for LangGraph workflows with time-travel debugging and real-time visualization
VAC Capability-based security for AI agents with task-scoped credentials and instant revocation
Axiom Hybrid verification framework (KLEE + TLA+) for distributed systems with 100% coverage for Raft
Serverless RAG Chatbot Scale-to-zero RAG architecture with $0/month when idle and 30-60% cost reduction via caching

$ git log --author=param --oneline

Contribution Description
pydantic-ai Fixed race condition in parallel tool execution with targeted locking
vLLM INT8 quantization fix for Blackwell GPUs (SM100+) with early validation and FP8 guidance
CVA6 RISC-V Fixed interrupt encoding in RV64 + inferred latch fix - improves hardware reliability
MCP Python SDK Resource leak fix in SSE handlers with comprehensive test suite
Anthropic Skills Performance optimization: 90% reduction in bounding box comparisons for multi-page forms

$ curl blog.rss

$ tail -f activity.log

  1. 💪 Opened PR #1152 in sunlabuiuc/PyHealth
  2. 🗣 Commented on #3729 in pydantic/pydantic-ai
  3. 🎉 Merged PR #3259 in emmabostian/developer-portfolios


Made while doing lot of snacking ;)

param@github: ~ $ exit

Pinned Loading

  1. garuda-accelerator garuda-accelerator Public

    Garuda: CVXIF coprocessor optimizing batch-1 attention microkernels with 7.5-9× lower p99 latency. RISC-V INT8 MAC accelerator for transformer inference.

    SystemVerilog 7 3

  2. Axiom Axiom Public

    Axiomatic Verification for Distributed Systems

    Python

  3. serverless-rag-chatbot serverless-rag-chatbot Public

    A modern, cost-efficient RAG (Retrieval Augmented Generation) chatbot that lets you upload PDFs and ask questions about them. Features client-side PDF parsing, free built-in embeddings via Upstash …

    JavaScript

  4. tracelens tracelens Public

    Tracelens - Visual Debugger and Replay Engine for LangGraph Agentic Workflows - Real-time monitoring, time-travel debugging, and interactive graph visualization for AI agents

    Python

  5. Gopal3746/AI-Ticketing Gopal3746/AI-Ticketing Public

    COMP 523

    JavaScript

  6. VAC-protocol VAC-protocol Public

    VAC Protocol - Capability-based security for AI agents. Task-scoped credentials, receipt-based state, instant revocation.

    Rust 1

Back | FazBrowse Home | New Git URL