21-day longest streak
Gerry Agbobada I'm a backend software engineer, and this is my github profile. I mostly like Rust and Schemes, but I have good experience in C++ and Python as well,…
Gerry Agbobada
I'm a backend software engineer, and this is my github
profile. 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. That
makes Rust and Web Assembly really nice technologies to explore!
Sometimes, I blog. It is quite rare though.
Nowadays I mostly use my github profile to contribute to Emacs ecosystem through
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
- R7.rs: a Rust hosted R7RS scheme (WIP, and interpreter only for now)
- tree-sitter-org: a tentative to make a tree-sitter grammar
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. It is currently hosted
live on [pad.gagbo.net](httlab.coma.gagbo.net).

Mastodon profile
-
ktra ★ PINNED ⑂
Your Little Cargo Registry
★ 0 3y agoExplain → -
xile ★ PINNED
A toy front-end to xi-editor written in Guile Scheme
Scheme ★ 5 3y agoExplain → -
diceware ★ PINNED
Python implementation of the diceware algorithm for strong, memorable passphrases
Python ★ 0 7y agoExplain → -
catch2_cmake_project ★ PINNED
Draft of a small-ish Catch2 / CMake-enabled project (CMake 3.11+)
CMake ★ 0 7y agoExplain → -
byo-lisp ★ PINNED
Follow along of http://www.buildyourownlisp.com
C ★ 0 8y agoExplain → -
consult-lsp
LSP-mode and consult.el helping each other
Emacs Lisp ★ 122 24d agoExplain → -
tree-sitter-org ▣
[WIP] Yet another try at giving org-mode the non-EmacsLisp parser it also deserves
C ★ 25 5y agoExplain → -
circadian.nvim
An automatic neovim theme-switcher following the Sun
Lua ★ 6 1y agoExplain → -
rust-prometheus-tokio
Expose tokio runtime metrics to prometheus
Rust ★ 4 3y agoExplain → -
vim-gnuplot
Gnuplot scripts support for vim
Vim Script ★ 3 1y agoExplain → -
nand2tetris
Projects of the nand2tetris course on Coursera
Assembly ★ 3 8y agoExplain → -
LuaOrgParser ▣
[WIP] Hopefully, A PEG-compliant implementation of org-mode syntax, and a parser using lpeg in Lua
Lua ★ 3 6y agoExplain → -
org-to-tree-sitter-corpus
Make Emacs convert org files to tree-sitter tests
Emacs Lisp ★ 1 4y agoExplain → -
ok-picker
An ok colour picker
Rust ★ 1 3y agoExplain → -
awesome-config ▣
The huge mess that is my awesome configuration
Lua ★ 1 6y agoExplain → -
app-test-repo
Nothing to see here, just testing Github App hooks
Rust ★ 1 2y agoExplain → -
emacs-clapoto-themes
Personal, ever evolving, Emacs theme
Emacs Lisp ★ 1 3y agoExplain → -
kitty-pkg ▣
Learning to use copr by packaging kitty for Fedora
★ 1 7y agoExplain → -
burly.el ⑂
Save and restore frames and windows with their buffers in Emacs
Emacs Lisp ★ 1 4y agoExplain → -
kak-config
Personal kak configuration (mostly for tests)
★ 1 6y agoExplain → -
advent-of-code_2018
Solutions to Advent of Code 2018, in whichever languages I feel like doing
C++ ★ 1 7y agoExplain → -
gagbo
No description.
★ 0 5h agoExplain → -
barbatos
Personal Ublue-based image.
Shell ★ 0 25d agoExplain → -
zmk-config-totem
TOTEM configuration
C ★ 0 1mo agoExplain → -
zmk-config-aekeynox ⑂
ZMK implementation of the Arsenik/Selenium keymaps
★ 0 1mo agoExplain → -
ghostty ⑂
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
★ 0 5mo agoExplain → -
rune ⑂
Rust VM for Emacs
★ 0 4mo agoExplain → -
lila-http ⑂
Handle some https://lichess.org/tournament load
★ 0 8mo agoExplain → -
ngrok-docs ⑂
ngrok's official documentation
★ 0 9mo agoExplain → -
bumpalo ⑂
A fast bump allocation arena for Rust
★ 0 1y agoExplain → -
allocator-api2 ⑂
Mirror of Rust's allocator api for use on stable rust
★ 0 1y agoExplain → -
qmk_firmware ⑂
keyboard controller firmware for Atmel AVR USB family
C ★ 0 1y agoExplain → -
zmk-config-corne
Wireless Corne configuration
★ 0 1y agoExplain → -
openscale2healthconnect ⑂
Synchronize your data from the OpenScale app to Androids Health Connect framework
★ 0 1y agoExplain → -
doom-emacs ⑂
An Emacs configuration for the stubborn martian vimmer
Emacs Lisp ★ 0 3mo agoExplain → -
loki ⑂
Like Prometheus, but for logs.
★ 0 1y agoExplain → -
vrl ⑂
Vector Remap Language
★ 0 1y agoExplain → -
doom-alabaster-theme ⑂
Port of Alabaster color scheme for Doom Emacs
★ 0 1y agoExplain → -
ci ⑂
(WIP) A Github action that sets up a Doom Emacs environment for CI/CD.
★ 0 1y agoExplain → -
layouts
Keyboard layouts
★ 0 2y agoExplain → -
build-your-own-react
No description.
JavaScript ★ 0 2y agoExplain → -
fiberplane-provider ⑂
No description.
★ 0 2y agoExplain → -
animalbuttons-api-load ⑂
k6 load generation script for animalbuttons.biz api
★ 0 2y agoExplain → -
python-fastapi-animals ⑂
Example of a fastapi project that uses autometrics (needed to fork to be able to deploy on railway)
★ 0 2y agoExplain → -
slack-morphism-rust ⑂
A modern async client library for Rust, supports Slack Web / Events API/Socket Mode and Block Kit.
★ 0 2y agoExplain → -
parinfer-rust ⑂
A Rust port of parinfer.
Rust ★ 0 2y agoExplain → -
kubecon-eu-2024-opentelemetry-kubernetes-tracing-tutorial ⑂
Exploring the Power of Distributed Tracing with OpenTelemetry on Kubernetes
★ 0 2y agoExplain → -
kalamine ⑂
Keyboard Layout Maker
★ 0 1y agoExplain → -
stargazers ⑂
Analyze GitHub stars
★ 0 2y agoExplain → -
mldoc ⑂
Another Emacs Org-mode and Markdown parser.
★ 0 2y agoExplain → -
codecrafters-sqlite-zig
Testing out Codecrafters in Zig (most steps might not be tested)
Zig ★ 0 2y agoExplain → -
calibre-translations ⑂
Translations for calibre
★ 0 2y agoExplain → -
lemmy ⑂
🐀 A link aggregator and forum for the fediverse
★ 0 2y agoExplain → -
yarr-autometrics-deploy
An experiment instrumenting and deploying an actual Go application to new clouds
★ 0 2y agoExplain → -
ViscoElRebound ▣
M1 Internship on rebound of a viscoelastic ball
Matlab ★ 0 11y agoExplain → -
HashCode2018 ▣
Online Qualification Round code for Hash Code 2018
C++ ★ 0 8y agoExplain → -
Flocking ▣
A Flocking/Emergence test program, written in C++ using Qt5 for the UI
C++ ★ 0 8y agoExplain → -
flocking_sdl ▣
Autonomous agents using SDL and a small JSON interface (Learning purpose)
C++ ★ 0 8y agoExplain → -
latte-dock-pkg ▣
Archive of speccing a latte-dock copr
★ 0 8y agoExplain → -
emacs-setup ▣
Shy try to make emacs behave as I'd like
Emacs Lisp ★ 0 8y agoExplain → -
mtc-mode ▣
No description.
Emacs Lisp ★ 0 8y agoExplain → -
emergence ▣
A Flocking/Emergence test program, written in Qt5
C++ ★ 0 8y agoExplain → -
base16-sourcerer-scheme ▣
Port of xero/sourcerer in base16 templates
★ 0 7y agoExplain → -
cmake-fac.vim ▣
A WIP cmake file API client for Vim/Neovim
Vim script ★ 0 7y agoExplain → -
vscode-srcery ▣
Port of srcery colors to VSCode
★ 0 7y agoExplain → -
dicewareCS ▣
Learning C# by implementing Diceware method
C# ★ 0 7y agoExplain → -
dmenu ▣
Personal fork of https://tools.suckless.org/dmenu/
C ★ 0 7y agoExplain → -
moux ▣
personal zsh theme
Shell ★ 0 7y agoExplain → -
rust_book_webserver ▣
Just a quick proof that something's weird with browsers now
Rust ★ 0 6y agoExplain → -
acario-vscode ▣
No description.
★ 0 6y agoExplain → -
akka-playground ▣
Futures + Akka = sad
Scala ★ 0 5y agoExplain → -
wrapped-io-test ▣
No description.
Scala ★ 0 5y agoExplain → -
test-environments ▣
No description.
★ 0 5y agoExplain → -
yarr ⑂
yet another rss reader
★ 0 2y agoExplain → -
tabspaces ⑂
No description.
★ 0 2y agoExplain → -
gettingstarted-am-go ⑂
No description.
★ 0 2y agoExplain → -
octocrab ⑂
A modern, extensible GitHub API Client for Rust.
Rust ★ 0 2y agoExplain → -
plugin-foreign-env ⑂
Run foreign bash scripts and capture exported environment variables
★ 0 2y agoExplain → -
ergol ⑂
A COLEMAK-style keyboard layout for French-speaking typists and programmers.
★ 0 3y agoExplain → -
rust-prometheus ⑂
Prometheus instrumentation library for Rust applications
★ 0 3y agoExplain → -
fpd ⑂
Fiberplane Daemon
★ 0 3y agoExplain → -
fvim ⑂
Cross platform Neovim front-end UI, built with F# + Avalonia
★ 0 3y agoExplain → -
dotfiles ▣
Configuration files repository for Stow deployment
Shell ★ 0 7y agoExplain → -
aide ⑂
An API documentation library
Rust ★ 0 3y agoExplain → -
glove80-zmk-config ⑂
This repo is the official configuration of the MoErgo Glove80 wireless split contoured keyboard. Use it to develop your own keymap and easily build your own ZMK firmware to run on your Glove80.
★ 0 3y agoExplain → -
emacs ⑂
Mirror of GNU Emacs
★ 0 3y agoExplain → -
aws-sdk-rust ⑂
AWS SDK for the Rust Programming Language
★ 0 3y agoExplain → -
ring ⑂
Safe, fast, small crypto using Rust
★ 0 3y agoExplain → -
go-xkb-install
No description.
Go ★ 0 4y agoExplain → -
homebrew-emacs-plus ⑂
(Fork) Emacs Plus formulae for the Homebrew package manager
Ruby ★ 0 2y agoExplain → -
iwlib
A binding to the iw library for getting info about the current WiFi connection.
Haskell ★ 0 6y agoExplain → -
xah-fly-keys ⑂
the most efficient keybinding for emacs
★ 0 3y agoExplain → -
meow ⑂
Yet another modal editing on Emacs / 猫态编辑
★ 0 3y agoExplain → -
bismuth ⑂
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
★ 0 3y agoExplain → -
ouro-closures
Draft to test self-referencing closure captures for r7
Rust ★ 0 3y agoExplain → -
emacs-theme-cyanometric ⑂
No description.
★ 0 3y agoExplain → -
proc-macro-workshop ⑂
Personal solutions of dtolnay/proc-macro-workshop using Rust 2021
★ 0 3y agoExplain → -
telephone-line ⑂
A new implementation of Powerline for Emacs
Emacs Lisp ★ 0 3y agoExplain → -
multi-vterm ⑂
Managing multiple vterm buffers in Emacs
★ 0 3y agoExplain → -
piston ⑂
A high performance general purpose code execution engine.
★ 0 4y agoExplain → -
lsp-mode ⑂
Emacs client/library for the Language Server Protocol
Emacs Lisp ★ 0 2y agoExplain → -
coprs
Personal COPR collection
★ 0 3y agoExplain → -
tree-sitter-org-milisims ⑂
Org grammar for tree-sitter
★ 0 4y agoExplain → -
async-compression ⑂
Adaptors between compression crates and Rust's async IO types
★ 0 4y agoExplain → -
bitcoin_signer
INSECURE bitcoin CLI signer for integration tests INSECURE
TypeScript ★ 0 4y agoExplain → -
ktra-book ⑂
DON'T PANIC!
★ 0 3y agoExplain → -
rustic ⑂
Rust development environment for Emacs
★ 0 4y agoExplain → -
emacs-evil-colemak-basics ⑂
Emacs package with basic key rebindings for evil-mode with the Colemak keyboard layout
Emacs Lisp ★ 0 4y agoExplain → -
doom-snippets ⑂
The Doom Emacs snippets library
★ 0 6y agoExplain → -
emacs-doom-themes ⑂
An opinionated pack of modern color-themes
Emacs Lisp ★ 0 1y agoExplain → -
consult ⑂
consult.el - Consulting completing-read
★ 0 4y agoExplain → -
defaults.nvim ⑂
A small, featureful neovim template
★ 0 5y agoExplain → -
taskjuggler-mode.el ⑂
An (old) Emacs mode for Taskjuggler files
Emacs Lisp ★ 0 4y agoExplain → -
guile-gemini ⑂
An implementation of the Gemini protocol for GNU Guile
★ 0 4y agoExplain → -
ethash ⑂
No description.
★ 0 4y agoExplain → -
openpgp-usage ⑂
OpenPGP usage information.
★ 0 12y agoExplain → -
tuxedo-keyboard ⑂
Kernel module for keyboard backlighting on TUXEDO Computers
★ 0 4y agoExplain → -
aoc-2018_day09-rs
Small repo for AOC 2018 Day 09 in Rust to test LSP/DAP
Rust ★ 0 5y agoExplain → -
lsp-metals ⑂
lsp-mode :heart: metals
★ 0 5y agoExplain → -
dap-mode ⑂
Emacs :heart: Debug Adapter Protocol
Emacs Lisp ★ 0 5y agoExplain → -
lsp-gitpod ⑂
No description.
★ 0 5y agoExplain → -
top-level-keybinds ⑂
Have which-key show you what single-key commands are available RIGHT NOW
★ 0 5y agoExplain → -
blackburn ⑂
A Hugo theme built using Yahoo's Pure CSS
HTML ★ 0 5y agoExplain → -
rust_katas
not interesting
Rust ★ 0 5y agoExplain → -
melpa ⑂
Recipes and build machinery for the biggest Emacs package repo
★ 0 5y agoExplain → -
ostep-homework ⑂
No description.
★ 0 5y agoExplain → -
neovim-qt ⑂
Neovim client library and GUI, in Qt5.
C++ ★ 0 5y agoExplain → -
map_attr ⑂
just a small example showing a function attribute to make function inputs
★ 0 5y agoExplain → -
evil-collection ⑂
A set of keybindings for evil-mode
★ 0 2y agoExplain → -
ledgerjs ⑂
Ledger's JavaScript libraries
JavaScript ★ 0 5y agoExplain → -
bufler.el ⑂
A butler for your buffers. Group buffers into workspaces with programmable rules, and easily switch to and manipulate them.
Emacs Lisp ★ 0 5y agoExplain → -
lsp-treemacs ⑂
lsp-mode :heart: treemacs
★ 0 5y agoExplain → -
eglot ⑂
A client for Language Server Protocol servers
★ 0 5y agoExplain → -
goingnative
My follow-along of https://github.com/workshopper/goingnative -- aka my beginner level reference to naddons
Makefile ★ 0 6y agoExplain → -
ledger-live-desktop ⑂
Ledger Live (Desktop)
★ 0 5y agoExplain → -
lib-ledger-core-react-native-bindings ⑂
No description.
Java ★ 0 5y agoExplain → -
rustlings ⑂
Small exercises to get you used to reading and writing Rust code
Rust ★ 0 8y agoExplain → -
haskell-scheme
Trying out https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours ; without the 48 hour part.
Haskell ★ 0 6y agoExplain → -
ledger-live-mobile ⑂
Ledger Live (Mobile)
★ 0 6y agoExplain → -
league_rankings
Little playground to test various "compensation rules" for interrupted leagues
Python ★ 0 6y agoExplain → -
ledger-cosmos-js ⑂
No description.
JavaScript ★ 0 5y agoExplain → -
ledger-cosmos-app ⑂
No description.
★ 0 6y agoExplain → -
lib-ledger-core-node-bindings ⑂
No description.
★ 0 5y agoExplain → -
Hack ⑂
A typeface designed for source code
★ 0 6y agoExplain → -
cosmos-sdk ⑂
:chains: A Framework for Building High Value Public Blockchains :sparkles:
★ 0 6y agoExplain → -
acario-themes
(WIP) testing the new emacs-doom-themer API
Emacs Lisp ★ 0 6y agoExplain → -
lib-ledger-core ⑂
No description.
★ 0 5y agoExplain → -
rustracer ⑂
No description.
★ 0 6y agoExplain → -
service-bus-rs ⑂
A Rust repository for connecting to an Azure Service Bus using the REST Api's
★ 0 6y agoExplain → -
azure-sdk-for-python ⑂
Microsoft Azure SDK for Python
★ 0 6y agoExplain → -
documentation ⑂
📘 Nextcloud documentation
Python ★ 0 7y agoExplain → -
ale ⑂
Asynchronous Lint Engine
Vim script ★ 0 7y agoExplain → -
sqlpp11-connector-postgresql ⑂
PostgreSQL connector for sqlpp11 library
C++ ★ 0 7y agoExplain → -
ivy-posframe ⑂
ivy-posframe is a ivy extension, which let ivy use posframe to show its candidate menu.
Emacs Lisp ★ 0 7y agoExplain → -
key-quiz ⑂
Key Quiz game for GNU Emacs
Emacs Lisp ★ 0 7y agoExplain → -
flycheck-pos-tip ⑂
Flycheck errors display in tooltip
Emacs Lisp ★ 0 8y agoExplain → -
twitchchat ⑂
interface to the irc portion of twitch's chat
Rust ★ 0 7y agoExplain → -
shaken ⑂
shakespeare bot for my twitch chat.
Rust ★ 0 7y agoExplain → -
dactyl_wiring
Wiring and components to build a (big) Dactyl Manuform
★ 0 7y agoExplain → -
vimways.org ⑂
vimways.org
CSS ★ 0 7y agoExplain → -
dactyl-keyboard ⑂
Parameterized ergonomic keyboard
OpenSCAD ★ 0 7y agoExplain → -
sourcerer.vim ⑂
vim colorscheme
Vim script ★ 0 7y agoExplain → -
ideas ⑂
No description.
★ 0 7y agoExplain → -
OSTEP
Files related to http://pages.cs.wisc.edu/%7Eremzi/OSTEP/
Python ★ 0 7y agoExplain → -
Flex ⑂
The minimalist Pelican theme.
CSS ★ 0 8y agoExplain → -
AirSim ⑂
Open source simulator based on Unreal Engine for autonomous vehicles from Microsoft AI & Research
C++ ★ 0 8y agoExplain → -
gmsh.vim ⑂
Syntax file for GMSH meshing facilities
Vim script ★ 0 15y agoExplain → -
gotham-contrib ⑂
Ports of the Gotham colorscheme for common editors and terminal emulators.
Shell ★ 0 8y agoExplain → -
iceberg.vim ⑂
Dark blue color scheme for Vim
Vim script ★ 0 8y agoExplain → -
Apprentice ⑂
A dark, low-contrast, Vim colorscheme.
Vim script ★ 0 8y agoExplain → -
vim ⑂
The official Vim repository
C ★ 0 8y agoExplain → -
Projects ⑂
:page_with_curl: A list of practical projects solved exclusively with code I wrote.
C++ ★ 0 9y agoExplain → -
latex-themes
A small repo with all .cls and .sty work
TeX ★ 0 9y agoExplain → -
ompi ⑂
Open MPI main development repository
C ★ 0 9y agoExplain → -
Fiji_Plugins ⑂
No description.
Java ★ 0 9y agoExplain → -
github-for-developers-7
No description.
★ 0 10y agoExplain →
No repos match these filters.