Pinned Repositories
.emacs.d
My Emacs config
chesslab
hcloud
Cloud-Haskell broadcast messaging
ip-lookup
Solutions to the Longest-Prefix Matching (LPM) problem
org-protocol-jekyll
Jekyll's handler for org-protocol
pdf-show-highlights
Extract highlighted text from PDF file
seeds
gentoo overlay ----> layman -a seeds
viewpoints-and-keypoints
Python implementation of https://github.com/shubhtuls/ViewpointsAndKeypoints (MATLAB)
vonavi's Repositories
vonavi/pdf-show-highlights
Extract highlighted text from PDF file
vonavi/org-protocol-jekyll
Jekyll's handler for org-protocol
vonavi/chesslab
vonavi/viewpoints-and-keypoints
Python implementation of https://github.com/shubhtuls/ViewpointsAndKeypoints (MATLAB)
vonavi/.emacs.d
My Emacs config
vonavi/hcloud
Cloud-Haskell broadcast messaging
vonavi/ip-lookup
Solutions to the Longest-Prefix Matching (LPM) problem
vonavi/seeds
gentoo overlay ----> layman -a seeds
vonavi/blog
vonavi/coq-examples
Coq examples
vonavi/dape
Debug Adapter Protocol for Emacs
vonavi/eneroth-solid-tools
Solid operations for SketchUp
vonavi/facealignment
Docker images for https://www.adrianbulat.com/face-alignment
vonavi/file-system
vonavi/hoare-tut
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
vonavi/HsMuPDF
MuPDF binding for Haskell
vonavi/llvm-hs
Haskell bindings for LLVM
vonavi/org-ruby
An Org mode parser written in Ruby.
vonavi/proof-by-refl
Proof by reflection with examples
vonavi/spectrogram
vonavi/vonavi.me
Sources of my personal blog