gmalecha / metaprogramming-rosetta-stone Public

forked from coq-community/metaprogramming-rosetta-stone

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]

0 stars 5 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 122 Commits
ac_simplifier/elpi		ac_simplifier/elpi
autoinduct		autoinduct
real_simplifier		real_simplifier
show/elpi		show/elpi
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md

Repository files navigation

Rosetta stone of metaprogramming in Coq

Meta

Author(s):
- Enzo Crance
- Davide Fissore
- Yannick Forster
- Gaëtan Gilbert
- Talia Ringer
- Michael Soegtrop
- Enrico Tassi
- Tomas Vallejos
Coq-community maintainer(s):
- Yannick Forster (@yforster)
License: MIT License
Compatible Coq versions: 8.17
Additional dependencies: multiple, see READMEs in directories

About

A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]

Report repository

Releases

No releases published

Packages

No packages published

Languages

Coq 83.7%
OCaml 8.5%
Prolog 4.1%
Makefile 3.7%