~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

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

Beancount-tools

Tooling to help plaintext accounting with beancount

Activity

9e63a8e Add note on theme

~gagbo pushed to ~gagbo/doom-config git

4 days ago via dotfiles

c289a97 Stop infuriating RET behaviour on completion

~gagbo pushed to ~gagbo/nvim-config git

7 days ago via dotfiles

0c1819d Use upstream denote integration

~gagbo pushed to ~gagbo/doom-config git

8 days ago via dotfiles

f4e98a8 Adjust natnat palette

~gagbo pushed to ~gagbo/doom-config git

10 days ago via dotfiles

b88ee0e Test rust lsp-mode fixes

~gagbo pushed to ~gagbo/doom-config git

12 days ago via dotfiles

20f5a26 Try to fix yasnippet TAB-stealing

~gagbo pushed to ~gagbo/doom-config git

13 days ago via dotfiles

e21b700 Try out cape-yasnippet some time

~gagbo pushed to ~gagbo/doom-config git

13 days ago via dotfiles

7e2f7bf Use doom-natnat again

~gagbo pushed to ~gagbo/doom-config git

13 days ago via dotfiles

ad4360a Try out doom pine

~gagbo pushed to ~gagbo/doom-config git

22 days ago via dotfiles

1b24827 Change used themes

~gagbo pushed to ~gagbo/doom-config git

22 days ago via dotfiles

a5e03b7 Remove part of fzf default command

~gagbo pushed to ~gagbo/dotfiles git

23 days ago via dotfiles

f8ab7c4 Split off fzf config

~gagbo pushed to ~gagbo/dotfiles git

23 days ago via dotfiles

9748a3e Update zellij config

~gagbo pushed to ~gagbo/dotfiles git

27 days ago via dotfiles

1d2b2b7 Update zellij config

~gagbo pushed to ~gagbo/dotfiles git

27 days ago via dotfiles

1571308 Disable clapoto-themes

~gagbo pushed to ~gagbo/doom-config git

28 days ago via dotfiles
1 / 16