~gagbo

France

https://gagbo.net

#Gerry Agbobada

I'm a backend software engineer.

I mostly like Rust and Schemes, but I have good experience in C++ and Python as well, trying to embed the languages I like working with inside the ones I like hacking with.

Sometimes, I blog. It is quite rare though.

Most of my contributions to Emacs ecosystem are still on github though, like Doom or packages like consult-lsp and a converter from org to tree-sitter test.

I think my most fun projects are:

  • Xile: draft of a front-end for Xi editor, written in Guile Scheme
  • R7.rs: a Rust hosted R7RS scheme (WIP, and interpreter only for now)

I am also getting my feet wet with front-development with my fork of Rustpad which adds integration with Piston for shared remote code execution.

dotfiles

Collection of configurations and dotfiles

Beancount-tools

Tooling to help plaintext accounting with beancount

R7.rs

A rust hosted r7rs scheme interpreter (eternal WIP status to learn PL)

Rustpad

A fork of https://github.com/ekzhang/rustpad with remote code execution capabilities

Activity

8d942be Deactivate ergol layer

~gagbo pushed to ~gagbo/doom-config git

7 days ago via dotfiles

82af5eb Add ergol module

~gagbo pushed to ~gagbo/doom-config git

8 days ago via dotfiles

fe074e1 Add ergol module

~gagbo pushed to ~gagbo/doom-config git

8 days ago via dotfiles

512273e Remove treemacs doom-themes integration

~gagbo pushed to ~gagbo/doom-config git

15 days ago via dotfiles

38f8b1c Add formatter.nvim

~gagbo pushed to ~gagbo/nvim-config git

16 days ago via dotfiles

f2514a8 Cleanup cmp config

~gagbo pushed to ~gagbo/nvim-config git

16 days ago via dotfiles

ddc9739 Remove nvim-treesitter playground on EditQuery versions

~gagbo pushed to ~gagbo/nvim-config git

16 days ago via dotfiles

363dfff Use evil-collection patch

~gagbo pushed to ~gagbo/doom-config git

16 days ago via dotfiles

0f6e9b4 Give tab-workspaces another roll

~gagbo pushed to ~gagbo/doom-config git

20 days ago via dotfiles

59e68a0 lsp: enable headerline "where am I again?"

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles

59f68f5 corfu: use tab/S-tab only to cycle

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles

29de79a corfu: use tab/S-tab only to cycle

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles

6d929bc corfu: use tab/S-tab only to cycle

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles

c00ddef corfu: use tab/S-tab only to cycle

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles

c844105 corfu: use tab/S-tab only to cycle

~gagbo pushed to ~gagbo/doom-config git

a month ago via dotfiles
1 / 27