- 👋 Hi, I’m @lgeorget, I've been told by GitHub to fill in this README.
- 👀 I’m interested in formal methods, programming languages design, modeling and dataviz, system and network administration...
- 🌱 I’m currently learning Haskell (for quite some time actually)
- 💞️ I’m looking to collaborate on some more exciting Symfony 5 stuff, if something shows up
- 📫 How to reach me: my email is in my profile, social networks I occasionnally do but not reliably
Popular repositories Loading
-
solar-themed-doxygen
solar-themed-doxygen PublicAn extra CSS for Doxygen inspired by Matt Harzewski's work for Jekyll (https://github.com/mattvh/solar-theme-jekyll)
CSS 2
-
-
-
maude.vim
maude.vim PublicForked from vim-scripts/maude.vim
Syntax file for the Maude language
Vim Script 1
-
KayrebtExtractor
KayrebtExtractor PublicGCC plugin for extraction of activity diagrams from C code
Shell 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.