Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for metaprogramming dependent types
dependent-types
x
metaprogramming
x
6 search results found
Meta Cedille
⭐
52
Minimalistic dependent type theory with syntactic metaprogramming
Ataca
⭐
45
A TACtic library for Agda
Auxify
⭐
23
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Vitamin
⭐
21
The Vitamin programming language
Box
⭐
9
A dependently-typed programming language for Minecraft
Impala2 Experiment
⭐
5
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
Related Searches
Language Metaprogramming (70)
Haskell Dependent Types (62)
Programming Metaprogramming (62)
Types Metaprogramming (56)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
