Pinned Repositories
2021-extraction-paper
Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms
agda-array
Multi-dimensional arrays in Agda
Bob
Preprocessor with c-like syntax and python-like generic lists
cnn-in-apl
CNN in APL
dotfiles
Repository where I keep the dotfiles for easier migration across different machines.
fbless
fb2 console reader
heh
A programming language with infinite arrays
i3-extras
Repository to keep patches and extras for i3 window manager.
nvim-agda
Agda interaction pluging for neovim
trie
Simple implementation of trie data structure in C
ashinkarov's Repositories
ashinkarov/i3-extras
Repository to keep patches and extras for i3 window manager.
ashinkarov/nvim-agda
Agda interaction pluging for neovim
ashinkarov/heh
A programming language with infinite arrays
ashinkarov/cnn-in-apl
CNN in APL
ashinkarov/agda-array
Multi-dimensional arrays in Agda
ashinkarov/2021-extraction-paper
Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms
ashinkarov/agda-stacklang
Experiments with stack-based languages a la Forth or PostScript and extractors for them
ashinkarov/agda-array-morphism
Explore array/container morphisms using the <> operation
ashinkarov/agda-extractor
A framework for extracting code from Agda into a costum language
ashinkarov/cnn-futhark
ashinkarov/termbook
Terminal reader for fb2 books
ashinkarov/translit-plugin
Pidgin plugin for de-transliteraion of the russian messages
ashinkarov/2025-types
Submission for TYPES'25
ashinkarov/agda
Agda is a dependently typed programming language / interactive theorem prover.
ashinkarov/agda-arrays-with-levels
Higher-level multidimensional arrays in Agda
ashinkarov/agda-ordinals
Ordinals in Cantor Normal Form
ashinkarov/agda-stdlib
The Agda standard library
ashinkarov/ashinkarov.github.com
Personal web pages
ashinkarov/CNN
Convolutional Neural Networks
ashinkarov/dotfiles-1
ashinkarov/eparakstitajs
Software stack to use latvian digital signature eparaksts
ashinkarov/high-school
This is an attempt to formalise Tarski High School Algebra problem in Agda
ashinkarov/home-manager
Manage a user environment using Nix [maintainer=@rycee]
ashinkarov/imap-lang
Reference counting in natural semantics
ashinkarov/pencilcc
ashinkarov/sac-json
Replaces xml-based configuration files in SaC with JSON-based.
ashinkarov/Stdlib
This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
ashinkarov/tensorflow
An Open Source Machine Learning Framework for Everyone
ashinkarov/TestB
ashinkarov/YAML
Provides interface to LibYAML to emit YAML