#
Starred repositories
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Sismic Interactive Statechart Model Interpreter and Checker https://sismic.readthedocs.io/
An Integrated Corpus Tool With Multilingual Support for the Study of Language, Literature, and Translation
A Survey on Large Language Models for Software Engineering
PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.
A mutable set that remembers the order of its entries. One of Python's missing data types.
Packaged versions of Zotero and Juris-M for Debian-based systems
Safely serialize JavaScript expressions to a superset of JSON, which includes Dates, BigInts, and more.
A pytorch re-implementation of Real-time Scene Text Detection with Differentiable Binarization
A toolbox for box-supervised instance segmentation.
python parser for human readable dates
Rapid fuzzy string matching in Python using various string metrics
Moebooru, a fork of danbooru1 that has been heavily modified
A Python module to bypass Cloudflare's anti-bot page.
Remove backgrounds from images directly in the browser environment with ease and no additional costs or privacy concerns. Explore an interactive demo.
Official Code for DragGAN (SIGGRAPH 2023)
Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set
LPIPS metric. pip install lpips
A simple and useful implementation of LPIPS.
Voilà turns Jupyter notebooks into standalone web applications
the missing toolbox for an async world
Manipulate audio with a simple and easy high level interface
植物大战僵尸的开源Python实现 (An open-source python implementation of Plants vs. Zombies)