ashinkarov/agda-extractor ashinkarov/agda-extractor

  • Stars
    star
    1
  • Language Agda
  • License
    ISC License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashinkarov/agda-extractor
github

ashinkarov

Reviews

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

Repository Details

A framework for extracting code from Agda into a costum language

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

agda-array

Multi-dimensional arrays in Agda
Agda
7
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

2021-extraction-paper

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

agda-stacklang

Experiments with stack-based languages a la Forth or PostScript and extractors for them
TeX
2
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

teaching

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