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 3 weeks ago
• bj11-coded / Front-End-Course-Map
  This is the proper documentation of HTML, CSS, GIT & Github, JS and REACT
  ☆15Updated 2 weeks ago
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆151Updated 2 months ago
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆311Updated 5 months ago
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆625Updated this week
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆311Updated last year
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆665Updated this week
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes and home-manager
  ☆270Updated this week
• vimjoyer / nixconf
  ☆132Updated 3 weeks ago
• elifouts / Dotfiles
  My Hyprland Dotfiles For Arch!
  ☆353Updated 2 months ago
• richen604 / hydenix
  a nixos implementation of hyprdots, a HyDE dotfiles configuration
  ☆238Updated this week
• NotAShelf / nvf
  Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS
  ☆885Updated this week
• notusknot / dotfiles-nix
  Configuration files for my NixOS machine, declared by home-manager
  ☆541Updated 2 years ago
• Oughie / nixos-config
  NixOS configuration for Hyprland
  ☆17Updated 2 weeks ago
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆227Updated 2 months ago
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆204Updated last month
• AlexNabokikh / nix-config
  NixOS, Nix-Darwin and home-manager configurations.
  ☆223Updated this week
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆781Updated 7 months ago
• dreamsofautonomy / arch-from-scratch
  ☆220Updated 10 months ago
• anotherhadi / nixy
  Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…
  ☆332Updated this week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆19Updated last month
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆123Updated 2 months ago
• iamhrigved / Hyprdots
  My personal Hyprland dotfiles!
  ☆112Updated last month
• prasanthrangan / hyde-themes
  // A repository for HyDE themes
  ☆122Updated 11 months ago
• zDyanTB / HyprNova
  My hyprland dotfiles
  ☆470Updated 7 months ago
• linuxmobile / kaku
  革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…
  ☆565Updated 2 weeks ago
• Senshi111 / fedora-hyprland-hyprdots
  ☆77Updated 11 months ago
• sejjy / mechabar
  A mecha-themed Waybar configuration 🤖
  ☆369Updated 2 weeks ago
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆427Updated last month
• 2SSK / dot-files
  i3/sway dotfiles
  ☆149Updated last week