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☆31Updated this week
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆30Updated 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…☆37Updated 5 months ago
- Welcome to my NixOS hyprland config☆343Updated last year
- ❄️ My old NixOS configuration files☆351Updated 11 months ago
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆815Updated this week
- ❄️ Ampersand's redesigned NixOS Config☆228Updated 8 months ago
- 革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…☆743Updated this week
- Nix noob trying to build his system☆924Updated 3 weeks ago
- NixOS flake containing full system configuration☆123Updated last year
- To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.☆336Updated 2 weeks ago
- Just for sharing my Linux dotfiles☆65Updated last year
- a nixos implementation of hyprdots, a HyDE dotfiles configuration☆390Updated last week
- ☆54Updated last month
- A mecha-themed, modular Waybar configuration. 🤖☆633Updated this week
- Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…☆842Updated last week
- Vicious Viper Dotfiles☆413Updated 2 months ago
- NixOS + Hyprland rice with flakes, home-manager and dev-shells☆420Updated this week
- My personal Hyprland dotfiles!☆123Updated 3 months ago
- Nixy simplifies and unifies the Hyprland ecosystem with a modular, easily customizable setup. It provides a structured way to manage your…☆456Updated 3 weeks ago
- My hyprland dotfiles☆620Updated last year
- Nixos configuration feat. kurukurubar☆246Updated last week
- The dotfiles for my arch linux rice☆31Updated 6 months ago
- Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS☆1,221Updated this week
- my dotfiles for hyprland☆84Updated 6 months ago
- My hyprland configurations☆781Updated last week
- ☆158Updated last month
- Scratchpads & many goodies for Hyprland [maintainer=@fdev31]☆627Updated this week
- ☆38Updated 2 years ago
- NixOS system config & Home-Manager user config☆1,019Updated last week