Artem Shinkarov

i3-extras. Repository to keep patches and extras for i3 window manager.

nvim-agda. Agda interaction pluging for neovim

heh. A programming language with infinite arrays

fbless. fb2 console reader

cnn-in-apl. CNN in APL

agda-array. Multi-dimensional arrays in Agda

trie. Simple implementation of trie data structure in C

Bob. Preprocessor with c-like syntax and python-like generic lists

2021-extraction-paper. Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms

dotfiles. Repository where I keep the dotfiles for easier migration across different machines.

agda-stacklang. Experiments with stack-based languages a la Forth or PostScript and extractors for them

agda-extractor. A framework for extracting code from Agda into a costum language

cnn-futhark. HTML

translit-plugin. Pidgin plugin for de-transliteraion of the russian messages

teaching. Materials for OpenCL course we run in Heriot-Watt.

termbook. Terminal reader for fb2 books

agda-array-morphism. Explore array/container morphisms using the <> operation

2025-types. Submission for TYPES'25

eparakstitajs. Software stack to use latvian digital signature eparaksts