Vladimir Ivanov's repositories
pdf-show-highlights
Extract highlighted text from PDF file
org-protocol-jekyll
Jekyll's handler for org-protocol
viewpoints-and-keypoints
Python implementation of https://github.com/shubhtuls/ViewpointsAndKeypoints (MATLAB)
coq-examples
Coq examples
eneroth-solid-tools
Solid operations for SketchUp
MIT000
facealignment
Docker images for https://www.adrianbulat.com/face-alignment
proof-by-refl
Proof by reflection with examples
Language:TeXGPL-3.0000
Language:Rust000
vonavi.me
Sources of my personal blog
Language:CSS000