srtaoufik / cours-Logique-Formelle

Related projects ⓘ

Alternatives and complementary repositories for cours-Logique-Formelle

• srtaoufik / Cours-ASD-en-C
  Cours ASD et Atelier de programmation C
  ☆26Updated last week
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆428Updated this week
• vimjoyer / nixconf
  ☆91Updated 2 weeks ago
• richen604 / hydenix
  a nixos implementation of hyprdots, a hyprland dotfiles configuration
  ☆37Updated this week
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆616Updated 3 weeks ago
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆277Updated last week
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆466Updated 2 weeks ago
• anotherhadi / nixy
  Nixy is a Hyprland NixOS configuration with home-manager, secrets and custom theming all in one place. It's a simple way to manage your s…
  ☆202Updated this week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆15Updated 2 weeks ago
• MarceColl / zen-browser-flake
  Nix Flake for the Zen Browser
  ☆166Updated last month
• AlexNabokikh / nix-config
  NixOS, Nix-Darwin and home-manager configurations.
  ☆95Updated this week
• MatthiasBenaets / nix-config
  My Personal Nix, NixOS and Nix-Darwin System Configuration Flake
  ☆638Updated this week
• fufexan / dotfiles
  NixOS system config & Home-Manager user config
  ☆785Updated last week
• erictossell / nixflakes
  My nixdots, but flaked.
  ☆297Updated last week
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆166Updated this week
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆61Updated 7 months ago
• HirschBerge / Public-dots
  My Public NixOS Dotfiles
  ☆62Updated 2 weeks ago
• ryan4yin / nix-config
  ❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).
  ☆1,006Updated this week
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆260Updated 11 months ago
• Andrey0189 / nixos-config
  ❄️ My nixos configuration files
  ☆240Updated 5 months ago
• jakehamilton / config
  One Nix flake to rule them all.
  ☆386Updated last week
• linuxmobile / kaku
  革 | kaku
  ☆348Updated 2 months ago
• dmadisetti / .dots
  just my .dotfiles
  ☆230Updated this week
• Misterio77 / nix-config
  Personal nixos and home-manager configurations.
  ☆854Updated last week
• TheMaxMur / NixOS-Configuration
  MaxMur NixOS config & Home-Manager config
  ☆229Updated last month
• redyf / nixdots
  Dotfiles for NixOS
  ☆305Updated this week
• notusknot / dotfiles-nix
  Configuration files for my NixOS machine, declared by home-manager
  ☆461Updated 2 years ago
• Gerg-L / spicetify-nix
  A nix flake for configuring spicetify. Includes packaging for many popular themes and extensions.
  ☆153Updated this week
• NotAShelf / nyx
  My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS.
  ☆343Updated 3 months ago
• ShibamRoy9826 / Dotfiles
  All my updated dotfiles
  ☆10Updated 3 weeks ago