Kirill Elagin's repositories

nixos-init

[VERY WIP] Look, I added systemd to your initramfs! It’s so much better now!

macos-keyboard-layout

Custom macOS keyboard layout generator. Typography layout included

Language:PythonLicense:NOASSERTIONStargazers:4Issues:2Issues:3

cerise

Coupled relational symbolic execution analysis for differential privacy

Language:HaskellStargazers:1Issues:3Issues:0
Language:ShellStargazers:1Issues:4Issues:0

git-annex-remote-rclone

Use rclone supported cloud storage providers with git-annex

Language:ShellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:1Issues:2Issues:0

infra

My computers as a Nix flake

Language:NixStargazers:1Issues:3Issues:0
Language:ShellStargazers:1Issues:3Issues:0

alot

Terminal-based Mail User Agent

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

conduit

A streaming data library

Language:HaskellStargazers:0Issues:2Issues:0
Language:Jupyter NotebookStargazers:0Issues:2Issues:0

fewer

A minimalistic watch face on a simple black backdrop

Stargazers:0Issues:3Issues:0

flake-utils

Pure Nix flake utility functions

Language:NixLicense:MITStargazers:0Issues:2Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:2Issues:0

go-ethereum

Official Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:3Issues:0

hs-libsodium

Haskell bindings to the libsodium C library

Language:HaskellStargazers:0Issues:2Issues:0

jupyterWith

declarative and reproducible Jupyter environments - powered by Nix

Language:Jupyter NotebookLicense:MITStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:3Issues:0
Language:NixStargazers:0Issues:3Issues:0
Language:NixStargazers:0Issues:3Issues:0

packages

Packages Repository

Language:ShellLicense:GPL-2.0Stargazers:0Issues:3Issues:0

PCSC

pcsc-lite: PC/SC implementation

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

radare2-explorations

A book on learning radare2.

Language:CSSStargazers:0Issues:2Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:2Issues:0

streamly

Beautiful Streaming, Concurrent and Reactive Composition (Haskell)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

vc-imp-guide

Verifiable Credentials Implementation Guidelines

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

vc-use-cases

Verifiable Claims Use Cases

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

viscm

A tool for visualizing and designing colormaps using colorspacious and matplotlib

Language:PythonLicense:MITStargazers:0Issues:2Issues:0