Rudi Grinberg
Software Developer at OCAML LABS CONSULTANCY LTD
Toronto, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolRudi Grinberg is a software developer based in Toronto with 13 years of experience specializing in OCaml, functional programming, and open-source systems. He has a strong track record contributing to core tooling and libraries—everything from the OCaml LSP, js_of_ocaml and cohttp to performance-focused work on the Rocq proof assistant—demonstrating deep back-end and compiler-level expertise. His career includes building scalable REST services and real-time systems at companies like EA and Medigram, and he brings practical experience with Python, Erlang/Elixir, Redis and deployment automation. A longtime Emacs enthusiast, he also contributes to editor integrations and developer ergonomics (Doom Emacs, merlin, utop), reflecting attention to tooling that improves developer productivity. Notably, his open-source contributions often focus on refactoring, performance improvements and subtle protocol/format handling that stabilize and harden complex systems.
13 years of coding experience
5 years of employment as a software developer
Applied Mathematics, Applied Mathematics at University of Waterloo
English
Github Skills (62)
asynchronous10
json10
proof-assistant10
javascript10
dependent-types10
futures10
python10
jsonb10
async10
plugin-development10
text-manipulation10
jsonp10
http10
build-system10
io10
Programming languages (33)
Github contributions (5)
ocaml/ocaml-lsp
Oct 2019 - Jan 2023
OCaml Language Server Protocol implementation
Role in this project:
Back-end Developer
Back-end DeveloperContributions:48 releases, 576 reviews, 1721 commits in 3 years 3 months
Contributions summary:Rudi primarily contributed to the implementation and modification of server request functionality within the OCaml Language Server Protocol implementation. Their commits show involvement in areas such as server request handling, and code actions implementation. Furthermore, the commits involve adding and modifying new data types, improving the general structure of the codebase and code generation. The work suggests a focus on back-end development, specifically in the context of the LSP protocol.
coc-nvimlwtdubdocstringsocaml
ocaml-community/utop
Aug 2017 - Jun 2021
Universal toplevel for OCaml
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:3 releases, 18 reviews, 44 commits in 3 years 10 months
Contributions summary:Rudi primarily contributed to the `utop` project by enhancing its functionality and improving its codebase. Their work included adding dependencies like `camomile` and `lwt_react`, fixing issues related to OCaml version compatibility, and refactoring parts of the Emacs integration. They also implemented a company backend for utop completion, enabling improved code completion within the Emacs environment. Moreover, the user added a protocol version and made it conditional.
ocamltoplevel
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.