ashinkarov/nvim-agda ashinkarov/nvim-agda

  • Stars
    star
    32
  • Rank 785,181 (Top 16 %)
  • Language
    Lua
  • Created about 3 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashinkarov/nvim-agda
github

ashinkarov

Reviews

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

Repository Details

Agda interaction pluging for neovim

More Repositories

1

i3-extras

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

heh

A programming language with infinite arrays
OCaml
30
star
3

fbless

fb2 console reader
Python
24
star
4

cnn-in-apl

CNN in APL
APL
19
star
5

agda-array

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