Discover @sergei-mironov Open Source projects

Sergei Mironov (@sergei-mironov)

sergei-mironov

Stars
601
Global Rank 49,204 (Top 2 %)
Followers 48
Following 11
Registered over 11 years ago
Most used languages

Haskell
25.8 %

UrWeb 12.9 %

Nix
12.9 %

Python
9.7 %

Shell
9.7 %

C
6.5 %

Makefile 6.5 %

C++
6.5 %

Lua
3.2 %

Vim Script
3.2 %

VHDL 3.2 %
Location 🇦🇲 Armenia
Country Total Rank 32
Country Ranking

Haskell
1

Nix
1

UrWeb 1

VHDL 2

Lua
3

C++
4

Makefile 4

Shell
5

Vim Script
9

C
21

Python
60

xkb-switch

Switch your X keyboard layouts from the command line

asterisk-dongle-setup

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

awesomerc-ierton

ierton's awesome config

mobile-nixos-cfg

A personal MobileNixos adventure

htvm

Haskell experiments involving TVM AI framework

cake3

nixtvm

udprelay

Symmetrical UDP relay

vsim

VHDL simulator in Haskell

oilprice

urweb application

urweb-build

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

uru3

rl

Refactored rl-examples

urweb-prelude

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

urweb-callback

urweb: run serve-side processes asynchronously

git-powercommit

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

urweb-monad-pack

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

litrepl

LitREPL is a command-line tool and a Vim plugin for code snippet evaluation

urxml

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

xscreensaver-run

Run the screensaver from XScreenSaver collection synchronousely in the fullscreen

topics

rm2env

reMarkable2 Nix environment

urweb-homepage

brick

brick game in Ur/Web

urweb-utf8

Basic UTF8 library for Ur/Web

urembed

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

ml-sb

ML sandbox (a toy language project)

vim-markdown-indent

Vim markdown indentation plugin

aicli

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