~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

4207dcc Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

54 minutes ago via dotfiles

1456cbd Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

9 hours ago via dotfiles

0b54db6 Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

9 hours ago via dotfiles

fe5147c Tweak leader key

~gagbo pushed to ~gagbo/doom-config git

9 hours ago via dotfiles

790bb08 Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

88264e0 Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

017bdbb Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

4081534 Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

2285942 Tweak keymap

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

a785fe1 Switch to meow

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

596ced7 Start meow config

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

3c712de Start meow config

~gagbo pushed to ~gagbo/doom-config git

a day ago via dotfiles

73f823f Change Agenda commands to reflect GTD

~gagbo pushed to ~gagbo/doom-config git

2 days ago via dotfiles

1eef7ee Flesh out denote config

~gagbo pushed to ~gagbo/doom-config git

2 days ago via dotfiles

f9cbce9 Add SPC n d f back

~gagbo pushed to ~gagbo/doom-config git

3 days ago via dotfiles
1 / 13