Discover @ashinkarov Open Source projects

Artem Shinkarov (@ashinkarov)

ashinkarov

Stars
790
Global Rank 37,484 (Top 2 %)
Followers 30
Following 21
Registered almost 13 years ago
Most used languages

Agda 25.0 %

C
25.0 %

Lua
6.3 %

APL 6.3 %

Shell
6.3 %

Python
6.3 %

Vim Script
6.3 %

OCaml
6.3 %

Rust
6.3 %

TeX
6.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 1,865
Country Ranking

APL 2

Agda 18

Shell
52

OCaml
56

Lua
138

Vim Script
361

TeX
744

C
1,554

Rust
2,110

Python
4,107

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

agda-array

Multi-dimensional arrays in Agda

trie

Simple implementation of trie data structure in C

dotfiles

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

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

agda-stacklang

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

termbook

Terminal reader for fb2 books

agda-array-morphism

Explore array/container morphisms using the <> operation

translit-plugin

Pidgin plugin for de-transliteraion of the russian messages

agda-extractor

A framework for extracting code from Agda into a costum language

teaching

Materials for OpenCL course we run in Heriot-Watt.