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 3 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…☆20Updated 2 months ago
- ☆45Updated 2 months ago
- Hyprland on NixOS - A Highly Customizable Flake ❄️🍃☆24Updated 3 months ago
- Welcome to my NixOS hyprland config☆328Updated last year
- A curated list of awesome unix user rices!☆138Updated last year
- NixOS + Hyprland rice with flakes and home-manager☆333Updated last week
- ☆39Updated last year
- 🏠 Personal dotfiles☆16Updated 2 weeks ago
- Just for sharing my Linux dotfiles☆56Updated last year
- ☆142Updated 2 months ago
- Here I will put all of my ricing files in hyprland☆182Updated 2 years ago
- ❄️ Ampersand's redesigned NixOS Config☆187Updated 5 months ago
- NixOS configuration for Hyprland☆19Updated last month
- Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…☆759Updated last week
- Personal Qtile configuration☆9Updated last month
- ☆45Updated 3 weeks ago
- my personal dotfiles, use at your own risk☆171Updated 9 months ago
- To Automate Installation of Hyprland on NixOS using flakes. NOTE: Dot configs are not written in Nix.☆276Updated last week
- A mecha-themed Waybar configuration 🤖☆453Updated last week
- My hyprland dotfiles☆546Updated 10 months ago
- Scratchpads & many goodies for Hyprland [maintainer=@fdev31]☆569Updated this week
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆716Updated this week
- NixOS flake containing full system configuration☆104Updated last year
- Nixos configuration feat. kurukurubar☆205Updated this week
- NixOS system config & Home-Manager user config☆971Updated 2 weeks ago
- Beautiful Hyprland Config☆25Updated 2 months ago
- 革 | kaku - Elegant NixOS rice centered around the Niri tiling window manager. A minimalist, functional environment built with the philoso…☆643Updated last week
- My general config and dotfiles for linux☆271Updated last month
- ☆124Updated 2 weeks ago