Beast code in Giters

Vladimir Ivanov's repositories

pdf-show-highlights

Extract highlighted text from PDF file

Language:C8 3 1

org-protocol-jekyll

Jekyll's handler for org-protocol

Language:Emacs Lisp3 20

chesslab

Language:Ruby1 20

viewpoints-and-keypoints

Python implementation of https://github.com/shubhtuls/ViewpointsAndKeypoints (MATLAB)

Language:Python1 20

.emacs.d

My Emacs config

Language:Emacs Lisp010

hcloud

Cloud-Haskell broadcast messaging

Language:HaskellBSD-3-Clause020

ip-lookup

Solutions to the Longest-Prefix Matching (LPM) problem

Language:HaskellGPL-3.0010

seeds

gentoo overlay ----> layman -a seeds

Language:Shell02 5

blog

Language:CoqNOASSERTION010

coq-examples

Coq examples

Language:Coq020

eneroth-solid-tools

Solid operations for SketchUp

MIT000

facealignment

Docker images for https://www.adrianbulat.com/face-alignment

GPL-3.0020

file-system

Language:Coq020

hoare-tut

A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]

Language:CoqLGPL-3.0010

HsMuPDF

MuPDF binding for Haskell

Language:HaskellGPL-3.0020

llvm-hs

Haskell bindings for LLVM

Language:LLVM010

org-ruby

An Org mode parser written in Ruby.

Language:Ruby020

proof-by-refl

Proof by reflection with examples

Language:TeXGPL-3.0000

spectrogram

Language:Rust000

vonavi.me

Sources of my personal blog

Language:CSS000