This is stars and forks stats for /AU-COBRA/typed-extraction repository. As of 29 Apr, 2024 this repository has 2 stars and 2 forks.
This repo is now merged into MetaCoq The typed-extraction library is now part of MetaCoq. typed-extraction Extraction of types, certifying transformations (eta, inlining), type annotations, the dearg optimization and corresponding proofs. The repository is an intermediate step towards moving this functionality to MetaCoq. Builds with Coq 8.14-8.16 and MetaCoq 1.1.1 How to build Our development works with Coq 8.16 and depends on MetaCoq and coq-equations. The dependencies can be installed through...
This repo is now merged into MetaCoq The typed-extraction library is now part of MetaCoq. typed-extraction Extraction of types, certifying transformations (eta, inlining), type annotations, the dearg optimization and corresponding proofs. The repository is an intermediate step towards moving this functionality to MetaCoq. Builds with Coq 8.14-8.16 and MetaCoq 1.1.1 How to build Our development works with Coq 8.16 and depends on MetaCoq and coq-equations. The dependencies can be installed through...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| ue12-p22/intro | CSSHTMLDockerfile | 0 | 0 | 0 | 0 |
| britton-jb/elixirconf_2022_broadway_training | ElixirCSSShell | 4 | 0 | 2 | 0 |
| ray-project/kuberay | GoPythonMakefile | 530 | 0 | 228 | 0 |
| cloudposse/terraform-aws-backup | HCLGoMakefile | 78 | 0 | 51 | 0 |
| spotinst/terraform-spotinst-ocean-controller | HCLMakefile | 11 | 0 | 13 | 0 |
| appuio/component-openshift4-slos | JsonnetMakefileShell | 0 | 0 | 0 | 0 |
| OCamlPro/gedcom-anonymizer | OCamlPythonMakefile | 0 | 0 | 1 | 0 |
| OCamlPro/scilint | OCamlScilabCSS | 10 | 0 | 5 | 0 |
| OCamlPro/digodoc | OCamlCSSHTML | 11 | 0 | 9 | 0 |
| sfmth/ibnalhaytham | VerilogPythonMakefile | 15 | 0 | 1 | 0 |