Alternatives and similar repositories for cours-Logique-Formelle:

Users that are interested in cours-Logique-Formelle are comparing it to the libraries listed below

• srtaoufik / Cours-ASD-en-C
  Cours ASD et Atelier de programmation C
  ☆27Updated 2 weeks ago
• titanknis / ISIMM-L1-Info-Cours
  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…
  ☆13Updated last week
• erictossell / nixflakes
  My nixdots, but flaked.
  ☆303Updated last month
• elythh / nixvim
  ❄️ my neovim config using nixvim
  ☆180Updated this week
• EmergentMind / nix-config
  A continually evolving multi-user, multi-host NixOS configuration.
  ☆330Updated this week
• anotherhadi / nixy
  Nixy is a Hyprland NixOS configuration with home-manager, secrets and custom theming all in one place. It's a simple way to manage your s…
  ☆241Updated this week
• Frost-Phoenix / nixos-config
  ❄️ NixOs / Hyprland rice with Home-Manager ❄️
  ☆491Updated this week
• Arana-Jayavihan / Lucifers_NIX
  Hyprland on NixOS - A Highly Customizable Flake ❄️🍃
  ☆16Updated 3 weeks ago
• Gerg-L / spicetify-nix
  A nix flake for configuring spicetify. Includes packaging for many popular themes and extensions.
  ☆217Updated this week
• librephoenix / nixos-config
  Nix noob trying to build his system
  ☆680Updated 3 months ago
• Goxore / nixconf
  ☆38Updated 2 months ago
• HeinzDev / Hyprland-dotfiles
  Welcome to my NixOS hyprland config
  ☆277Updated last year
• Andrey0189 / nixos-config
  ❄️ My old NixOS configuration files
  ☆270Updated last month
• NotAShelf / nvf
  A highly modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS.
  ☆506Updated this week
• catppuccin / nix
  ❄️ Soothing pastel theme for Nix
  ☆457Updated last week
• NotAShelf / nyx
  My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS.
  ☆355Updated 5 months ago
• MarceColl / zen-browser-flake
  Nix Flake for the Zen Browser
  ☆180Updated 4 months ago
• AlexNabokikh / nix-config
  NixOS, Nix-Darwin and home-manager configurations.
  ☆141Updated this week
• redyf / nixdots
  Dotfiles for NixOS
  ☆315Updated 3 weeks ago
• Sly-Harvey / NixOS
  NixOS + Hyprland + Catppuccin
  ☆108Updated this week
• XNM1 / linux-nixos-hyprland-config-dotfiles
  Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experi…
  ☆535Updated this week
• Misterio77 / nix-colors
  Modules and schemes to make theming with Nix awesome.
  ☆520Updated 8 months ago
• HirschBerge / Public-dots
  Sanitized publicly available dotfiles for my NixOS flake. Now better than ever and kept up to date to my private repo via git hook script…
  ☆72Updated this week
• Gako358 / neovim
  Neovim config for NixOS
  ☆94Updated this week
• redyf / Neve
  Neve is a Neovim configuration built with Nixvim, it allows you to use Nix language to manage Neovim plugins/options.
  ☆186Updated last week
• hyprland-community / pyprland
  Scratchpads & many goodies for Hyprland [maintainer=@fdev31]
  ☆445Updated this week
• Misterio77 / nix-config
  Personal nixos and home-manager configurations.
  ☆905Updated this week
• Serpentian / AlfheimOS
  ❄️ AlfheimOS (NixOS + home-manager + hyprland + ags + neovim)
  ☆111Updated last week
• vimjoyer / nixconf
  ☆106Updated 2 months ago
• niksingh710 / ndots
  NixOs/Nix Config using flake (flake-parts).
  ☆79Updated last month