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
  ☆33Updated last 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…
  ☆42Updated 7 months ago
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆32Updated last month
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆342Updated 2 years ago
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆955Updated last month
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes, home-manager and dev-shells
  ☆467Updated this week
• justinmdickey / publicdots
  Just for sharing my Linux dotfiles
  ☆67Updated 2 weeks ago
• Goxore / nixconf
  ☆64Updated this week
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆864Updated last week
• Samtroulcode / dotfiles
  My Arch/Hyprland rice : NEBULIX
  ☆28Updated this week
• hyprwm / hypridle
  Hyprland's idle daemon
  ☆621Updated last month
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆482Updated this week
• tuxdotrs / nix-config
  My entire infrastructure in a nix flake.
  ☆88Updated this week
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆416Updated last week
• arpnghosh / dotfiles
  🏠 - Personal Dotfiles (Managed by GNU Stow)
  ☆16Updated 2 weeks ago
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆125Updated last year
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆363Updated this week
• sejjy / mechabar
  A mecha-themed, modular Waybar configuration
  ☆709Updated last week
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆251Updated 10 months ago
• fufexan / dotfiles
  NixOS system config & Home-Manager user config
  ☆1,048Updated this week
• vimjoyer / nixconf
  ☆170Updated last month
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆146Updated 10 months ago
• hyprwm / hyprlock
  Hyprland's GPU-accelerated screen locking utility
  ☆1,461Updated last month
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆875Updated last week
• zDyant / HyprNova
  My hyprland dotfiles
  ☆659Updated last month
• Gerg-L / spicetify-nix
  A nix library for modifying spotify with https://github.com/spicetify
  ☆370Updated last week
• A3TH3Rr / Hyprlock-Dots
  ☆27Updated 2 months ago
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆203Updated 7 months ago
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆580Updated last week
• redyf / nixdots
  Modular NixOS configuration
  ☆346Updated last week