Isaac Emmanuel
All pages

Open source

Contributions that shipped.

Merged PRs across backend systems, infra, dev tooling, and AI security that were reviewed and accepted by public project maintainers.

86
Merged PRs
45
Public projects
16,927
Forks
81,810
Stars

Languages

Merged PRs grouped by each repository's primary language.

  • Python60 merged PRs
  • TypeScript14 merged PRs
  • JavaScript7 merged PRs
  • Go2 merged PRs
  • Java2 merged PRs
  • SCSS1 merged PR
01

apache/fineract-consumer-facing

Consumer-facing frontend and backend applications for Apache Fineract.

Java
  1. PR #201

    refactor(frontend): migrate consent and demo i18n

View repository
02

oras-project/oras-go

A Go library for working with OCI artifacts and registries.

Go
  1. PR #1516

    fix(auth): scope redirects to registry repositories

View repository
03

The-PR-Agent/pr-agent

An open-source PR reviewer that analyzes code changes, suggests improvements, and helps automate review workflows.

Python
  1. PR #3950

    fix: keep provider auth and TLS settings host-only

View repository
05

asifjahmed/claudemanager

A local proxy that routes Claude Code sessions across multiple Claude Max accounts based on available capacity.

TypeScript
  1. PR #6

    fix(config): default request bodies to last turn

View repository
06

gabe-santana/corollary

An agent runtime where state is beliefs, with evidence-backed conclusions that update when their inputs change.

Python
  1. PR #32

    fix(proof): identify non-serializable beliefs

  2. PR #35

    Export the Action type

  3. PR #26

    feat(api): define public submodule exports

View repository
07

facebookresearch/autoform-bot

A coding-agent plugin and Python CLI for planning, reviewing, and publishing Lean 4 formalization work.

Python
  1. PR #67

    Synchronize detached descendant cleanup test

View repository
10

agentrust-io/agentrust-telemetry

Backend-neutral governance telemetry and verifiable evidence for AI-agent runtimes.

Python
  1. PR #76

    fix(opa): reject unhashable mapper decisions

View repository
11

RogueAlg0/taken

A CLI that checks whether a GitHub issue is already claimed before you volunteer.

Python
  1. PR #352

    fix(graphql): report empty subprocess failures

View repository
14

codeforstartups/dynavec

A serverless hybrid vector database built on DynamoDB and Amazon S3 Vectors.

Python
  1. PR #250

    fix(config): validate max_workers eagerly

View repository
15

kage1020/Aburi

A deterministic semantic diff tool that reports code behavior changes for pull requests.

TypeScript
  1. PR #301

    Report effect propagation provenance changes

  2. PR #279

    fix(markdown): count folded diff entries accurately

View repository
16

juandresrodca/CompatSentinel

A Python tool for detecting Windows application compatibility regressions.

Python
  1. PR #8

    feat: report newly loaded modules

View repository
17

Syamjith-NK/arabic-lint

A zero-dependency linter for detecting corrupted Arabic text before storage.

Python
  1. PR #12

    Reject unsafe multi-codepoint recovery

View repository
18

FreshCode-Org/freshdata

Explainable data cleaning for pandas and Polars with an audit trail of repairs.

Python
  1. PR #350

    fix: validate on_low_score trust-gate policies

View repository
19

yunaremaia/ghstats

A terminal dashboard for visualizing GitHub contributions, pull requests, and activity.

Python
  1. PR #10

    feat: add side-by-side user comparison

View repository
20

jveldboom/action-conventional-versioning

A GitHub Action that generates version numbers from conventional commits.

JavaScript
  1. PR #58

    test: add release selection edge cases

  2. PR #54

    chore: remove unused mode input

View repository
21

leo-aa88/PetitePass

A lightweight, local, offline password manager where authentication is decryption.

Python
  1. PR #53

    Fix Windows fsync access for vault replacements

View repository
22

MakazhanAlpamys/Soup

A Python toolkit for fine-tuning language models from YAML configurations with memory-efficient layer streaming.

Python
  1. PR #904

    fix: report generated config validation errors

View repository
23

MSKazemi/kubeintellect

An AI SRE for Kubernetes that investigates cluster issues and executes approved fixes.

Python
  1. PR #213

    fix(encoding): subprocess.run(..., text=True) decoded with the locale encoding too

View repository
24

trailofbits/graphtage

A semantic diff utility and library for tree-like files such as JSON, XML, YAML, and CSV.

Python
  1. PR #159

    Fix quoted Python attribute receivers

View repository
25

OpenRecruiterTools/linkedin-toolkit

An MCP server and browser extension for agent-assisted LinkedIn research and outreach with human approval.

JavaScript
  1. PR #18

    fix(node): add a CommonJS package entry

View repository
26

PresentJay/dbt-plan

Static analysis that catches breaking dbt schema changes before execution.

Python
  1. PR #229

    Honor verbose in config files

  2. PR #178

    docs: explain missing verdicts in setup guidance

View repository
27

xajeel/bugledger-mcp

A local MCP server that turns confirmed bug fixes into reusable project guardrails.

Python
  1. PR #27

    fix(cli): handle help and version before server startup

View repository
28

BSC-ES/autosubmit

A workflow manager for reproducible climate research experiments and HPC workloads.

Python
  1. PR #3244

    Fix expid accepting unrelated status filter

View repository
30

Nano-Collective/nanocoder

A community-built coding agent for the terminal with local-first model support.

TypeScript
  1. PR #1064

    fix(skills): reject unsupported skill subscription targets

  2. PR #957

    fix: improve project branch startup summary

View repository
32

lark-parser/lark

A Python parsing toolkit focused on ergonomics, performance, and modularity.

Python
  1. PR #1636

    Add pyparsing porting guide

View repository
33

omerbek/repodx

A small command-line repository hygiene checker.

Python
  1. PR #12

    fix: recognize setext README headings

View repository
34

IBM/ibmdiagrams

Architecture diagram generation following the IBM Diagram Standard.

Python
  1. PR #12

    fix: raise label truncation threshold to prevent clipping long service names

View repository
35

kubernetes-sigs/lws

LeaderWorkerSet, a Kubernetes API for deploying groups of pods as replication units.

Go
  1. PR #909

    Fix cert-manager CA injection for Helm webhooks

View repository
37

akg268/prompt-preflight

Local hooks that catch vague AI-agent prompts before execution.

Python
  1. PR #50

    docs: document Kiro CLI custom-agent usage

  2. PR #35

    docs: add host compatibility matrix

View repository
38

abduznik/bitbox

A community-built collection of small Python command-line tools.

Python
  1. PR #52

    feat: add remaining utility tools

View repository
39

OpenAPITools/openapi-generator

Client, server, and documentation generation from OpenAPI specifications.

Java
  1. PR #23177

    fix(python-flask): validate byte length for format:byte fields

View repository
41

ikrishg/reseter.css

A modern CSS reset.

SCSS
  1. PR #273

    i made updates to selectors

View repository
42

onecentlin/laravel-blade-snippets-vscode

Laravel Blade snippets and syntax highlighting for Visual Studio Code.

TypeScript
  1. PR #167

    Update BladeFormatter.ts

View repository
43

ConsenSysDiligence/surya

Utilities for exploring and visualizing Solidity contracts.

JavaScript
  1. PR #184

    Update importer.js

View repository
44

shufo/vscode-blade-formatter

An opinionated Blade template formatter for Visual Studio Code.

TypeScript
  1. PR #716

    Update logger.ts

View repository
45

xt42io/vibrantt-api

An image color-extraction API built with Node.js and Express.

JavaScript
  1. PR #1

    Update color.js

View repository