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 3 weeks ago
- This is the proper documentation of HTML, CSS, GIT & Github, JS and REACT☆15Updated 2 weeks ago
- ❄️ Ampersand's redesigned NixOS Config☆151Updated 2 months ago
- ❄️ My old NixOS configuration files☆311Updated 5 months ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆625Updated this week
- Welcome to my NixOS hyprland config☆311Updated last year
- Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…☆665Updated this week
- NixOS + Hyprland rice with flakes and home-manager☆270Updated this week
- ☆132Updated 3 weeks ago
- My Hyprland Dotfiles For Arch!☆353Updated 2 months ago
- a nixos implementation of hyprdots, a HyDE dotfiles configuration☆238Updated this week
- Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS☆885Updated this week
- Configuration files for my NixOS machine, declared by home-manager☆541Updated 2 years ago
- NixOS configuration for Hyprland☆17Updated 2 weeks ago
- To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.☆227Updated 2 months ago
- ❄️ my neovim config using nixvim☆204Updated last month
- NixOS, Nix-Darwin and home-manager configurations.☆223Updated this week
- Nix noob trying to build his system☆781Updated 7 months ago
- ☆220Updated 10 months ago
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆332Updated this week
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆19Updated last month
- My Nix + Hyprland Setup☆123Updated 2 months ago
- My personal Hyprland dotfiles!☆112Updated last month
- // A repository for HyDE themes☆122Updated 11 months ago
- My hyprland dotfiles☆470Updated 7 months ago
- 革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…☆565Updated 2 weeks ago
- ☆77Updated 11 months ago
- A mecha-themed Waybar configuration 🤖☆369Updated 2 weeks ago
- A continually evolving multi-user, multi-host NixOS configuration.☆427Updated last month
- i3/sway dotfiles☆149Updated last week