srtaoufik / cours-Logique-FormelleLinks
cours logique formelle
☆13Updated last year
Alternatives and similar repositories for cours-Logique-Formelle
Users that are interested in cours-Logique-Formelle are comparing it to the libraries listed below
Sorting:
- Cours ASD et Atelier de programmation C☆27Updated last month
- 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
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆19Updated 2 months ago
- ☆44Updated 2 weeks ago
- ❄️ My old NixOS configuration files☆314Updated 6 months ago
- ❄️ Ampersand's redesigned NixOS Config☆165Updated 3 months ago
- My Dotfiles for linux☆25Updated 2 weeks ago
- To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.☆244Updated 2 weeks ago
- NixOS flake containing full system configuration☆92Updated last year
- ☆42Updated 11 months ago
- myHyprland dotfiles for Laptop☆20Updated last month
- ☆137Updated 2 weeks ago
- My dotfiles for hyprland, kitty, neovim and others☆16Updated last month
- 🍚 Peak Riced NixOS Configuration. ❄️☆30Updated 6 months ago
- ❄️ my neovim config using nixvim☆203Updated 2 weeks ago
- My dotfiles from Arch☆8Updated 2 months ago
- Personal dotfiles☆50Updated last week
- ☆59Updated 6 months ago
- ☆16Updated last month
- A continually evolving multi-user, multi-host NixOS configuration.☆439Updated 3 weeks ago
- 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
- some not so overengineered NixOS dotfiles :)☆13Updated this week
- My Nix + Hyprland Setup☆127Updated 3 months ago
- Personal dwm configuration☆17Updated 4 months ago
- Dotfiles for NixOS☆344Updated last month
- ☆161Updated last month
- My personal nixos configuration☆25Updated 5 months ago
- NixOS + Hyprland rice with flakes and home-manager☆288Updated this week
- My Hyprland Dotfiles.☆112Updated 5 months ago
- ☆11Updated last year