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 Coq - 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.

中国科学院大学2019-2020课程（秋季，春季，夏季）

A computer algebra system written in pure Python

Python Module Dependency graphs

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

Experimenting with Python and librosa to do Audio Event Detection

A game where you are a computer's OS and you have to manage processes, memory and I/O events.

Flexible audio loudness meter in Python with implementation of ITU-R BS.1770-4 loudness algorithm

The most popular spellchecking library.

A small Python module to parse various kinds of time expressions.

OSSDC SIM - Self Driving Car Simulator based of LGSVL

Simple animated GIF screen recorder with an easy to use interface

Deezer source separation library including pretrained models.