Sergei Mironov

xkb-switch. Switch your X keyboard layouts from the command line

asterisk-dongle-setup. Receive these bank verification SMS abroad (and more), in a hard way

haskdogs. Haskell ctags/etags generator

awesomerc-ierton. ierton's awesome config

mobile-nixos-cfg. A personal MobileNixos adventure

COVID-19_plus_Russia. COVID-19 data from JHU CSSE, updated with details on Russian regions.

htvm. Haskell experiments involving TVM AI framework

cake3. Makefile DSL

vkhs. Haskell library dealing with vkontakte social network

nixtvm. Python

vsim. VHDL simulator in Haskell

udprelay. Symmetrical UDP relay

litrepl. Litrepl is a command-line tool and Vim plugin for evaluating code sections within Markdown or LaTeX documents.

urweb-build. Build system for Ur/Web projects, written in Nix expression language

oilprice. urweb application

nixos-raspi-camera. RaspberryPi camera server in NixOS

urweb-prelude. Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library

urweb-callback. urweb: run serve-side processes asynchronously

uru3. UrWeb

git-powercommit. Commit all the changes to your git submodules tree using a single command.

rl. Refactored rl-examples

xscreensaver-run. Run the screensaver from XScreenSaver collection synchronousely in the fullscreen

urweb-monad-pack. UrWeb

urweb-monad-state. MonadState implementation in Ur/Web

nixos-ssh-over-tls. NixOS module which hides both HTTP and SSH daemons behind SSL proxy on the same port

urweb-homepage. UrWeb

nixos-raspi-installer. A custom NixOS installation image for RaspberryPi, cross-compiled.

aicli. A basic command-line interface for interacting with gpt4all ai runner using GNU Readline.

ml-sb. ML sandbox (a toy language project)

urweb-utf8. Basic UTF8 library for Ur/Web

vim-markdown-indent. Vim markdown indentation plugin

rm2env. reMarkable2 Nix environment

urembed. Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application

urxml. XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.

brick. brick game in Ur/Web