Skip to content
View rgrinberg's full-sized avatar

Organizations

@mirage @ocaml-batteries-team @ocaml

Block or report rgrinberg

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Scriptable database and system performance benchmark

C 6,299 1,103 Updated Mar 9, 2025

Safe API for manipulating LMDB databases using OpenResty/Lua.

Raku 29 5 Updated Mar 17, 2025

lua-resty-ffi provides an efficient and generic API to do hybrid programming in openresty/envoy with mainstream languages (Go, Python, Java, Rust, Nodejs, etc.).

C 110 11 Updated Jan 1, 2025

New FFI-based API for lua-nginx-module

Lua 817 273 Updated Mar 21, 2025

Faster LuaLS setup for Neovim

Lua 994 15 Updated Feb 20, 2025

Neovim plugin to work GitHub PRs quickly.

Lua 60 1 Updated Mar 13, 2025

Embed the Power of Lua into NGINX HTTP servers

C 11,457 2,042 Updated Mar 25, 2025

NeoVim lua plugin that annotates source code with profiling information from perf, LuaJIT, or other profilers.

Lua 310 6 Updated Dec 28, 2024

A standalone Luau runtime

Rust 475 98 Updated Mar 24, 2025

A tool for splitting diffs in Neovim

Lua 137 5 Updated Feb 8, 2025

A composable build system for OCaml.

OCaml 1,713 428 Updated Mar 28, 2025

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Standard ML 653 147 Updated Mar 28, 2025

Debug adapter for Neovim plugins

Lua 457 10 Updated Jan 19, 2025

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Zig 2,614 111 Updated Mar 14, 2025

relation query language, with typed embedding into OCaml

OCaml 17 1 Updated Feb 23, 2025

Bindings to io_uring for OCaml

OCaml 61 18 Updated May 15, 2024

A blazingly fast, stunningly beautiful, exceptionally powerful git branch viewer for Vim/Neovim.

Vim Script 837 25 Updated Mar 19, 2025

Fast serialization framework for C

C 224 21 Updated Aug 26, 2017

Compact garbage-collected heap and JSON-like object model

C++ 81 2 Updated May 12, 2023

Low Level Bindings to Libev

OCaml 29 6 Updated Oct 4, 2024

zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems

C 373 52 Updated Mar 25, 2025

Neovim file explorer: edit your filesystem like a buffer

Lua 4,865 149 Updated Mar 20, 2025

Lua runtime and toolset

C++ 169 32 Updated Mar 27, 2025

Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.

Lua 3,638 778 Updated Oct 3, 2023
Lua 181 38 Updated Mar 24, 2025

⚡ A new cd command that helps you navigate faster by learning your habits.

Lua 3,058 143 Updated Feb 20, 2025

build-once run-anywhere c library

C 19,129 679 Updated Mar 25, 2025

Firebird server, client and tools

C++ 1,295 231 Updated Mar 28, 2025

GNU Guile Scheme bindings for OCaml

OCaml 16 1 Updated Aug 5, 2022

A massively parallel, optimal functional runtime in Rust

Cuda 10,917 420 Updated Nov 21, 2024
Next
Showing results