ashinkarov Goto Github PK

2021-extraction-paper

Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-array

Multi-dimensional arrays in Agda

agda-array-morphism

Explore array/container morphisms using the <> operation

agda-arrays-with-levels

Higher-level multidimensional arrays in Agda

agda-extractor

A framework for extracting code from Agda into a costum language

agda-ordinals

Ordinals in Cantor Normal Form

agda-stacklang

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

agda-stdlib

The Agda standard library

ashinkarov.github.com

Personal web pages

bob

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

brute-jit

Compile a source code and link against it in runtime

cnn

Convolutional Neural Networks

cnn-in-apl

CNN in APL

dotfiles

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

dotfiles-1

eparakstitajs

Software stack to use latvian digital signature eparaksts

fbless

fb2 console reader

heh

A programming language with infinite arrays

high-school

This is an attempt to formalise Tarski High School Algebra problem in Agda

home-manager

Manage a user environment using Nix [maintainer=@rycee]

i3

A better tiling and dynamic window manager

i3-extras

Repository to keep patches and extras for i3 window manager.

imap-lang

Reference counting in natural semantics

nvim-agda

Agda interaction pluging for neovim

pencilcc

profanity

Ncurses based jabber client

sac-devcamp-2013

Plans and ideas for the upcoming SaC devcamp in Linz

sac-json

Replaces xml-based configuration files in SaC with JSON-based.

software-foundations-coq-workshop

Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea