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 month
• 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…
  ☆29Updated 4 months ago
• Goxore / nixconf
  ☆52Updated last week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆26Updated last week
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆218Updated 7 months ago
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes, home-manager and dev-shells
  ☆394Updated this week
• sejjy / mechabar
  A mecha-themed Waybar configuration. 🤖
  ☆554Updated this week
• HyprCandy / Hyprcandy
  HyprCandy (basic version of UltraCandy) is a feature rich Hyprland configuration for Arch and Arch-based distributions with system-wide c…
  ☆32Updated last week
• kibertod / hyprdots
  ☆24Updated last year
• notdanna / hypr.dots
  my dotfiles for hyprland
  ☆84Updated 5 months ago
• MrVivekRajan / Hyprlock-Styles
  ☆289Updated 3 months ago
• arfan-on-clouds / hyprclouds
  ☆370Updated 8 months ago
• NaturalCapsule / capsule
  ☆32Updated 4 months ago
• XBEAST1 / Hyprland-Dotfiles
  Hyprland Configs For My Arch BTW
  ☆32Updated 2 weeks ago
• justinlime / dotfiles
  My general config and dotfiles for linux
  ☆277Updated this week
• Thunder-Blaze / BlazinLock
  Auto Theming Hyprlock, compatible with Normal, Hyprdots and End4 Installations
  ☆45Updated 2 months ago
• Rexcrazy804 / Zaphkiel
  Nixos configuration feat. kurukurubar
  ☆229Updated last week
• hiimsergey / rofi-gruvbox-material
  A simple rofi theme using the Gruvbox Material color palette
  ☆19Updated last year
• Anik200 / dotfiles
  Hyprdots for my Hyprland Rice
  ☆184Updated 4 months ago
• Filippo39 / .dotfiles
  Dotfiles bare repo
  ☆23Updated 2 weeks ago
• sekiryl / hyprdots
  My Hyprland Dotfiles.
  ☆115Updated 2 weeks ago
• Oughie / nixos-config
  NixOS configuration for Hyprland
  ☆22Updated this week
• linuxmobile / kaku
  革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…
  ☆715Updated last week
• 0thElement / nixconf
  NixOS Configuration
  ☆32Updated 11 months ago
• Serpentian / AlfheimOS
  ❄️ AlfheimOS (NixOS + home-manager + hyprland + ags + neovim)
  ☆150Updated 2 weeks ago
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆135Updated 7 months ago
• zDyant / HyprNova
  My hyprland dotfiles
  ☆587Updated last year
• yamihugo / Hyprlanddots
  My Hyprland config and dotfiles
  ☆24Updated 11 months ago
• MaySeikatsu / nixos
  ☆35Updated 2 weeks ago
• vimjoyer / nixconf
  ☆157Updated last week