Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "types" keyword
io.github.kotools:types-linuxx64 3.2.0
Commonly used types for Kotlin.7 versions - Latest release: over 1 year ago - 2 stars on GitHub
io.github.kotools:types-mingwx64 3.2.0
Commonly used types for Kotlin.7 versions - Latest release: over 1 year ago - 2 stars on GitHub
io.github.kotools:types-macosx64 3.2.0
Commonly used types for Kotlin.7 versions - Latest release: over 1 year ago - 2 stars on GitHub
org.checkerframework:testlib 2.5.4
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.4 versions - Latest release: almost 6 years ago - 3 dependent packages - 1 dependent repositories - 934 stars on GitHub
org.checkerframework:framework-test 3.43.0
framework-test contains utility classes for testing type-checkers that are built on the Checker F...71 versions - Latest release: 8 days ago - 3 dependent packages - 10 dependent repositories - 896 stars on GitHub
Top 8.9% on repo1.maven.org
120 versions - Latest release: 8 days ago - 11 dependent packages - 12 dependent repositories - 896 stars on GitHub
org.checkerframework:dataflow 3.43.0
Dataflow is a dataflow framework based on the javac compiler.120 versions - Latest release: 8 days ago - 11 dependent packages - 12 dependent repositories - 896 stars on GitHub
org.checkerframework:checker-util 3.43.0
checker-util contains utility classes for programmers to use at run time.41 versions - Latest release: 8 days ago - 4 dependent packages - 6 dependent repositories - 897 stars on GitHub
org.checkerframework:dataflow-nullaway 3.43.0
dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.ch...37 versions - Latest release: 8 days ago - 18 dependent packages - 1 dependent repositories - 896 stars on GitHub
org.checkerframework:checker-qual7 2.4.0
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...6 versions - Latest release: about 6 years ago - 5 dependent packages - 1 dependent repositories - 951 stars on GitHub
org.checkerframework:dataflow-shaded 3.43.0
dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.chec...55 versions - Latest release: 8 days ago - 12 dependent packages - 2 dependent repositories - 897 stars on GitHub
io.github.eisop:jdk8 3.0.0-b2
Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker ...1 version - Latest release: almost 5 years ago - 951 stars on GitHub
Top 5.4% on repo1.maven.org
126 versions - Latest release: 8 days ago - 1,685 dependent packages - 2,614 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-qual 3.43.0
checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code...126 versions - Latest release: 8 days ago - 1,685 dependent packages - 2,614 dependent repositories - 934 stars on GitHub
Top 5.9% on repo1.maven.org
126 versions - Latest release: 8 days ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
org.checkerframework:checker 3.43.0
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets ...126 versions - Latest release: 8 days ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
Top 9.2% on repo1.maven.org
120 versions - Latest release: 8 days ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
org.checkerframework:javacutil 3.43.0
javacutil contains utility classes for the javac compiler.120 versions - Latest release: 8 days ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
org.checkerframework:checker-qual-android 3.43.0
checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify J...70 versions - Latest release: 8 days ago - 1 dependent package - 14 dependent repositories - 951 stars on GitHub
org.checkerframework:jdk7 2.1.14
Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker ...43 versions - Latest release: almost 7 years ago - 1 dependent package - 46 dependent repositories - 951 stars on GitHub
Top 5.7% on repo1.maven.org
51 versions - Latest release: 6 months ago - 712 dependent packages - 346 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-compat-qual 2.5.6
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...51 versions - Latest release: 6 months ago - 712 dependent packages - 346 dependent repositories - 934 stars on GitHub
Top 6.5% on repo1.maven.org
75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 dependent repositories - 934 stars on GitHub
org.checkerframework:jdk8 3.3.0
Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method imp...75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 dependent repositories - 934 stars on GitHub
Top 7.8% on repo1.maven.org
37 versions - Latest release: 8 days ago - 42 dependent packages - 15 dependent repositories - 897 stars on GitHub
org.checkerframework:dataflow-errorprone 3.43.0
dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org....37 versions - Latest release: 8 days ago - 42 dependent packages - 15 dependent repositories - 897 stars on GitHub
org.webjars.npm:octokit__openapi-types 12.11.0
WebJar for @octokit/openapi-types3 versions - Latest release: over 1 year ago - 1 dependent package - 35 stars on GitHub
org.webjars.npm:type-fest 4.15.0 💰
WebJar for type-fest20 versions - Latest release: 23 days ago - 13 dependent packages - 10,402 stars on GitHub
org.webjars.npm:check-types 3.2.0
WebJar for check-types1 version - Latest release: over 7 years ago - 2 dependent packages - 230 stars on
org.webjars.npm:types__retry 0.12.2
WebJar for @types/retry2 versions - Latest release: 6 months ago - 1 dependent package - 43,240 stars on GitHub
org.webjars.npm:types__diff 3.5.3
WebJar for @types/diff1 version - Latest release: over 3 years ago - 43,234 stars on GitHub
org.webjars.npm:types__tether 1.1.27
WebJar for @types/tether1 version - Latest release: about 7 years ago - 2 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__slick-carousel 1.6.32
WebJar for @types/slick-carousel2 versions - Latest release: over 6 years ago - 43,234 stars on GitHub
io.leangen.geantyref:geantyref 1.3.15
Generic type reflection library with support for AnnotatedType21 versions - Latest release: 3 months ago - 127 dependent packages - 51 dependent repositories - 82 stars on GitHub
org.webjars.npm:types__type-is 1.6.3
WebJar for @types/type-is1 version - Latest release: over 1 year ago - 1 dependent package - 43,240 stars on GitHub
com.github.luxlang:lux-bootstrapper 0.7.0
The JVM (bootstrapping) compiler for the Lux programming language.7 versions - Latest release: over 1 year ago - 6 dependent packages - 1,512 stars on GitHub
com.github.luxlang:lux-python 0.8.0
A Python compiler for Lux.8 versions - Latest release: 8 months ago - 1,583 stars on GitHub
com.github.luxlang:lux-lua 0.8.0
A Lua compiler for Lux.5 versions - Latest release: 8 months ago - 1,583 stars on GitHub
com.github.luxlang:lein-luxc 0.7.0
The Leiningen plugin for the Lux programming language.10 versions - Latest release: over 1 year ago - 1,512 stars on GitHub
com.github.luxlang:luxc-jvm 0.5.0
The JVM compiler for the Lux programming language.2 versions - Latest release: over 7 years ago - 1 dependent package - 1,512 stars on GitHub
com.github.luxlang:stdlib 0.8.0
Standard library for the Lux programming language.9 versions - Latest release: 8 months ago - 4 dependent packages - 1,583 stars on GitHub
com.github.luxlang:lux-jvm 0.8.0
A JVM compiler for Lux.8 versions - Latest release: 8 months ago - 1,583 stars on GitHub
com.github.luxlang:lux-js 0.8.0
A JavaScript compiler for Lux.8 versions - Latest release: 8 months ago - 1,583 stars on GitHub
com.github.luxlang:lux-ruby 0.8.0
A Ruby compiler for Lux.8 versions - Latest release: 8 months ago - 1,583 stars on GitHub
com.github.luxlang:lux-jvm-function 0.6.5
Function abstract class for the JVM compiler.1 version - Latest release: over 2 years ago - 5 dependent packages - 1,512 stars on GitHub
org.webjars.npm:types__googlemaps 3.43.3
WebJar for @types/googlemaps17 versions - Latest release: about 3 years ago - 43,234 stars on GitHub
org.webjars.npm:types__secp256k1 4.0.3
WebJar for @types/secp256k11 version - Latest release: over 2 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:url-toolkit 2.2.5
WebJar for url-toolkit8 versions - Latest release: over 1 year ago - 6 dependent packages - 29 stars on GitHub
org.webjars.bowergithub.tjenkinson:url-toolkit 2.1.4
WebJar for url-toolkit1 version - Latest release: almost 6 years ago - 2 dependent packages - 29 stars on GitHub
org.webjars.npm:types__d3-timer 3.0.2
WebJar for @types/d3-timer7 versions - Latest release: 6 months ago - 4 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__inquirer 7.3.1
WebJar for @types/inquirer1 version - Latest release: over 3 years ago - 2 dependent packages - 43,234 stars on GitHub
io.github.iltotore:iron-circe_native0.4_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-circe_3 2.5.0
Strong type constraints for Scala22 versions - Latest release: 2 months ago - 1 dependent package - 235 stars on GitHub
io.github.iltotore:iron-io_3 1.2-1.0.0
Hardened type constraints for Scala2 versions - Latest release: over 2 years ago - 235 stars on GitHub
io.github.iltotore:iron-string_3 1.2-1.0.0
Hardened type constraints for Scala3 versions - Latest release: over 2 years ago - 235 stars on GitHub
io.github.iltotore:iron-cats_sjs1_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-cats_native0.4_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-zio_3 2.5.0
Strong type constraints for Scala17 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-zio_sjs1_3 2.5.0
Strong type constraints for Scala17 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-jsoniter_native0.4_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-iterable_3 1.2-1.0.0
Hardened type constraints for Scala3 versions - Latest release: over 2 years ago - 235 stars on GitHub
io.github.iltotore:iron_3 2.5.0
Strong type constraints for Scala27 versions - Latest release: 2 months ago - 9 dependent packages - 235 stars on GitHub
io.github.iltotore:iron-zio-json_3 2.5.0
Strong type constraints for Scala20 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron_native0.4_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 3 dependent packages - 235 stars on GitHub
io.github.iltotore:iron-numeric_3 1.2-1.0.0
Hardened type constraints for Scala6 versions - Latest release: over 2 years ago - 235 stars on GitHub
io.github.iltotore:iron-cats_3 2.5.0
Strong type constraints for Scala23 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-jsoniter_sjs1_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-zio-json_sjs1_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron-circe_sjs1_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 235 stars on GitHub
io.github.iltotore:iron_sjs1_3 2.5.0
Strong type constraints for Scala18 versions - Latest release: 2 months ago - 5 dependent packages - 235 stars on GitHub
io.github.iltotore:iron-jsoniter_3 2.5.0
Strong type constraints for Scala19 versions - Latest release: 2 months ago - 235 stars on GitHub
org.webjars.npm:types__segment-analytics 0.0.32
WebJar for @types/segment-analytics1 version - Latest release: about 4 years ago - 43,234 stars on GitHub
org.webjars.npm:types__redux-logger 3.0.0
WebJar for @types/redux-logger2 versions - Latest release: about 7 years ago - 43,234 stars on GitHub
Top 9.6% on repo1.maven.org
15 versions - Latest release: 4 months ago - 12 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__estree 1.0.5
WebJar for @types/estree15 versions - Latest release: 4 months ago - 12 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__earcut 2.1.1
WebJar for @types/earcut1 version - Latest release: over 1 year ago - 1 dependent package - 43,240 stars on GitHub
org.webjars.npm:types__symlink-or-copy 1.2.0
WebJar for @types/symlink-or-copy1 version - Latest release: about 4 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__notifyjs 1.2.29
WebJar for @types/notifyjs1 version - Latest release: over 6 years ago - 43,234 stars on GitHub
org.webjars.npm:types__auth0-js 8.11.12
WebJar for @types/auth0-js1 version - Latest release: about 5 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__d3-time 3.0.3
WebJar for @types/d3-time9 versions - Latest release: 6 months ago - 4 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__fast-json-stable-stringify 2.0.0
WebJar for @types/fast-json-stable-stringify1 version - Latest release: over 3 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__webvr-api 0.0.31
WebJar for @types/webvr-api1 version - Latest release: over 5 years ago - 43,234 stars on GitHub
org.webjars.npm:types__fs-extra 9.0.13
WebJar for @types/fs-extra6 versions - Latest release: almost 2 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:octokit__types 6.41.0
WebJar for @octokit/types6 versions - Latest release: over 1 year ago - 8 dependent packages - 87 stars on GitHub
org.webjars.npm:types__react-i18next 0.0.1
WebJar for @types/react-i18next1 version - Latest release: over 7 years ago - 43,234 stars on GitHub
org.webjars.npm:types__page 1.8.0
WebJar for @types/page2 versions - Latest release: over 5 years ago - 43,234 stars on GitHub
org.webjars.npm:types__prosemirror-history 1.0.3
WebJar for @types/prosemirror-history1 version - Latest release: almost 3 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__gapi.auth2 0.0.60
WebJar for @types/gapi.auth28 versions - Latest release: 6 months ago - 43,234 stars on GitHub
org.webjars.npm:types__flatbuffers 1.10.0
WebJar for @types/flatbuffers1 version - Latest release: over 2 years ago - 43,234 stars on GitHub
org.webjars.npm:types__selectize 0.12.35
WebJar for @types/selectize1 version - Latest release: almost 2 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__knockout 3.4.47
WebJar for @types/knockout2 versions - Latest release: over 6 years ago - 43,234 stars on GitHub
org.webjars.npm:types__react-fa 4.0.26
WebJar for @types/react-fa1 version - Latest release: over 7 years ago - 43,234 stars on GitHub
Top 9.2% on repo1.maven.org
5 versions - Latest release: 6 months ago - 15 dependent packages - 43,239 stars on GitHub
org.webjars.npm:types__unist 2.0.10
WebJar for @types/unist5 versions - Latest release: 6 months ago - 15 dependent packages - 43,239 stars on GitHub
org.webjars.npm:types__es6-collections 0.5.29
WebJar for @types/es6-collections1 version - Latest release: over 7 years ago - 43,234 stars on GitHub
org.webjars.npm:types__incremental-dom 0.5.0
WebJar for @types/incremental-dom1 version - Latest release: about 3 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__json-stable-stringify 1.0.32
WebJar for @types/json-stable-stringify1 version - Latest release: over 5 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__d3-interpolate 3.0.4
WebJar for @types/d3-interpolate7 versions - Latest release: 2 months ago - 4 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__eslint 8.44.0
WebJar for @types/eslint4 versions - Latest release: 10 months ago - 1 dependent package - 43,239 stars on GitHub
org.webjars.npm:types__jasmine-ajax 3.3.1
WebJar for @types/jasmine-ajax1 version - Latest release: over 3 years ago - 43,234 stars on GitHub
org.webjars.npm:types__chalk 0.4.30
WebJar for @types/chalk1 version - Latest release: almost 7 years ago - 4 dependent packages - 43,234 stars on GitHub
org.webjars.npm:csstype 3.1.3
WebJar for csstype33 versions - Latest release: 5 months ago - 18 dependent packages - 1,480 stars on GitHub
org.webjars.npm:types__c3 0.4.54
WebJar for @types/c31 version - Latest release: about 5 years ago - 1 dependent package - 43,234 stars on GitHub
Top 8.7% on repo1.maven.org
46 versions - Latest release: 6 months ago - 34 dependent packages - 43,239 stars on GitHub
org.webjars.npm:types__jquery 3.5.29
WebJar for @types/jquery46 versions - Latest release: 6 months ago - 34 dependent packages - 43,239 stars on GitHub
org.webjars.npm:types__sockjs 0.3.33
WebJar for @types/sockjs1 version - Latest release: over 1 year ago - 1 dependent package - 43,240 stars on GitHub
org.webjars.npm:types__mz 0.0.32
WebJar for @types/mz1 version - Latest release: about 6 years ago - 5 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__d3-contour 3.0.6
WebJar for @types/d3-contour6 versions - Latest release: 6 months ago - 2 dependent packages - 43,234 stars on GitHub
org.webjars.npm:types__react-addons-linked-state-mixin 0.14.14
WebJar for @types/react-addons-linked-state-mixin1 version - Latest release: over 7 years ago - 1 dependent package - 43,234 stars on GitHub
org.webjars.npm:types__lru-cache 4.1.3
WebJar for @types/lru-cache2 versions - Latest release: about 2 years ago - 1 dependent package - 43,234 stars on GitHub
Related Keywords
typescript
395
typings
389
definition
389
typescript-definitions
389
hacktoberfest
388
dts
388
scala
34
java
32
functional-programming
31
verification
24
assert
24
refinement-types
23
macros
12
javascript
12
clojure
10
functional-languages
10
haskell
10
jvm-languages
10
language
10
lisp
10
lua
10
ruby
10
programming-language
10
python
10
type-tagging
9
tagging
9
newtype
9
scalajs
9
tagged
9
tagged-types
9
kotlin
8
assertions
4
encoding
3
existential
3
rank-n
3
universal
3
algebraic-data-types
3
kotlin-jvm-utilities
3
kotlin-library
3
kotlin-multiplatform
3
kotlin-multiplatform-library
3
kotlin-native
3
assertion-library
3
csv
3
kotlin-js
3
kotlin-jvm
3
linear-algebra
2
array-programming
2
gradient-descent
2
differentiable-programming
2
computer-algebra
2
circe
2
automatic-differentiation
2
chinese
2
codec
2
codecs
2
generic-programming
2
metaprogramming
2
phantom-types
2
shapeless
2
shapeless-library
2
typeclass
2
struct
2
typeclasses
2
typeclass-derivation
2
field-type
2
determine-types
2
type-checking
2
generics
2
method-types
2
wildcards
2
octokit-js
2
generated
2
absolute-url
2
jsdelivr
2
normalize
2
relative-url
2
message-passing
2
multi-stage-programming
2
optimization
2
shape-safety
2
symbolic-differentiation
2
complex-types
2
urls
2
url-parsing
2
url
2
rfc-1808
2
text
1
nodejs
1
load-anywhere
1
javascript-library
1
isomorphic
1
management
1
message
1
openapi
1
schema
1
specification
1
npm-package
1
utilities
1
duck-typing
1