Skip to content
View lgeorget's full-sized avatar

Organizations

@ogma-project
Block or Report

Block or report lgeorget

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lgeorget/README.md
  • 👋 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

  1. acronymdb acronymdb Public

    Personal acronym database for NetBSD's wtf program

    3 1

  2. solar-themed-doxygen solar-themed-doxygen Public

    An extra CSS for Doxygen inspired by Matt Harzewski's work for Jekyll (https://github.com/mattvh/solar-theme-jekyll)

    CSS 2

  3. DOwnLLoadYtb DOwnLLoadYtb Public

    GUI for http://rg3.github.io/youtube-dl/

    C++ 1

  4. code_viewer code_viewer Public

    Graphviz graphs explorer, designed with call graphs in mind

    C++ 1

  5. maude.vim maude.vim Public

    Forked from vim-scripts/maude.vim

    Syntax file for the Maude language

    Vim Script 1

  6. KayrebtExtractor KayrebtExtractor Public

    GCC plugin for extraction of activity diagrams from C code

    Shell 1