Lists (2)
Stars
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
An extremely fast Python linter and code formatter, written in Rust.
Computing reachable states of dynamical systems in Julia
Instant voice cloning by MIT and MyShell. Audio foundation model.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Anthropic's educational courses
LlamaIndex is the leading framework for building LLM-powered agents over your data.
Open-source Rust based AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization. 100% local processing. no cloud required. Meetily (Me…
A benchmarking tool for testing and comparing the performance of both embedded and networked SQL and NoSQL databases.
CMSIS-DSP embedded compute library for Cortex-M and Cortex-A
Get started using GitHub in less than an hour.
FastAPI framework, high performance, easy to learn, fast to code, ready for production
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Create beautiful, publication-quality books and documents from computational content.
A digital logic designer and circuit simulator.
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
Simple JupyterHub distribution for 1-100 users on a single server
An Obsidian theme inspired by the beautifully-designed app, Things.
VS Code extension with the Venus RISC-V simulator
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
A flexible developer tool that runs processes and responds to filesystem changes