Alternatives and similar repositories for cours-Logique-Formelle

Users that are interested in cours-Logique-Formelle are comparing it to the libraries listed below

• srtaoufik / Cours-ASD-en-C
  Cours ASD et Atelier de programmation C
  ☆31Updated 3 weeks ago
• titanknis / ISIMM-L1-Info-Cours
  Missed a lecture? Looking for all your lessons in one spot so you don’t have to hunt for them individually? You’re in the right place! Fe…
  ☆40Updated 7 months ago
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆32Updated 2 weeks ago
• A3TH3Rr / Hyprlock-Dots
  ☆26Updated last month
• Goxore / nixconf
  ☆55Updated last week
• cebem1nt / dotfiles
  my bad, its hyprland :<
  ☆84Updated this week
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆144Updated 9 months ago
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes, home-manager and dev-shells
  ☆444Updated last week
• MaySeikatsu / nixos
  Personal NixOS config with dynamic theming and rust first tech stack🦀
  ☆40Updated 2 weeks ago
• Rexcrazy804 / Zaphkiel
  Nixos configuration feat. kurukurubar
  ☆254Updated this week
• danihek / nixos-config
  ☆14Updated 8 months ago
• MrVivekRajan / Hyprlock-Styles
  ☆341Updated 5 months ago
• Ssoupp / Gnome-Topbar-Rose-Pine-dots
  ☆26Updated 3 months ago
• linuxmobile / kaku
  革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…
  ☆770Updated last week
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆124Updated last year
• yous3fghazyv11 / Dotfiles
  my personal dotfiles
  ☆69Updated last month
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆342Updated 2 years ago
• kotontrion / dotfiles
  my personal dotfiles, use at your own risk
  ☆177Updated last year
• shell-ninja / hyprconf
  A gorgeous configuration for Hyprland with Dynamic color changing and some advanced features.
  ☆226Updated last week
• Juhan280 / hyprwhichkey
  Which-Key for Hyprland
  ☆17Updated 8 months ago
• sekiryl / hyprdots
  My Hyprland Dotfiles.
  ☆115Updated last month
• zDyant / HyprNova
  My hyprland dotfiles
  ☆636Updated this week
• justinlime / dotfiles
  My general config and dotfiles for linux
  ☆277Updated 2 weeks ago
• TheRiceCold / dots
  🍚 Peak Riced NixOS Configuration. ❄️
  ☆45Updated last year
• RoccoRakete / hyprland-dots
  ☆157Updated last year
• sejjy / mechabar
  A mecha-themed, modular Waybar configuration. 🤖
  ☆679Updated this week
• caelestia-dots / cli
  The main control script for the Caelestia dotfiles
  ☆108Updated this week
• Spelljinxer / dotfiles
  Hyprland Config Files
  ☆426Updated last year
• hiimsergey / rofi-gruvbox-material
  A simple rofi theme using the Gruvbox Material color palette
  ☆21Updated last year
• Stewart86 / hamr
  Hamr is an extensible launcher for Hyprland and Niri built with Quickshell. Extend it with plugins that can be written in any languages.
  ☆209Updated this week