xokdvium

Sergei Zimmerman's repositories

Personal NixOS configuration flake

Language:Nix2 10

Various tasks that helped me learn C++

Language:C++100

Project templates for various languages

Language:NixMIT1 10

ArrayFire: a general purpose GPU library.

Language:C++BSD-3-Clause000

KLEE Symbolic Execution Engine

Language:C++NOASSERTION000

Nix, the purely functional package manager

Language:C++LGPL-2.1000

Nix language server, based on nix libraries [maintainer=@inclyc]

Language:C++LGPL-3.0000

Nix Packages collection & NixOS

Language:NixMIT000

System-wide colorscheming and typography for NixOS

Language:NixMIT000