Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / typetools 18 repositories
typetools/checker-framework.demos
Demos for the Checker Framework
Language: Java - Size: 44.4 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 5 - Forks: 9
typetools/checker-framework
Pluggable type-checking for Java
Language: Java - Size: 223 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 989 - Forks: 347
typetools/jdk Fork of openjdk/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
Language: Java - Size: 922 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 3 - Forks: 29
typetools/templatefora-checker
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.
Language: Java - Size: 288 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 3 - Forks: 6
typetools/annotation-tools
Tools for type annotations in Java
Language: Java - Size: 138 MB - Last synced: 24 days ago - Pushed: 25 days ago - Stars: 36 - Forks: 34
typetools/stubparser Fork of javaparser/javaparser
Reads stub files for the Checker Framework
Language: Java - Size: 42.5 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 3 - Forks: 9
typetools/guava Fork of google/guava
Google Core Libraries for Java 6+
Language: Java - Size: 95.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 9
typetools/junit5 Fork of junit-team/junit5
✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
Language: Java - Size: 576 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 2
typetools/java-getopt Fork of arenn/java-getopt
A Java option processor 100% compatible with the GNU C Library getopt
Language: Java - Size: 415 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 1
typetools/breadwallet-core Fork of breadwallet/breadwallet-core
SPV bitcoin C library
Language: C - Size: 21.4 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
typetools/commons-io Fork of apache/commons-io
Mirror of Apache Commons IO
Language: Java - Size: 7.01 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 1
typetools/jdk17u Fork of openjdk/jdk17u
https://openjdk.java.net/projects/jdk-updates/
Language: Java - Size: 931 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 1
typetools/logging-log4j2 Fork of apache/logging-log4j2
Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.
Language: Java - Size: 64 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
typetools/logging-log4j2-old Fork of apache/logging-log4j2
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: Java - Size: 55.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
typetools/junit4 Fork of junit-team/junit4
A programmer-oriented testing framework for Java.
Language: Java - Size: 22.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1
typetools/sparta
Static Program Analysis for Reliable Trusted Apps
Language: Java - Size: 16.6 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 23 - Forks: 11
typetools/jdk11u Fork of openjdk/jdk11u
Read-only mirror of https://hg.openjdk.java.net/jdk-updates/jdk11u/
Language: Java - Size: 366 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 2
typetools/javarifier
Inference of Javari reference immutability types for Java
Language: Java - Size: 27.7 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 4 - Forks: 2
typetools/commons-bcel Fork of codespecs/commons-bcel
Mirror of Apache Commons BCEL
Language: Java - Size: 7.12 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 13
typetools/logging-log4j1 Fork of apache/logging-log4j1
Apache log4j1
Size: 13.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
typetools/gson Fork of google/gson
A Java serialization/deserialization library to convert Java Objects into JSON and back
Size: 10.1 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 1
typetools/commons-csv Fork of apache/commons-csv
Mirror of Apache Commons CSV
Language: Java - Size: 36.5 MB - Last synced: 11 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
typetools/checker-framework-inference
Inference of pluggable types for Java
Language: Java - Size: 2.67 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 10 - Forks: 32
typetools/annotated-libraries
Pre-built versions of several libraries containing additional specifications.
Size: 37.5 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 8
typetools/commons-lang Fork of apache/commons-lang
Mirror of Apache Commons Lang
Language: Java - Size: 21.6 MB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
typetools/commons-math Fork of apache/commons-math
Apache Commons Math
Language: Java - Size: 22.7 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
typetools/openjdk-jdk12u Fork of AdoptOpenJDK/openjdk-jdk12u
Mirror of http://hg.openjdk.java.net/jdk-updates/jdk12u/
Language: Java - Size: 1.87 GB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
typetools/dubbo Fork of apache/dubbo
Apache Dubbo is a high-performance, java based, open source RPC framework.
Language: Java - Size: 17.6 MB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 1
typetools/jfreechart Fork of jfree/jfreechart
A 2D chart library for Java applications (JavaFX, Swing or server-side).
Language: Java - Size: 17.1 MB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1