typetools

Pinned Repositories

annotation-tools
Tools for type annotations in Java
Language:Java38 16 14234
checker-framework
Pluggable type-checking for Java
Language:Java1k 42 1.9k352
checker-framework-inference
Inference of pluggable types for Java
Language:Java10 15 1833
checker-framework.demos
Demos for the Checker Framework
Language:Java5 19 09
commons-io
Mirror of Apache Commons IO
Language:Java1 6 01
javarifier
Inference of Javari reference immutability types for Java
Language:Java6 23 102
jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
Language:Java3 4 031
sparta
Static Program Analysis for Reliable Trusted Apps
Language:Java21 22 39
stubparser
Reads stub files for the Checker Framework
Language:Java3 5 09
templatefora-checker
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.
Language:Java3 7 46

typetools's Repositories

typetools/checker-framework
Pluggable type-checking for Java
Language:Java1k 42 1.9k352
typetools/annotation-tools
Tools for type annotations in Java
Language:Java38 16 14234
typetools/sparta
Static Program Analysis for Reliable Trusted Apps
Language:Java21 22 39
typetools/checker-framework-inference
Inference of pluggable types for Java
Language:Java10 15 1833
typetools/javarifier
Inference of Javari reference immutability types for Java
Language:Java6 23 102
typetools/checker-framework.demos
Demos for the Checker Framework
Language:Java5 19 09
typetools/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
Language:Java3 4 031
typetools/stubparser
Reads stub files for the Checker Framework
Language:Java3 5 09
typetools/templatefora-checker
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.
Language:Java3 7 46
typetools/commons-io
Mirror of Apache Commons IO
Language:Java1 6 01
typetools/guava
Google Core Libraries for Java 6+
Language:Java1 7 09
typetools/annotated-libraries
Pre-built versions of several libraries containing additional specifications.
0 17 18
typetools/breadwallet-core
SPV bitcoin C library
Language:C1 0
typetools/commons-bcel
Mirror of Apache Commons BCEL
Language:Java8 013
typetools/commons-csv
Mirror of Apache Commons CSV
Language:Java6 0
typetools/commons-lang
Mirror of Apache Commons Lang
Language:Java7 0
typetools/commons-math
Apache Commons Math
Language:Java3 0
typetools/dubbo
Apache Dubbo is a high-performance, java based, open source RPC framework.
Language:Java2 01
typetools/gson
A Java serialization/deserialization library to convert Java Objects into JSON and back
Language:Java2 01
typetools/java-getopt
A Java option processor 100% compatible with the GNU C Library getopt
Language:Java18 01
typetools/jdk11u
Read-only mirror of https://hg.openjdk.java.net/jdk-updates/jdk11u/
Language:Java3 02
typetools/jdk17u
https://openjdk.java.net/projects/jdk-updates/
Language:Java2 02
typetools/jdk20u
https://openjdk.org/projects/jdk-updates
Language:Java1 0
typetools/jfreechart
A 2D chart library for Java applications (JavaFX, Swing or server-side).
Language:Java6 01
typetools/junit4
A programmer-oriented testing framework for Java.
Language:Java2 01
typetools/junit5
✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
Language:Java2 02
typetools/logging-log4j1
Apache log4j1
Language:Java2 0
typetools/logging-log4j2
Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.
Language:Java1 0
typetools/logging-log4j2-old
Apache Log4j 2 is an upgrade to Log4j that provides significant improvements over its predecessor, Log4j 1.x, and provides many of the improvements available in Logback while fixing some inherent problems in Logback's architecture.
Language:Java2 0
typetools/openjdk-jdk12u
Mirror of http://hg.openjdk.java.net/jdk-updates/jdk12u/
Language:Java6 0