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
  ☆27Updated this week
• 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…
  ☆20Updated 3 months ago
• Goxore / nixconf
  ☆46Updated last week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆24Updated this week
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆201Updated 5 months ago
• Oughie / nixos-config
  NixOS configuration for Hyprland
  ☆18Updated 2 months ago
• Rexcrazy804 / Zaphkiel
  Nixos configuration feat. kurukurubar
  ☆213Updated this week
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes and home-manager
  ☆354Updated this week
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆333Updated last year
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆337Updated 8 months ago
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆418Updated last week
• justinmdickey / publicdots
  Just for sharing my Linux dotfiles
  ☆57Updated last year
• NotAShelf / nvf
  Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS
  ☆1,081Updated this week
• danihek / nixos-config
  ☆16Updated 4 months ago
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆106Updated last year
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆854Updated 10 months ago
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆735Updated this week
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆284Updated 3 weeks ago
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆203Updated 2 months ago
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆133Updated 5 months ago
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆339Updated this week
• vimjoyer / nixconf
  ☆143Updated 2 months ago
• notdanna / hypr.dots
  my dotfiles for hyprland
  ☆83Updated 3 months ago
• MrVivekRajan / Hyprlock-Styles
  ☆260Updated last month
• TheMaxMur / NixOS-Configuration
  MaxMur NixOS config & Home-Manager config
  ☆306Updated 5 months ago
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆488Updated 3 weeks ago
• kotontrion / dotfiles
  my personal dotfiles, use at your own risk
  ☆171Updated 10 months ago
• hyprwm / hypridle
  Hyprland's idle daemon
  ☆560Updated last week
• InioX / matugen
  A material you color generation tool
  ☆826Updated this week
• TheRiceCold / dots
  🍚 Peak Riced NixOS Configuration. ❄️
  ☆36Updated 8 months ago