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 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…
  ☆22Updated 3 months ago
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆26Updated last week
• Goxore / nixconf
  ☆50Updated 3 weeks ago
• notdanna / hypr.dots
  my dotfiles for hyprland
  ☆83Updated 4 months ago
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆760Updated this week
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆332Updated last year
• caelestia-dots / cli
  The main control script for the Caelestia dotfiles
  ☆52Updated this week
• hyprwm / hypridle
  Hyprland's idle daemon
  ☆566Updated 2 weeks ago
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes, home-manager and dev-shells
  ☆381Updated this week
• MrVivekRajan / Hyprlock-Styles
  ☆278Updated 2 months ago
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆875Updated 11 months ago
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆341Updated 9 months ago
• Oughie / nixos-config
  NixOS configuration for Hyprland
  ☆21Updated last week
• hyprwm / hyprlock
  Hyprland's GPU-accelerated screen locking utility
  ☆1,280Updated last week
• raybbian / hyprtasking
  Powerful workspace management plugin, packed with features
  ☆202Updated last month
• justinmdickey / publicdots
  Just for sharing my Linux dotfiles
  ☆59Updated last year
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆427Updated last week
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆346Updated last week
• sejjy / mechabar
  A mecha-themed Waybar configuration 🤖
  ☆515Updated last week
• uiriansan / SilentSDDM
  A very customizable SDDM theme that actually looks good.
  ☆481Updated 3 weeks ago
• hiimsergey / rofi-gruvbox-material
  A simple rofi theme using the Gruvbox Material color palette
  ☆19Updated 11 months ago
• Aylur / astal
  Building blocks for creating custom desktop shells
  ☆840Updated 2 weeks ago
• 5hubham5ingh / ss-arch
  Custom Arch-Based Desktop Environment for Linux
  ☆53Updated 6 months ago
• InioX / matugen
  A material you color generation tool
  ☆865Updated last week
• iamhrigved / Hyprdots
  My personal Hyprland dotfiles!
  ☆118Updated last month
• savedra1 / clipse
  Configurable TUI clipboard manager for Unix
  ☆747Updated last week
• SeniorMatt / Mattthew-s-Dotfiles
  My dotfiles :D
  ☆136Updated 4 months ago
• Gerg-L / spicetify-nix
  A nix library for modifying spotify with https://github.com/spicetify
  ☆341Updated last week
• Abhra00 / Matuprland
  Hyprland with Matugen 💫
  ☆125Updated 2 months ago