Weitian Xing's repositories
fund-my-watcard
A tool to add fund to WatCard easily.
llm-paper-daily
Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个
xingweitian.github.io
homepage
annotated-libraries
Pre-built versions of several libraries containing additional specifications.
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
azure-openai-benchmark
Azure OpenAI benchmarking tool
crypto-checker-1
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
drdash
Project of hack the north 2019
ece350
University of Waterloo ECE350 Lab Material Repository
eisop-webserver
Checker Framework Live Demo
error-prone
Catch common Java mistakes as compile-time errors
Ethical-Hacking-Labs
Practical Ethical Hacking Labs 🗡🛡
immutability
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
instructor
structured outputs for llms
minisat
A minimalistic and high-performance SAT solver
mkdocs-rtd-dropdown
MkDocs Theme - modified version of ReadTheDocs
options
Command-line option processing for Java
plume-util
Utility libraries for Java
reflection-util
Utilities for Java reflection
templatefora-checker
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.
wish-wellness
backend service of starterhack 2019 (Flask + MongoDB + Docker)