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 this 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…☆20Updated 3 months ago
- ☆46Updated last week
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆24Updated this week
- ❄️ Ampersand's redesigned NixOS Config☆201Updated 5 months ago
- NixOS configuration for Hyprland☆18Updated 2 months ago
- Nixos configuration feat. kurukurubar☆213Updated this week
- NixOS + Hyprland rice with flakes and home-manager☆354Updated this week
- Welcome to my NixOS hyprland config☆333Updated last year
- ❄️ My old NixOS configuration files☆337Updated 8 months ago
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆418Updated last week
- Just for sharing my Linux dotfiles☆57Updated last year
- Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS☆1,081Updated this week
- ☆16Updated 4 months ago
- NixOS flake containing full system configuration☆106Updated last year
- Nix noob trying to build his system☆854Updated 10 months ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆735Updated this week
- To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.☆284Updated 3 weeks ago
- ❄️ my neovim config using nixvim☆203Updated 2 months ago
- My Nix + Hyprland Setup☆133Updated 5 months ago
- a nixos implementation of hyprdots, a HyDE dotfiles configuration☆339Updated this week
- ☆143Updated 2 months ago
- my dotfiles for hyprland☆83Updated 3 months ago
- ☆260Updated last month
- MaxMur NixOS config & Home-Manager config☆306Updated 5 months ago
- A continually evolving multi-user, multi-host NixOS configuration.☆488Updated 3 weeks ago
- my personal dotfiles, use at your own risk☆171Updated 10 months ago
- Hyprland's idle daemon☆560Updated last week
- A material you color generation tool☆826Updated this week
- 🍚 Peak Riced NixOS Configuration. ❄️☆36Updated 8 months ago