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 2 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…
  ☆16Updated this week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆17Updated 2 weeks ago
• iamhrigved / Hyprdots
  My personal Hyprland dotfiles!
  ☆106Updated 2 months ago
• elifouts / Dotfiles
  My Hyprland Dotfiles For Arch!
  ☆234Updated last month
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes and home-manager
  ☆205Updated this week
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆601Updated this week
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆174Updated this week
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆182Updated last month
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆565Updated last week
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆297Updated last year
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆119Updated last month
• 2SSK / dot-files
  i3/sway dotfiles
  ☆134Updated 2 weeks ago
• JustAlternate / nixcfg
  my nix files.
  ☆12Updated last week
• harsh-m-patil / .dotfiles
  My Dotfiles for linux
  ☆21Updated last month
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆292Updated 4 months ago
• shell-ninja / hyprconf
  A gorgeous configuration for Hyprland with Dynamic color changing and some advanced features.
  ☆122Updated this week
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆81Updated last year
• notdanna / hypr.pro
  my configs for hyprland
  ☆20Updated this week
• yurihikari / garuda-hyprdots
  Themed dotfiles for Garuda Linux
  ☆391Updated 3 weeks ago
• fufexan / dotfiles
  NixOS system config & Home-Manager user config
  ☆896Updated this week
• shell-ninja / hyprconf-install
  An advanced Hyprland installation script, which supports 3 major package managers in Linux to install and setup pre configured Hyprland.
  ☆98Updated last week
• Serpentian / AlfheimOS
  ❄️ AlfheimOS (NixOS + home-manager + hyprland + ags + neovim)
  ☆130Updated this week
• prasanthrangan / hyde-themes
  // A repository for HyDE themes
  ☆115Updated 9 months ago
• maotseantonio / NixOS-Hyprland
  ❄️ Shizuru❄️ . NOTE: This repo is fork from jakoolit but more nix way and more modularize. eg nixcord, nix4nvchad, stylix hyprland and…
  ☆89Updated this week
• Pahasara / HyprDots
  Love to KISS my hyprland. Nah, I meant keep it simple stupid, jeez!
  ☆164Updated last week
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆290Updated this week
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆109Updated last month
• kotontrion / dotfiles
  my personal dotfiles, use at your own risk
  ☆166Updated 5 months ago
• justinmdickey / publicdots
  Just for sharing my Linux dotfiles
  ☆45Updated 9 months ago