sergei-mironov/urweb-captcha
Captcha library in Ur/Web
Developer Profile
sergei-mironov
Discovered public repositories for sergei-mironov in the GitHub catalog.
sergei-mironov/captcha
tiny CAPTCHA with no dependencies
sergei-mironov/urweb-etab
Simple web-based archery competitions calendar written in Ur/Web
sergei-mironov/urweb-fviewer
Public repository.
sergei-mironov/ml-sb
ML sandbox (a toy language project)
sergei-mironov/ml-w
Minimal ML language to to demonstrate the W type infererence algorithm
sergei-mironov/brick
brick game in Ur/Web
sergei-mironov/urweb-soup
Collection of random Ur/Web routines
sergei-mironov/oilprice
urweb application
sergei-mironov/urweb-xmlw
Public repository.
sergei-mironov/vkhs
Haskell library dealing with vkontakte social network
sergei-mironov/urweb-utf8
Basic UTF8 library for Ur/Web
sergei-mironov/nixops
NixOps, the NixOS-based cloud deployment tool
sergei-mironov/tsyrenshop
Public repository.
sergei-mironov/urweb-prelude
Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
sergei-mironov/haskdogs
Haskell ctags/etags generator
sergei-mironov/urweb-homepage
Public repository.
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/urweb-compet
Ur/Web application (archery competitions manager)
sergei-mironov/uru3
Public repository.
sergei-mironov/usetman
Minimalistic network/user setting manager for embedded systems
sergei-mironov/vim-addon-urweb
the start of what you could call urweb support in Vim..
sergei-mironov/urweb-detach
Experimental: Detach a socket from the urweb context to serve large static files
sergei-mironov/urweb-monad-pack
Public repository.
sergei-mironov/urweb-pastebin
Public repository.
sergei-mironov/urweb-callback
urweb: run serve-side processes asynchronously
sergei-mironov/urweb-monad-state
MonadState implementation in Ur/Web
sergei-mironov/urweb-persona
Persona authentication example in Ur/Web
sergei-mironov/urscript
Ur/Web library for generating <script> tags
sergei-mironov/uru
Ur bindings for jQuery user interface widgets
sergei-mironov/urbugs
Bugs found while using Ur/Web
sergei-mironov/urxml
XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.
sergei-mironov/urembed
Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application
sergei-mironov/foocms
CMS in UrWeb (self-education)
sergei-mironov/vim-addon-nix
some scripts assisting wirting .nix files
sergei-mironov/cake3
Makefile DSL
sergei-mironov/QuasiText
Interpolated Text strings in Haskell.
sergei-mironov/nixdev
Configuration files for my NixOS systems
sergei-mironov/nerdtree
A tree explorer plugin for vim.
sergei-mironov/dotfiles
various NixOS configs
sergei-mironov/nixpkgs
Nix Packages collection
sergei-mironov/cyrvim
Russian layout mappings for vim as a plugin
sergei-mironov/find.vim
Helps vim to find your direcories
sergei-mironov/cycletags.vim
Vim plugin for cycling through your tags
sergei-mironov/vsim
VHDL simulator in Haskell
sergei-mironov/awesomerc-ierton
ierton's awesome config
sergei-mironov/xkb-switch
Switch your X keyboard layouts from the command line