the reproduction repository for paper "Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code"

A tool that codes checker automatically with rule description and test case set input

Termux - a terminal emulator application for Android OS extendible by variety of packages.

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

⏰ Agenticly track worldwide conference deadlines (Website, Python Cli, Wechat Applet)

🪢 Open source AI engineering platform: LLM evals, observability, metrics, prompt management, playground, datasets. Integrates with OpenTelemetry, LangChain, OpenAI SDK, LiteLLM, and more. 🍊YC W23

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

Python3 package for plotting Venn diagrams (up to 4 sets)

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Python library to communicate with an obs-websocket server (for OBS Studio)

An open autonomous driving platform

A Python wrapper for libOpenDRIVE implemented via Cython.

Bit-bLAsting solving Non-linear integer constraints.

Offline documentation built from official PyTorch release

Communication between Coq and SAT/SMT solvers

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Open-source simulator for autonomous driving research.

A collaboration friendly studio for NeRFs

High-resolution map (OpenDrive\Apollo) visualization and conversion tools

WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

Robust Speech Recognition via Large-Scale Weak Supervision

A series of large language models developed by Baichuan Intelligent Technology

结巴中文分词

A collection of modern/faster/saner alternatives to common unix commands.

pix2tex: Using a ViT to convert images of equations into LaTeX code.