Lists (2)
Sort Name ascending (A-Z)
Stars
Tensors and Dynamic neural networks in Python with strong GPU acceleration
FastAPI framework, high performance, easy to learn, fast to code, ready for production
LlamaIndex is the leading document agent and OCR platform
Instant voice cloning by MIT and MyShell. Audio foundation model.
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡
Large Language Model Text Generation Inference
A terminal spreadsheet multitool for discovering and arranging data
Some out-of-the-box hooks for pre-commit
Simple JupyterHub distribution for 1-100 users on a single server
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Code to reproduce the results of the paper "Don’t Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation" presented at AAMAS 2023.
Verification-aided learning of NN barrier functions with a convex optimization-based fine-tuning step can boost success rate.