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
  ☆30Updated 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
• Goxore / nixconf
  ☆55Updated last week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆31Updated 3 weeks ago
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆242Updated 9 months ago
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆342Updated 2 years ago
• A3TH3Rr / Hyprlock-Dots
  ☆26Updated last month
• Rexcrazy804 / Zaphkiel
  Nixos configuration feat. kurukurubar
  ☆254Updated this week
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆843Updated this week
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆471Updated this week
• Ruixi-rebirth / wallpaper
  ☆38Updated 2 years ago
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆358Updated last year
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆124Updated last year
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆359Updated this week
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆943Updated last week
• vimjoyer / nixconf
  ☆157Updated last week
• NazariiPalahnii / nixos
  ☆17Updated last week
• MaySeikatsu / nixos
  Personal NixOS config with dynamic theming and rust first tech stack🦀
  ☆40Updated 2 weeks ago
• notdanna / hypr.dots
  my dotfiles for hyprland
  ☆82Updated 7 months ago
• Serpentian / AlfheimOS
  ❄️ AlfheimOS (NixOS + home-manager + hyprland + ags + neovim)
  ☆159Updated this week
• InioX / matugen
  A material you color generation tool
  ☆1,249Updated this week
• Gerg-L / spicetify-nix
  A nix library for modifying spotify with https://github.com/spicetify
  ☆368Updated this week
• RoastBeefer00 / nix-home
  ☆51Updated 5 months ago
• Khenziii / nixos-config
  ❄️ My configuration files
  ☆15Updated last week
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes, home-manager and dev-shells
  ☆444Updated last week
• zDyant / HyprNova
  My hyprland dotfiles
  ☆636Updated this week
• 0thElement / nixconf
  NixOS Configuration
  ☆33Updated last year
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆144Updated 9 months ago
• shub39 / dotfiles
  🤖 Dotfiles for my hyprland config. Arch btw
  ☆392Updated last week
• AhmedSaadi0 / NibrasShell
  A feature-rich Hyprland shell built with Quickshell. Introduces an interactive "Smart Capsule", wallpaper depth effects, and active syste…
  ☆642Updated this week