Pinned Loading

1. A Compose key instead of Copilot A Compose key instead of Copilot

   1

   This gist contains the necessary files to transform the Copilot key into a Compose key under X or

   2

   Wayland. This is done by creating a custom keyboard option that simply needs to be enabled in your

   3

   system's settings.

   4

   5

   Bonus: if your keyboard has a level 3 key (AltGr) then AltGr+Copilot gives you greek letters!

2. mathlib4-fork mathlib4-fork Public

   Forked from leanprover-community/mathlib4

   My fork of the math library of Lean 4

   Lean

3. fsh fsh Public

   Un shell avec des boucles for en C. Projet de systèmes d'exploitation du S1 de ma L3

   C

4. OChess OChess Public

   Des échecs dans le terminal en OCaml. Projet de programmation fonctionnelle du S1 de ma L3

   OCaml