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/COVID-19_plus_Russia
COVID-19 data from JHU CSSE, updated with details on Russian regions.
sergei-mironov/htvm
Haskell experiments involving TVM AI framework
sergei-mironov/vkhs
Haskell library dealing with vkontakte social network
sergei-mironov/nixtvm
sergei-mironov/udprelay
Symmetrical UDP relay
sergei-mironov/ml-sb
ML sandbox (a toy language project)
sergei-mironov/topics
sergei-mironov/seminarium
sergei-mironov/asterisk-chan-dongle
chan_dongle channel driver for Huawei UMTS cards, works with Asterisk 14+
sergei-mironov/coquille
Interactive theorem proving with Coq in vim.
sergei-mironov/fileparsetools
sergei-mironov/fpoop-dsl
OOP concepts as a DSL in Haskell
sergei-mironov/galaxy-lang
sergei-mironov/kitty
Cross-platform, fast, feature-rich, GPU based terminal
sergei-mironov/mobile-nixos
sergei-mironov/mobile-nixos-tools
sergei-mironov/nl2bash
Generating bash command from natural language https://arxiv.org/abs/1802.08979
sergei-mironov/ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg, https://nix.ci/status
sergei-mironov/openvpn-monitor
openvpn-monitor is a web based OpenVPN monitor, that shows current connection information, such as users, location and data transferred.
sergei-mironov/qsim
Quantum simulator prototype
sergei-mironov/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
sergei-mironov/spleeter
Deezer source separation library including pretrained models.
sergei-mironov/streets
Collection of tools to scrap and format lists of city streets
sergei-mironov/TensorFlow-Examples
TensorFlow Tutorial and Examples for Beginners with Latest APIs
sergei-mironov/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
sergei-mironov/ultimate_posts
Ultimate posts for opendatascience telegram channel
sergei-mironov/ultimatum-game
sergei-mironov/uniweb
sergei-mironov/vim-grepper
:space_invader: Helps you win at grep.
sergei-mironov/vk-photo-reclaimer