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☆28Updated last week
- 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…☆32Updated 5 months ago
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆30Updated last week
- A simple, consistent, and lightweight Hyprland configuration.☆88Updated last week
- my personal dotfiles, use at your own risk☆171Updated last year
- Just for sharing my Linux dotfiles☆64Updated last year
- ☆53Updated 3 weeks ago
- Hyprland with Matugen 💫☆134Updated 3 months ago
- My hyprland dotfiles☆605Updated last year
- HyprCandy (basic version of UltraCandy) is a feature rich Hyprland configuration for Arch and Arch-based distributions with system-wide c…☆33Updated 2 weeks ago
- ☆40Updated 2 years ago
- My Hyprland Dotfiles.☆115Updated last month
- A simple rofi theme using the Gruvbox Material color palette☆20Updated last year
- my dotfiles for hyprland☆84Updated 5 months ago
- Nixos configuration feat. kurukurubar☆241Updated last week
- My Hyprland config and dotfiles☆24Updated last year
- Dotfiles for my CachyOS system☆73Updated 10 months ago
- Welcome to my NixOS hyprland config☆340Updated last year
- Seraphic Dotfiles, includes rofi, sddm, spicetify, hyprlock themes☆242Updated last year
- Custom Interface for Hyprland, Rofi and Waybar - Check different branches☆220Updated 4 months ago
- My T430 Archlinux dotfiles☆22Updated 6 months ago
- ☆304Updated 3 months ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆801Updated this week
- My personal Hyprland dotfiles!☆122Updated 2 months ago
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆444Updated 2 weeks ago
- Themes for Hyprland WM☆470Updated last year
- Binary Harbinger's Hyprland dotfiles☆38Updated 3 months ago
- NixOS + Hyprland rice with flakes, home-manager and dev-shells☆403Updated last week
- 革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…☆727Updated this week
- Love to KISS my hyprland. Nah, I meant keep it simple stupid, jeez!☆196Updated this week