Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / AnyDSL / impala2-experiment
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AnyDSL%2Fimpala2-experiment
Stars: 6
Forks: 0
Open Issues: 0
License: lgpl-3.0
Language: C++
Repo Size: 146 KB
Dependencies: pending
Created: about 6 years ago
Updated: 10 months ago
Last pushed: over 5 years ago
Last synced: 10 months ago
Topics: compiler, continuation-passing-style, cps, dependent-types, metaprogramming, partial-evaluators, programming-language