pavenvivek/Agda-MetaProgramming pavenvivek/Agda-MetaProgramming

  • Stars
    star
    1
  • Language Agda
  • Created about 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pavenvivek/Agda-MetaProgramming
github

pavenvivek

Reviews

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

Repository Details

This repository contains tools for automated code generation using Agda reflection mechnism

More Repositories

1

Compiler-for-Scheme

The compiler for subset of scheme developed as part of P523
Scheme
31
star
2

WFLP-18

Implementation for Workshop on Functional and Logic Programming (WFLP 2018)
Agda
4
star
3

Raket-to-C_Interpreter

Converting a Racket interpreter to C using ParenthC interpreter
Racket
1
star
4

LPAR-2018

This repository contains implementation for LPAR conference
Agda
1
star