Skip to content
View DavidBakerEffendi's full-sized avatar
54 followers · 40 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report DavidBakerEffendi

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

David Baker Effendi

I’m a senior software engineer at Brokk, building open-source, multi-language code intelligence for AI coding agents.

My work focuses on static program analysis, semantic code navigation, program verification, and developer tooling. Brokk’s code-intelligence stack is exposed through a Rust crate, CLI, MCP server, and language server, with an S-expression query language for structural and semantic code queries.

Previously, I contributed to Joern and completed a PhD in computer science at Stellenbosch University, researching scalable and language-independent static analysis.

I’m particularly interested in partial and on-demand analysis, incremental program analysis, type and usage resolution, and making coding agents reason more precisely about large codebases.

Links

Pinned Loading

  1. BrokkAi/bifrost BrokkAi/bifrost Public

    Multi-language static analysis for agents, editors, and large repositories.

    Rust 8 3

  2. BrokkAi/tree-sitter-ng BrokkAi/tree-sitter-ng Public

    Modern, null-safe Tree-Sitter bindings for Java. Features JSpecify support, bundled cross-compiled binaries via Zig, and expanded community grammars (Kotlin, Vue, Angular).

    Java 2

  3. joernio/joern joernio/joern Public

    Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

    Scala 3.3k 430