Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "dependent-types" keyword
tf.tofu:cherry-parse_3 0.0.11
Universal Data design and transform language core3 versions - Latest release: almost 2 years ago - 1 dependent package - 7 stars on GitHub
org.aya-prover:tools-repl 0.30.0
The Aya proof assistant24 versions - Latest release: 5 months ago - 3 dependent packages - 189 stars on GitHub
org.aya-prover:tools 0.30.0
The Aya proof assistant26 versions - Latest release: 5 months ago - 5 dependent packages - 189 stars on GitHub
org.aya-prover:ide 0.30.0
The Aya proof assistant12 versions - Latest release: 5 months ago - 1 dependent package - 189 stars on GitHub
org.aya-prover:parser 0.30.0
The Aya proof assistant32 versions - Latest release: 5 months ago - 2 dependent packages - 189 stars on GitHub
org.aya-prover:api 0.8.3
The Aya proof assistant10 versions - Latest release: over 2 years ago - 1 dependent package - 189 stars on GitHub
org.aya-prover:cli 0.8.3
The Aya proof assistant20 versions - Latest release: over 2 years ago - 2 dependent packages - 189 stars on GitHub
org.aya-prover:pretty 0.30.0
The Aya proof assistant32 versions - Latest release: 5 months ago - 8 dependent packages - 189 stars on GitHub
org.aya-prover:base 0.30.0
The Aya proof assistant32 versions - Latest release: 5 months ago - 1 dependent package - 189 stars on GitHub
org.aya-prover:lsp 0.27
The Aya proof assistant16 versions - Latest release: over 1 year ago - 189 stars on GitHub
tf.tofu:cherry-adapt_3 0.0.11
Universal Data design and transform language core3 versions - Latest release: almost 2 years ago - 7 stars on GitHub
tf.tofu:cherry-lamr_3 0.0.11
Universal Data design and transform language core3 versions - Latest release: almost 2 years ago - 2 dependent packages - 7 stars on GitHub
tf.tofu:cherry-fix_3 0.0.11
Universal Data design and transform language core1 version - Latest release: almost 2 years ago - 1 dependent package - 7 stars on GitHub
com.github.dmytromitin:auxify-syntactic-meta_2.13 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...3 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-meta-core_2.12 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...5 versions - Latest release: almost 4 years ago - 1 dependent package - 27 stars on GitHub
com.github.dmytromitin:auxify-meta-core_2.13 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...3 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:shapeless_2.10 2.4.0-SNAPSHOT-18022020-bf55524-PATCH
core1 version - Latest release: almost 4 years ago - 1 dependent package - 0 stars on GitHub
com.github.dmytromitin:shapeless_2.11 2.4.0-SNAPSHOT-18022020-bf55524-PATCH
core2 versions - Latest release: almost 4 years ago - 1 dependent package - 0 stars on GitHub
com.github.dmytromitin:shapeless_2.13 2.4.0-SNAPSHOT-18022020-bf55524-PATCH
core2 versions - Latest release: almost 4 years ago - 1 dependent package - 0 stars on GitHub
com.github.dmytromitin:auxify-macros_2.11 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...8 versions - Latest release: almost 4 years ago - 1 dependent package - 27 stars on GitHub
com.github.dmytromitin:shapeless_2.12 2.4.0-SNAPSHOT-18022020-bf55524-PATCH
core2 versions - Latest release: almost 4 years ago - 1 dependent package - 0 stars on GitHub
com.github.dmytromitin:auxify-meta_2.13 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-macros_2.12 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...8 versions - Latest release: almost 4 years ago - 1 dependent package - 27 stars on GitHub
com.github.dmytromitin:auxify-meta-core_2.11 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-shapeless_2.12 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-meta_2.12 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...5 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-shapeless_2.11 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-shapeless_2.10 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-macros_2.13 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...8 versions - Latest release: almost 4 years ago - 1 dependent package - 27 stars on GitHub
com.github.dmytromitin:auxify-syntactic-meta_2.11 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-syntactic-meta_2.12 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...3 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-meta_2.11 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-shapeless_2.13 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...2 versions - Latest release: almost 4 years ago - 27 stars on GitHub
com.github.dmytromitin:auxify-macros_2.10 0.8
Library providing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax and ...8 versions - Latest release: almost 4 years ago - 1 dependent package - 27 stars on GitHub
com.thoughtworks.feature:structural_sjs0.6_2.12 2.3.0+108-d000b3a4
Structural24 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:byname_2.12 2.3.0+100-4ca5e9d3
ByName37 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:include_sjs0.6_2.11 2.0.0-RC6
include1 version - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:structural_2.12 2.3.0+103-00ae00f5
Structural24 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:mixin_2.11 2.3.0+100-4ca5e9d3
Mixin43 versions - Latest release: over 4 years ago - 2 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:untyper_sjs0.6_2.12 2.3.0+140-594be493
Untyper43 versions - Latest release: over 4 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:partialapply_sjs0.6_2.12 2.3.0+100-4ca5e9d3
PartialApply38 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:override_2.11 1.1.0
Override6 versions - Latest release: about 7 years ago - 2 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:mixins-implicitssingleton_2.11 2.3.0+105-812a461f
mixins-ImplicitsSingleton27 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:selftype_2.12 2.3.0+109-b9b5ae39
SelfType24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:mixins-implicitssingleton_sjs0.6_2.12 2.3.0+100-4ca5e9d3
mixins-ImplicitsSingleton27 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:untyper_sjs0.6_2.11 2.3.0
Untyper43 versions - Latest release: almost 6 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:include_2.11 2.0.0-RC6
include1 version - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:new_2.11 2.0.0-RC4
New2 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:glb_2.12 2.3.0
Glb24 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:implicitapply_sjs0.6_2.12 2.3.0+100-4ca5e9d3
ImplicitApply38 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:caller_sjs0.6_2.11 2.3.0+100-4ca5e9d3
Caller43 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:mixin_sjs0.6_2.12 2.3.0+100-4ca5e9d3
Mixin43 versions - Latest release: over 4 years ago - 2 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:new_sjs0.6_2.12 2.0.0-RC4
New2 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:factory_sjs0.6_2.11 2.3.0
Factory36 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:partialapply_2.11 2.3.0+105-812a461f
PartialApply38 versions - Latest release: over 4 years ago - 6 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:byname_sjs0.6_2.11 2.3.0+108-d000b3a4
ByName37 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:selftype_sjs0.6_2.12 2.3.0+108-d000b3a4
SelfType24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:constructor_sjs0.6_2.11 2.3.0
Constructor43 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:structural_2.11 2.3.0+103-00ae00f5
Structural24 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:selftype_sjs0.6_2.11 2.3.0+108-d000b3a4
SelfType24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:glb_sjs0.6_2.11 2.3.0+128-9541d670
Glb24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:constructor_sjs0.6_2.12 2.3.0+103-00ae00f5
Constructor43 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:implicitapply_sjs0.6_2.11 2.3.0+103-00ae00f5
ImplicitApply38 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:the_sjs0.6_2.11 2.3.0+114-424a6180
The41 versions - Latest release: over 4 years ago - 3 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:unidoc_2.11 1.1.0
unidoc10 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:byname_sjs0.6_2.12 2.3.0
ByName37 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:mixin_sjs0.6_2.11 2.3.0+100-4ca5e9d3
Mixin43 versions - Latest release: over 4 years ago - 2 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:implicitapply_2.11 2.3.0+134-f7e54165
ImplicitApply38 versions - Latest release: over 4 years ago - 9 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:caller_sjs0.6_2.12 2.3.0+100-4ca5e9d3
Caller43 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:mixins-implicitssingleton_sjs0.6_2.11 2.3.0+105-812a461f
mixins-ImplicitsSingleton27 versions - Latest release: over 4 years ago - 31 stars on GitHub
com.thoughtworks.feature:factory_sjs0.6_2.12 2.3.0
Factory36 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:glb_2.11 2.3.0+134-f7e54165
Glb24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:mixin_2.12 2.3.0+100-4ca5e9d3
Mixin43 versions - Latest release: over 4 years ago - 2 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:mixins-implicitssingleton_2.12 2.3.0
mixins-ImplicitsSingleton27 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:byname_2.11 2.3.0+108-d000b3a4
ByName37 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:unidoc_2.12 1.1.0
unidoc10 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:partialapply_2.12 2.3.0+100-4ca5e9d3
PartialApply38 versions - Latest release: over 4 years ago - 6 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:factory_2.12 2.3.0+100-4ca5e9d3
Factory36 versions - Latest release: over 4 years ago - 9 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:caller_2.11 2.3.0+100-4ca5e9d3
Caller43 versions - Latest release: over 4 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:caller_2.12 2.3.0
Caller43 versions - Latest release: almost 6 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:untyper_2.12 2.3.0
Untyper43 versions - Latest release: almost 6 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:the_2.11 2.3.0
The41 versions - Latest release: almost 6 years ago - 3 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:the_sjs0.6_2.12 2.3.0+105-812a461f
The41 versions - Latest release: over 4 years ago - 3 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:new_2.12 2.0.0-RC4
New2 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:include_2.12 2.0.0-RC6
include1 version - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:include_sjs0.6_2.12 2.0.0-RC6
include1 version - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:untyper_2.11 2.3.0+100-4ca5e9d3
Untyper43 versions - Latest release: over 4 years ago - 4 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:selftype_2.11 2.3.0
SelfType24 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:demixin_sjs0.6_2.11 2.3.0+106-1fde5078
Demixin42 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:new_sjs0.6_2.11 2.0.0-RC4
New2 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:implicitapply_2.12 2.3.0
ImplicitApply38 versions - Latest release: almost 6 years ago - 9 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:glb_sjs0.6_2.12 2.3.0+103-00ae00f5
Glb24 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:override_sjs0.6_2.12 1.1.0
Override6 versions - Latest release: about 7 years ago - 31 stars on GitHub
com.thoughtworks.feature:demixin_sjs0.6_2.12 2.3.0+100-4ca5e9d3
Demixin42 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:override_2.12 1.1.0
Override6 versions - Latest release: about 7 years ago - 2 dependent packages - 1 dependent repositories - 31 stars on GitHub
com.thoughtworks.feature:demixin_2.12 2.3.0+106-1fde5078
Demixin42 versions - Latest release: over 4 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:partialapply_sjs0.6_2.11 2.3.0
PartialApply38 versions - Latest release: almost 6 years ago - 31 stars on GitHub
com.thoughtworks.feature:constructor_2.12 2.3.0
Constructor43 versions - Latest release: almost 6 years ago - 3 dependent packages - 31 stars on GitHub
com.thoughtworks.feature:demixin_2.11 2.3.0
Demixin42 versions - Latest release: almost 6 years ago - 1 dependent package - 31 stars on GitHub
com.thoughtworks.feature:the_2.12 2.3.0+100-4ca5e9d3
The41 versions - Latest release: over 4 years ago - 3 dependent packages - 31 stars on GitHub
Related Keywords
scala
91
type-level-programming
70
typelevel-programming
21
typeclasses
21
macros
21
typeclass
17
simulacrum
17
shapeless
17
semanticdb
17
scalameta
17
scalafix
17
metaprogramming
17
extension-methods
17
code-generation
17
proof-assistant
9
aya
9
language
4
coproduct
4
generic-programming
4
heterogeneous-lists
4
hlist
4
phantom-types
4
polymorphic-functions
4
singleton-types
4
typeclass-derivation
4
compiler
4