Sergei Mironov (@grwlf)
github

grwlf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    567
  • Global Rank 49,908 (Top 2 %)
  • Followers 44
  • Following 11
  • Registered almost 11 years ago
  • Most used languages
    Haskell
         27.6 %
    UrWeb     13.8 %
    Nix
         13.8 %
    C
         10.3 %
    Shell
         10.3 %
    C++
         6.9 %
    Makefile     6.9 %
    Python
         3.4 %
    VHDL     3.4 %
    Lua
         3.4 %
  • Location 🇦🇲 Armenia
  • Country Total Rank 32
  • Country Ranking
    Haskell
         1
    Nix
         1
    UrWeb     1
    VHDL     1
    C++
         4
    Lua
         4
    Makefile     4
    Shell
         5
    C
         19
    Python
         69

Top repositories

1

xkb-switch

Switch your X keyboard layouts from the command line
C++
334
star
2

asterisk-dongle-setup

Playground project aimed at setting up Asterisk server and the GSM stack on Nix.
Nix
25
star
3

awesomerc-ierton

ierton's awesome config
Lua
24
star
4

htvm

Haskell experiments involving TVM AI framework
Haskell
21
star
5

mobile-nixos-cfg

A personal MobileNixos adventure
Shell
19
star
6

cake3

Makefile DSL
Haskell
12
star
7

nixtvm

Python
11
star
8

vsim

VHDL simulator in Haskell
VHDL
9
star
9

udprelay

Symmetrical UDP relay
C
7
star
10

oilprice

urweb application
Makefile
6
star
11

urweb-build

Build system for Ur/Web projects, written in Nix expression language
Nix
5
star
12

rl

Refactored rl-examples
Haskell
4
star
13

urweb-callback

urweb: run serve-side processes asynchronously
C++
4
star
14

uru3

UrWeb
4
star
15

git-powercommit

Commit all the changes to your git submodules tree using a single command.
Shell
4
star
16

urweb-monad-pack

UrWeb
3
star
17

urweb-prelude

Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
UrWeb
3
star
18

urweb-monad-state

MonadState implementation in Ur/Web
Haskell
2
star
19

nixos-ssh-over-tls

NixOS module which hides both HTTP and SSH daemons behind SSL proxy on the same port
Nix
2
star
20

litrepl.vim

LitREPL is a Command-line tool and a Vim plugin for Python literate programming, aimed at providing the text-friendly code editing and execution workflow
C
2
star
21

urxml

XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.
Haskell
1
star
22

xscreensaver-run

Run the screensaver from XScreenSaver collection synchronousely in the fullscreen
C
1
star
23

topics

Nix
1
star
24

rm2env

reMarkable2 Nix environment
Shell
1
star
25

urweb-homepage

UrWeb
1
star
26

urweb-utf8

Basic UTF8 library for Ur/Web
Makefile
1
star
27

urembed

Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application
Haskell
1
star
28

ml-sb

ML sandbox (a toy language project)
Haskell
1
star
29

brick

brick game in Ur/Web
Haskell
1
star