- 👋 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
Block or Report
Block or report lgeorget
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
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
If the problem persists, check the GitHub status page or contact support.