Starred repositories
Python wrapper to the PPL library. Source repository for https://pypi.org/project/pplpy/
General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)
A Scala library for solving fixpoint equations
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
An Integrated Corpus Tool With Multilingual Support for the Study of Language, Literature, and Translation
[SCIS 2025] 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