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…
  ☆19Updated 3 weeks ago
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆19Updated 2 months ago
• Goxore / nixconf
  ☆44Updated 2 weeks ago
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆314Updated 6 months ago
• Andrey0189 / nixos-config-reborn
  ❄️ Ampersand's redesigned NixOS Config
  ☆165Updated 3 months ago
• harsh-m-patil / .dotfiles
  My Dotfiles for linux
  ☆25Updated 2 weeks ago
• JaKooLit / NixOS-Hyprland
  To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.
  ☆244Updated 2 weeks ago
• gpskwlkr / nixos-hyprland-flake
  NixOS flake containing full system configuration
  ☆92Updated last year
• RoastBeefer00 / nix-home
  ☆42Updated 11 months ago
• mhmd1619 / myHyprland
  myHyprland dotfiles for Laptop
  ☆20Updated last month
• vimjoyer / nixconf
  ☆137Updated 2 weeks ago
• arpnghosh / dotfiles
  My dotfiles for hyprland, kitty, neovim and others
  ☆16Updated last month
• TheRiceCold / dots
  🍚 Peak Riced NixOS Configuration. ❄️
  ☆30Updated 6 months ago
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆203Updated 2 weeks ago
• Cylis-Dragneel / old-dots
  My dotfiles from Arch
  ☆8Updated 2 months ago
• gabrieldlima / dotfiles
  Personal dotfiles
  ☆50Updated last week
• maotseantonio / home
  ☆59Updated 6 months ago
• danihek / nixos-config
  ☆16Updated last month
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆439Updated 3 weeks ago
• HirschBerge / Public-dots
  Sanitized publicly available dotfiles for my NixOS flake. Now better than ever and kept up to date to my private repo via git hook script…
  ☆80Updated 2 weeks ago
• MrSom3body / dotfiles
  some not so overengineered NixOS dotfiles :)
  ☆13Updated this week
• vasujain275 / rudra
  My Nix + Hyprland Setup
  ☆127Updated 3 months ago
• junnunkarim / dotfiles_dwm
  Personal dwm configuration
  ☆17Updated 4 months ago
• redyf / nixdots
  Dotfiles for NixOS
  ☆344Updated last month
• FlafyDev / nixos-config
  ☆161Updated last month
• samiulbasirfahim / flakes
  My personal nixos configuration
  ☆25Updated 5 months ago
• Sly-Harvey / NixOS
  NixOS + Hyprland rice with flakes and home-manager
  ☆288Updated this week
• sekiryl / hyprdots
  My Hyprland Dotfiles.
  ☆112Updated 5 months ago
• uday-sudo / dotfiles
  ☆11Updated last year