Pinned Repositories
crypto-checker
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
network-request-checker
A Java compiler plugin aiming at finding possible network requests in Java and Android apps.
PyVidarDB
PyVidarDB is a simple, fast, and persistent key-value store that can store terabytes of data. It is the Python binding for VidarDB.
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
fund-my-watcard
A tool to add fund to WatCard easily.
llm-paper-daily
Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个
xingweitian's Repositories
xingweitian/fund-my-watcard
A tool to add fund to WatCard easily.
xingweitian/llm-paper-daily
Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个
xingweitian/xingweitian.github.io
homepage
xingweitian/amazon-transcribe-post-call-analytics
xingweitian/annotated-libraries
Pre-built versions of several libraries containing additional specifications.
xingweitian/checker-framework
Pluggable type-checking for Java
xingweitian/checker-framework-inference
Inference of pluggable types for Java
xingweitian/azure-openai-benchmark
Azure OpenAI benchmarking tool
xingweitian/crypto-checker-1
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
xingweitian/do-like-javac
xingweitian/drdash
Project of hack the north 2019
xingweitian/ece350
University of Waterloo ECE350 Lab Material Repository
xingweitian/ece656-project
xingweitian/eisop-webserver
Checker Framework Live Demo
xingweitian/error-prone
Catch common Java mistakes as compile-time errors
xingweitian/Ethical-Hacking-Labs
Practical Ethical Hacking Labs 🗡🛡
xingweitian/immutability
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
xingweitian/instructor
structured outputs for llms
xingweitian/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
xingweitian/minisat
A minimalistic and high-performance SAT solver
xingweitian/mkdocs-rtd-dropdown
MkDocs Theme - modified version of ReadTheDocs
xingweitian/NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
xingweitian/ontology
xingweitian/options
Command-line option processing for Java
xingweitian/plume-util
Utility libraries for Java
xingweitian/reflection-util
Utilities for Java reflection
xingweitian/SE350
University of Waterloo SE350 Operating Systems RTX Project Starter Files and Documentation
xingweitian/templatefora-checker
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.
xingweitian/wish-wellness
backend service of starterhack 2019 (Flask + MongoDB + Docker)
xingweitian/xdf_presentation_2021_03_13