GitHub - certainly-param/certainly-param

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

github-snake

> Research Assistant @ UNC Chapel Hill | MS Computer Science

> Currently working on formal verification for RISC-V architectures

// Languages

// AI & ML

// Backend & Cloud

// Cryptography & Security

// Systems & Tools

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

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

Made while doing lot of snacking ;)

param@github: ~ $ exit

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
.github/workflows		.github/workflows
.gitignore		.gitignore
README.md		README.md
test_stats.py		test_stats.py

Provide feedback