ashinkarov/agda-array ashinkarov/agda-array

  • Stars
    star
    7
  • Rank 2,250,582 (Top 46 %)
  • Language Agda
  • License
    ISC License
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashinkarov/agda-array
github

ashinkarov

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Multi-dimensional arrays in Agda

More Repositories

1

i3-extras

Repository to keep patches and extras for i3 window manager.
Shell
657
star
2

nvim-agda

Agda interaction pluging for neovim
Lua
32
star
3

heh

A programming language with infinite arrays
OCaml
30
star
4

fbless

fb2 console reader
Python
24
star
5

cnn-in-apl

CNN in APL
APL
19
star
6

trie

Simple implementation of trie data structure in C
C
5
star
7

dotfiles

Repository where I keep the dotfiles for easier migration across different machines.
Vim Script
3
star
8

Bob

Preprocessor with c-like syntax and python-like generic lists
C
3
star
9

2021-extraction-paper

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

agda-stacklang

Experiments with stack-based languages a la Forth or PostScript and extractors for them
TeX
2
star
11

termbook

Terminal reader for fb2 books
Rust
1
star
12

agda-array-morphism

Explore array/container morphisms using the <> operation
Agda
1
star
13

translit-plugin

Pidgin plugin for de-transliteraion of the russian messages
C
1
star
14

agda-extractor

A framework for extracting code from Agda into a costum language
Agda
1
star
15

teaching

Materials for OpenCL course we run in Heriot-Watt.
C
1
star