Vladimir Komendantskiy's repositories
linux-sunxi
Linux source for Allwinner/Boxchip F20 (sun3i), A10 (sun4i), A12/A13/A10S (sun5i) and A20 (sun7i) SoCs
cargo-make
Rust task runner and build tool.
eth-consensus-slides
Slides for Edinburgh Rust meetup #3
eth-kovan-deploy
Deploy a contract and call it on Kovan using web3v1, etherscan.io and infura.io
Formality
An efficient programming language and proof assistant.
hoodlum
A nicer HDL.
invoice-boilerplate
Simple automated LaTeX invoicing system
langpacks
Standardized builder and runners for Algorithmia algorithms
mercury
The Mercury logic programming system.
merkle.rs
:christmas_tree: A Rust implementation of a Merkle tree
rust
A safe, concurrent, practical language.
rust-trezor-api
Rust client library for interfacing with Trezor hardware wallet devices
rust.ko
A minimal Linux kernel module written in rust.
SSL-TLS-clientserver
SSL/TLS client server examples using libssl and polarssl
ST_Drone_FCU_F401
Toy drone project for STEVAL-FCU001V1 flight controller unit demo board.
stm32-cmake
CMake for stm32 developing.
styleguide
Style guides for Google-originated open-source projects
sunxi-nfc-mtd
Allwinner A10 NFC Linux MTD driver
test_01
Temporary test project.
u-boot-sunxi
Allwinner A1x native u-boot support