ashinkarov/2021-extraction-paper ashinkarov/2021-extraction-paper

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Agda
  • Created almost 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashinkarov/2021-extraction-paper
github

ashinkarov

Reviews

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

Repository Details

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

More Repositories

1

i3-extras

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

nvim-agda

Agda interaction pluging for neovim
Lua
36
star
3

heh

A programming language with infinite arrays
OCaml
31
star
4

fbless

fb2 console reader
Python
25
star
5

cnn-in-apl

CNN in APL
APL
21
star
6

agda-array

Multi-dimensional arrays in Agda
Agda
8
star
7

trie

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

dotfiles

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

Bob

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

agda-stacklang

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

cnn-futhark

Futhark
1
star
12

termbook

Terminal reader for fb2 books
Rust
1
star
13

agda-array-morphism

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

translit-plugin

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

agda-extractor

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

teaching

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