Pinned Repositories
asterisk-dongle-setup
Playground project aimed at setting up Asterisk server and the GSM stack on Nix.
awesomerc-ierton
ierton's awesome config
COVID-19_plus_Russia
COVID-19 data from JHU CSSE, updated with details on Russian regions.
haskdogs
Haskell ctags/etags generator
htvm
Haskell experiments involving TVM AI framework
mobile-nixos-cfg
A personal MobileNixos adventure
seminarium
xkb-switch
Switch your X keyboard layouts from the command line
pylightnix
A Nix-style immutable data management library in Python
sergei-mironov's Repositories
sergei-mironov/vsim
VHDL simulator in Haskell
sergei-mironov/urweb-prelude
Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
sergei-mironov/urweb-monad-pack
sergei-mironov/nixdev
Configuration files for my NixOS systems
sergei-mironov/urweb-monad-state
MonadState implementation in Ur/Web
sergei-mironov/brick
brick game in Ur/Web
sergei-mironov/urembed
Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application
sergei-mironov/urweb-utf8
Basic UTF8 library for Ur/Web
sergei-mironov/urxml
XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.
sergei-mironov/Archery-Stereotypes
sergei-mironov/captcha
tiny CAPTCHA with no dependencies
sergei-mironov/dotfiles
various NixOS configs
sergei-mironov/Duma
get and analyze data of voting vehavior of Russian State Duma
sergei-mironov/fence_test
test for memory barriers
sergei-mironov/foocms
CMS in UrWeb (self-education)
sergei-mironov/nixops
NixOps, the NixOS-based cloud deployment tool
sergei-mironov/pam_tacplus
TACACS+ protocol client library and PAM module in C. This PAM module support authentication, authorization (account management) and accounting (session management)performed using TACACS+ protocol designed by Cisco.
sergei-mironov/QuasiText
Interpolated Text strings in Haskell.
sergei-mironov/tsyrenshop
sergei-mironov/urbugs
Bugs found while using Ur/Web
sergei-mironov/urscript
Ur/Web library for generating <script> tags
sergei-mironov/uru
Ur bindings for jQuery user interface widgets
sergei-mironov/urweb-compet
Ur/Web application (archery competitions manager)
sergei-mironov/urweb-detach
Experimental: Detach a socket from the urweb context to serve large static files
sergei-mironov/urweb-etab
Simple web-based archery competitions calendar written in Ur/Web
sergei-mironov/urweb-pastebin
sergei-mironov/urweb-persona
Persona authentication example in Ur/Web
sergei-mironov/usetman
Minimalistic network/user setting manager for embedded systems
sergei-mironov/vim-addon-nix
some scripts assisting wirting .nix files
sergei-mironov/vim-addon-urweb
the start of what you could call urweb support in Vim..