TLC is an explicit state model checker for specifications in TLA+
A security-focused library OS supporting kernel execution
Petastorm library enables single machine or distributed training
Library for efficient similarity search and clustering dense vectors
Python library to access Kaggle resources
GPT Image 2 prompt gallery, image prompt library, agentic skill
Python library for creating PEG parsers
Various packages and tools that support the Go programming language
The only Front-End Performance Checklist that runs faster
Utility class for timing
A JAX-native LLM Post-Training Library
ebpf-go is a pure-Go library to read, modify and load eBPF programs
A friendly substitute for .NET mocking libraries
The AWS Secrets Manager JDBC Library for Java developers
Practical samples of ASP.NET Core 10 RC
Pymunk is a easy-to-use pythonic 2d physics library
Symbolic expressions, rewriting and simplification
Sphinx source parser for Jupyter notebooks
A NumPy-compatible array library accelerated by CUDA
Cross-platform SDK for creating and modifying PDF documents
Type-safe internationalization (i18n) for Next.js
A Kotlin Multiplatform library for saving simple key-value data
An OCaml kernel for Jupyter (IPython) notebook
Protobuf Plugin for Gradle
Rust SSH client & server library