Laurent Thévenoux's starred repositories
ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
tmux-resurrect
Persists tmux environment across system restarts.
dehydrated
letsencrypt/acme client implemented as a shell-script – just add water
include-what-you-use
A tool for use with clang to analyze #includes in C and C++ source files
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
awesome-mechanical-keyboard
⌨️ A curated list of Open Source Mechanical Keyboard resources.
llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
mechanical-keyboard
DIY mechanical keyboard and where to find them
sogo
SOGo is a very fast and scalable modern collaboration suite (groupware). It offers calendaring, address book management, and a full-featured Webmail client along with resource sharing and permission handling. It also makes use of documented standards (IMAP, CalDAV, CardDAV, etc.) and thereby provides native connectivity (without plugins) to many clients such as Microsoft Outlook, Apple iCal, the iPhone, Mozilla Lightning, and a plethora of mobile devices.
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
setup-ocaml
GitHub Action for the OCaml programming language
certbot-plugin-gandi
Certbot plugin for authentication using Gandi LiveDNS
libadalang
Ada semantic analysis library.
pouetpouet-board
DIY ortholinear keyboard with pure Rust or Ada firmware