Package idris
Top Similar Packages
Packages that have similar categories to this package
- singletons 105
- accelerate 77
- hint 74
- reflection 66
- dependent-sum 24
- llvm-tf 24
- ddc-core 15
- accelerate-llvm-ptx 13
- llvm-general-pure 13
- accelerate-examples 12
- accelerate-io 12
- dependent-map 11
- llvm-hs-pure 11
- uu-cco 11
- accelerate-llvm-native 10
- llvm-extra 10
- ddc-core-simpl 9
- llvm-general 9
- ddc-core-salt 8
- hoopl 8