There are no reviews yet. Be the first to send feedback to the community and the maintainers!
i3-extras
Repository to keep patches and extras for i3 window manager.nvim-agda
Agda interaction pluging for neovimheh
A programming language with infinite arraysfbless
fb2 console readercnn-in-apl
CNN in APLagda-array
Multi-dimensional arrays in Agdadotfiles
Repository where I keep the dotfiles for easier migration across different machines.Bob
Preprocessor with c-like syntax and python-like generic lists2021-extraction-paper
Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanismsagda-stacklang
Experiments with stack-based languages a la Forth or PostScript and extractors for themtermbook
Terminal reader for fb2 booksagda-array-morphism
Explore array/container morphisms using the <> operationtranslit-plugin
Pidgin plugin for de-transliteraion of the russian messagesagda-extractor
A framework for extracting code from Agda into a costum languageteaching
Materials for OpenCL course we run in Heriot-Watt.Love Open Source and this site? Check out how you can help us