Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Coq Metaprogramming Open Source Projects

Open source projects categorized as Coq Metaprogramming
Categories > Programming Languages > Metaprogramming
Metacoq ⭐ 344
Metaprogramming, verified meta-theory and implementation of Coq in Coq
most recent commit 15 days ago
Coq Elpi ⭐ 117
Coq plugin embedding elpi
most recent commit 3 months ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 3 years ago
Mtacar ⭐ 27
Mtac in Agda
most recent commit 3 years ago
Tactic Haskell ⭐ 24
Tactic Metaprogramming in Haskell
most recent commit 5 years ago
Metaprogramming Rosetta Stone ⭐ 10
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
most recent commit 10 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.