senchopens Goto Github PK
Name: Arseniy Chekanov
Type: User
Company: HSE, Applied Maths & Computer Science
Bio: Bachelor of Theoretical Computer Science at HSE -> C++ Engineer at IMC Trading
Twitter: senchopens
Location: Macondo
Name: Arseniy Chekanov
Type: User
Company: HSE, Applied Maths & Computer Science
Bio: Bachelor of Theoretical Computer Science at HSE -> C++ Engineer at IMC Trading
Twitter: senchopens
Location: Macondo
A presentation about the constructive proof of the Lovasz Local Lemma and its application to k-SAT with beamer animations.
Automatically generate a base16 color set for syntax highlighting based on the colors in an image
😎 A curated list of the best resources in the Nix community [maintainer=@houstdav000]
An architecture for building themes
:hammer: Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
A base16 colorscheme based on "Yellow, Red, Blue" by Wassily Kandinsky.
Base16 template for swaylock configuration
Theme applications with your favourite base16 colorschemes in Nix
My bioinformatics projects and algorithms
Golang implementation of Conway's game of life, that will (probably) work in a blockchain network.
Code for Cloud Haskell tutorial: https://habrahabr.ru/company/goto/blog/351496/
My CV
My dotfiles: i3wm, neovim, zsh, xkb, termite.
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
This is the repo of FindTheOwner telegram bot. Created by Sencho Pens
yaml parser in pure nix
Python-скрипт, генерирующий из списка преобразований LaTeX-код преобразований и результирующие матрицы.
HSE materials
Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики
Unofficial plugin for Interception Tools (caps2esc, space2meta, tab2altgr...)
declarative and reproducible Jupyter environments - powered by Nix
KoKoS - утилита для удобного решения задач курса АКОС.
Application launcher in haskell. Mostly Just For Fun.
Generates tex of a sequence of matrices produced by applying elementary operations and of permutations.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.