xingweitian Goto Github PK

amazon-transcribe-post-call-analytics

annotated-libraries

Pre-built versions of several libraries containing additional specifications.

apktool

A tool for reverse engineering Android apk files

azure-openai-benchmark

Azure OpenAI benchmarking tool

blackhole_fdw

checker-framework

Pluggable type-checking for Java

checker-framework-inference

Inference of pluggable types for Java

checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java

checkerframework-gradle-plugin-android-example

coms3200

configfile-checker

An enhanced Value Checker for checking property values.

crypto-checker-1

A pluggable type system for Java to find unpermitted algorithms or providers at compile time.

cryptoapi-bench

daikon

Dynamic detection of likely invariants

dex2jar

Tools to work with android .dex and java .class files

do-like-javac

drdash

Project of hack the north 2019

ece350

University of Waterloo ECE350 Lab Material Repository

ece656-project

eisop-webserver

Checker Framework Live Demo

error-prone

Catch common Java mistakes as compile-time errors

ethical-hacking-labs

Practical Ethical Hacking Labs 🗡🛡

fund-my-watcard

A tool to add fund to WatCard easily.

gitignore

A collection of useful .gitignore templates

hello_fdw

Hello world example for PostgreSQL's foreign data wrapper(FDW)

immutability

Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability

instructor

structured outputs for llms

intellij-community

IntelliJ IDEA Community Edition

jackpine

JackPine - A Geospatial Benchmark (Version 2.0)

jdk

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