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 2 months ago
- 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 last month
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆22Updated 2 months ago
- ☆142Updated last month
- some not so overengineered NixOS dotfiles :)☆16Updated this week
- ❄️ Ampersand's redesigned NixOS Config☆181Updated 4 months ago
- Welcome to my NixOS hyprland config☆321Updated last year
- NixOS + Hyprland rice with flakes and home-manager☆300Updated 2 weeks ago
- ☆44Updated last month
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆680Updated last week
- NixOS configuration for Hyprland☆17Updated 3 weeks ago
- Just for sharing my Linux dotfiles☆54Updated last year
- Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…☆719Updated last week
- ☆39Updated last year
- ❄️ my neovim config using nixvim☆203Updated last month
- ❄️ My old NixOS configuration files☆322Updated 7 months ago
- a nixos implementation of hyprdots, a HyDE dotfiles configuration☆291Updated last week
- My personal Hyprland dotfiles!☆114Updated 2 weeks ago
- Personal Qtile configuration☆9Updated 2 weeks ago
- Dotfiles for NixOS☆344Updated last month
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆364Updated last week
- ☆19Updated last year
- NixOS Configuration☆35Updated 8 months ago
- NixOs/Nix Config using flake (flake-parts).☆103Updated 3 weeks ago
- My Nix + Hyprland Setup☆129Updated 4 months ago
- Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS☆966Updated this week
- NixOS flake containing full system configuration☆97Updated last year
- My general config and dotfiles for linux☆269Updated 3 weeks ago
- 革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…☆611Updated this week
- A nix library for modifying spotify with https://github.com/spicetify☆320Updated last week