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
  ☆28Updated 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…
  ☆17Updated this week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆20Updated 3 weeks ago
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆306Updated 5 months ago
• zDyanTB / HyprNova
  My hyprland dotfiles
  ☆457Updated 7 months ago
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆630Updated 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…
  ☆310Updated this week
• linuxmobile / kaku
  革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…
  ☆543Updated this week
• kotontrion / dotfiles
  my personal dotfiles, use at your own risk
  ☆166Updated 6 months ago
• l6174 / hyprdots
  My Hyprland Dotfiles.
  ☆106Updated 4 months ago
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆117Updated 2 months ago
• hyprwm / hyprlock
  Hyprland's GPU-accelerated screen locking utility
  ☆1,071Updated last week
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆212Updated last week
• Goxore / nixconf
  ☆42Updated this week
• Gustash / Hyprshot
  Hyprshot is an utility to easily take screenshots in Hyprland using your mouse.
  ☆540Updated 9 months ago
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆206Updated last month
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes and home-manager
  ☆229Updated last week
• Axenide / Dotfiles
  .'s
  ☆565Updated 2 weeks ago
• hyprland-community / pyprland
  Scratchpads & many goodies for Hyprland [maintainer=@fdev31]
  ☆521Updated this week
• Abaan404 / dotfiles
  ☆156Updated 3 weeks ago
• justinmdickey / publicdots
  Just for sharing my Linux dotfiles
  ☆47Updated 10 months ago
• notusknot / dotfiles-nix
  Configuration files for my NixOS machine, declared by home-manager
  ☆530Updated 2 years ago
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆204Updated 2 weeks ago
• MrVivekRajan / Hyprlock-Styles
  ☆203Updated 7 months ago
• fufexan / dotfiles
  NixOS system config & Home-Manager user config
  ☆915Updated last week
• iamhrigved / Hyprdots
  My personal Hyprland dotfiles!
  ☆111Updated 2 weeks ago
• rohankid1 / cachy-dotfiles
  Dotfiles for my CachyOS system
  ☆64Updated 5 months ago
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆599Updated last week
• MatthiasBenaets / nix-config
  My Personal Nix, NixOS and Nix-Darwin System Configuration Flake
  ☆692Updated this week
• justinlime / dotfiles
  My general config and dotfiles for linux
  ☆258Updated last month