-
HSE, Applied Maths & Computer Science
- Macondo
- @senchopens
-
base16.nix Public
Theme applications with your favourite base16 colorschemes in Nix
-
fromYaml Public
Forked from 573/fromYamlyaml parser in pure nix
-
-
-
-
telegram-bot-simple Public
Forked from fizruk/telegram-bot-simpleEasy to use library for building Telegram bots in Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 27, 2023 -
base16-kandinsky Public
A base16 colorscheme based on "Yellow, Red, Blue" by Wassily Kandinsky.
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 25, 2023 -
jupyterWith Public
Forked from tweag/jupyenvdeclarative and reproducible Jupyter environments - powered by Nix
Nix MIT License UpdatedJul 9, 2023 -
stylix Public
Forked from danth/stylixSystem-wide colorscheming and typography for NixOS
Mustache MIT License UpdatedMay 20, 2023 -
poetry2nix Public
Forked from nix-community/poetry2nixConvert poetry projects to nix automagically [maintainer=@adisbladis]
Nix MIT License UpdatedMay 19, 2023 -
-
animelll Public
A presentation about the constructive proof of the Lovasz Local Lemma and its application to k-SAT with beamer animations.
-
senixos Public archive
Forked from balsoft/nixos-configMy NixOS dofiles: sway, neovim, zsh, alacritty
-
-
Term-Paper-LaTeX-Template Public
Forked from DimaTrushin/Term-Paper-LaTeX-TemplateTeX UpdatedFeb 17, 2022 -
awesome-nix Public
Forked from nix-community/awesome-nix😎 A curated list of the best resources in the Nix community [maintainer=@houstdav000]
Creative Commons Zero v1.0 Universal UpdatedFeb 7, 2022 -
base16 Public
Forked from mateomarks/base16An architecture for building themes
Other UpdatedJan 11, 2022 -
base16-swaylock Public
Base16 template for swaylock configuration
Mustache MIT License UpdatedNov 18, 2021 -
kks Public
Forked from darkkeks/kksKoKoS - утилита для удобного решения задач курса АКОС.
Python UpdatedNov 10, 2021 -
hse_missing_cs_education Public
Forked from danlark1/hse_missing_cs_educationЭто репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики
Shell MIT License UpdatedOct 23, 2021 -
gauss-generator Public
Python-скрипт, генерирующий из списка преобразований LaTeX-код преобразований и результирующие матрицы.
-
-
-
-
numpy Public
Forked from numpy/numpyThe fundamental package for scientific computing with Python.
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 12, 2021 -
base16-builder Public
Forked from base16-builder/base16-builder🔨 Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
HTML MIT License UpdatedMay 6, 2021 -
fabric-docs-i18n Public
Forked from hyperledger/fabric-docs-i18nHyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry u…
Creative Commons Attribution 4.0 International UpdatedMar 5, 2021 -
-
linalg-tex-generator Public
Generates tex of a sequence of matrices produced by applying elementary operations and of permutations.
Python UpdatedJan 17, 2021