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 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…☆22Updated 3 months ago
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆26Updated last week
- ☆50Updated 3 weeks ago
- my dotfiles for hyprland☆83Updated 4 months ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆760Updated this week
- Welcome to my NixOS hyprland config☆332Updated last year
- The main control script for the Caelestia dotfiles☆52Updated this week
- Hyprland's idle daemon☆566Updated 2 weeks ago
- NixOS + Hyprland rice with flakes, home-manager and dev-shells☆381Updated this week
- ☆278Updated 2 months ago
- Nix noob trying to build his system☆875Updated 11 months ago
- ❄️ My old NixOS configuration files☆341Updated 9 months ago
- NixOS configuration for Hyprland☆21Updated last week
- Hyprland's GPU-accelerated screen locking utility☆1,280Updated last week
- Powerful workspace management plugin, packed with features☆202Updated last month
- Just for sharing my Linux dotfiles☆59Updated last year
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆427Updated last week
- a nixos implementation of hyprdots, a HyDE dotfiles configuration☆346Updated last week
- A mecha-themed Waybar configuration 🤖☆515Updated last week
- A very customizable SDDM theme that actually looks good.☆481Updated 3 weeks ago
- A simple rofi theme using the Gruvbox Material color palette☆19Updated 11 months ago
- Building blocks for creating custom desktop shells☆840Updated 2 weeks ago
- Custom Arch-Based Desktop Environment for Linux☆53Updated 6 months ago
- A material you color generation tool☆865Updated last week
- My personal Hyprland dotfiles!☆118Updated last month
- Configurable TUI clipboard manager for Unix☆747Updated last week
- My dotfiles :D☆136Updated 4 months ago
- A nix library for modifying spotify with https://github.com/spicetify☆341Updated last week
- Hyprland with Matugen 💫☆125Updated 2 months ago