Light

lgeorget Goto Github PK

followers: 5.0 following: 1.0 repos: 42.0 gists: 1.0

Name: Laurent Georget

Type: User

👋 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

Laurent Georget's Projects

acronymdb

Personal acronym database for NetBSD's wtf program

adventofcode2020

Solutions for the Advent of Code 2020 challenge

adventofcode2021

Solutions for the Advent of Code 2021 puzzles

adventofcode2022

ai-client-html

Aimeos e-commerce HTML client components

ansible-lxc-ssh

Ansible connection plugin using ssh + lxc-attach

aufs

aufs - simple Linux kernel file system for os course

centralesup-lec-2020-tp1---tests

Just making sure everything works for the class

code_viewer

Graphviz graphs explorer, designed with call graphs in mind

conky

Light-weight system monitor for X.

cookiemonster

Addon to Cookie Clicker

coquille

Interactive theorem proving with Coq in vim.

countdown

A solver for the Countdown-type numbers game

cpp-driver

DataStax C/C++ Driver for Apache Cassandra

downlloadytb

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

geojson-areas

A minimal web app to visually sort cities of Brittany into custom categories

hcaptcha-bundle

A Symfony 4+ bundle to bring hCaptcha into your forms

kayrebt-cleaner

Transformer and manipulator for activity diagrams from Kayrebt::Extractor

kayrebt-dumper

Wrapper for Kayrebt::Extractor to generate activity diagrams for any version of the Linux kernel

kayrebtcallgraphs

Extract the callgraph of an entire codebase

kayrebtextractor

GCC plugin for extraction of activity diagrams from C code

kayrebtglobsym

Generate a database of function symbols for the Linux kernel

kayrebtviewer

Visualizer for collections of GraphViz graphs

kblare

leaflet.spin

Show a spinner on the map using Spin.js

lgeorget

Config files for my GitHub profile.

maude.vim

Syntax file for the Maude language

meteodata

Retrieve meteological data from Davis Instruments' stations and upload them

msm_asio_example

A simple example of an Echo server in C++ built with Boost::MSM and Boost::Asio

nucleosprofilebundle

👤 Registration and profile management for symfony

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.