Course on Metaprogramming
☆76Feb 5, 2026Updated 2 months ago
Alternatives and similar repositories for metaprogramming
Users that are interested in metaprogramming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Apr 3, 2026Updated last week
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Oct 31, 2025Updated 5 months ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 4 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated last month
- exploration of reflective architectures in Scheme