TLC is an explicit state model checker for specifications in TLA+
Easy to use cryptographic framework for data protection
Python framework for building scalable multi-agent systems
Open source text-to-speech tool, supports extra-long text
Fast backend for long-term AI user memory via structured profiles
edgetunnel 2.0 VLESS/Trojan
Symfony Security Component - Core Library
Google Sheets API wrapper for Javascript / Typescript
A ranked list of awesome open-source crypto projects
A library to handle Apple Property List format in binary or XML
A framework agnostic authentication & authorization system
Provides a driver based solution to searching your Eloquent models
Multiplatform plotting library based on Grammar of Graphics
Console-based JVM monitoring tool
Reverse-engineered Python API for Google Gemini web app
PyTorch3D is FAIR's library of reusable components for deep learning
Speed up a Laravel app by caching the entire response
Open-source pricing and billing infrastructure
The Powerful, user-friendly, open source Learning Experience platform
Python Socket.IO server and client
33 JavaScript concepts every developer should know
Official mirror of libplacebo
Framework on top of spring-boot that helps create back-ends
GUI/CLI tool for downloading Xiaohongshu
HTTP response caching for Koa. Supports Redis, in-memory store, etc.