Giters
typetools

typetools

Geek Repo

Github PK Tool:Github PK Tool

typetools's repositories

checker-framework

Pluggable type-checking for Java

Language:JavaLicense:NOASSERTIONStargazers:976Issues:42Issues:1883

annotation-tools

Tools for type annotations in Java

Language:JavaLicense:MITStargazers:36Issues:16Issues:142

sparta

Static Program Analysis for Reliable Trusted Apps

Language:JavaStargazers:21Issues:22Issues:3

checker-framework-inference

Inference of pluggable types for Java

Language:JavaStargazers:10Issues:15Issues:18

checker-framework.demos

Demos for the Checker Framework

Language:JavaStargazers:5Issues:19Issues:0

javarifier

Inference of Javari reference immutability types for Java

Language:JavaStargazers:5Issues:23Issues:10

jdk

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

Language:JavaLicense:GPL-2.0Stargazers:4Issues:4Issues:0

stubparser

Reads stub files for the Checker Framework

Language:JavaLicense:NOASSERTIONStargazers:3Issues:5Issues:0

templatefora-checker

A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.

Language:JavaLicense:MITStargazers:3Issues:7Issues:4

commons-io

Mirror of Apache Commons IO

Language:JavaLicense:Apache-2.0Stargazers:1Issues:6Issues:0

annotated-libraries

Pre-built versions of several libraries containing additional specifications.

Stargazers:0Issues:17Issues:1

guava

Google Core Libraries for Java 6+

Language:JavaLicense:Apache-2.0Stargazers:0Issues:7Issues:0

breadwallet-core

SPV bitcoin C library

Language:CLicense:MITStargazers:0Issues:1Issues:0

commons-bcel

Mirror of Apache Commons BCEL

Language:JavaLicense:Apache-2.0Stargazers:0Issues:8Issues:0

commons-csv

Mirror of Apache Commons CSV

Language:JavaLicense:Apache-2.0Stargazers:0Issues:6Issues:0

commons-lang

Mirror of Apache Commons Lang

Language:JavaLicense:Apache-2.0Stargazers:0Issues:7Issues:0

commons-math

Apache Commons Math

Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

dubbo

Apache Dubbo is a high-performance, java based, open source RPC framework.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

gson

A Java serialization/deserialization library to convert Java Objects into JSON and back

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

java-getopt

A Java option processor 100% compatible with the GNU C Library getopt

Language:JavaStargazers:0Issues:18Issues:0

jdk11u

Read-only mirror of https://hg.openjdk.java.net/jdk-updates/jdk11u/

Language:JavaLicense:GPL-2.0Stargazers:0Issues:3Issues:0

jdk17u

https://openjdk.java.net/projects/jdk-updates/

Language:JavaLicense:GPL-2.0Stargazers:0Issues:2Issues:0

jdk20u

https://openjdk.org/projects/jdk-updates

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

jfreechart

A 2D chart library for Java applications (JavaFX, Swing or server-side).

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:6Issues:0

junit4

A programmer-oriented testing framework for Java.

Language:JavaLicense:EPL-1.0Stargazers:0Issues:2Issues:0

junit5

✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM

Language:JavaLicense:EPL-2.0Stargazers:0Issues:2Issues:0

logging-log4j1

Apache log4j1

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

logging-log4j2

Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

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:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

openjdk-jdk12u

Mirror of http://hg.openjdk.java.net/jdk-updates/jdk12u/

Language:JavaLicense:GPL-2.0Stargazers:0Issues:6Issues:0