Rahul Krishna
rahlk
:: IBM Staff Research Scientist :: Machine Learning; Programming Languages; Hybrid Cloud; Software Engineering; and Software Testing.
Languages
Repos
207
Stars
40
Forks
54
Top Language
Shell
Loading contributions...
Top Repositories
MTFuzz: Fuzzing with a Multi-Task Neural Network
Compute CK Metrics in python
Self-Contained Appliation Refactoring Benchmark
A fully standalone Spotify client for the terminal. Native streaming included, no daemon required.
Repositories
207Self-Contained Appliation Refactoring Benchmark
A fully standalone Spotify client for the terminal. Native streaming included, no daemon required.
No description provided.
:blueberries: A berry cool theme for Zed
✍️ take notes in your terminal ✍️
The official Python SDK for Codellm-Devkit
MTFuzz: Fuzzing with a Multi-Task Neural Network
Repo containing public domain fonts that I use on my systems
A Rust implementation inspired by Trae Agent, leveraging Rust’s safety, performance, and concurrency features.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
AI Agent that handles engineering tasks end-to-end: integrates with developers’ tools, plans, executes, and iterates until it achieves a successful result.
[ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Some of my favorite rice's
No description provided.
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
No description provided.
Java source code (and/or binary) to JSON based system dependency graph generator.
codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for code LLM use cases.
An software auditing suite for javascript projects
No description provided.
No description provided.
A bunch of sample Java EE applications for use in Konveyor DGI
A treesitter based markdown synthesizer to yank code blocks from markdown
My take on Tim's sk
No description provided.
Static Python call graph generator
🦀 A LSP-based interative call graph generator
Compute CK Metrics in python
My TMUX configuration
AICI: Prompts as (Wasm) Programs