Jupyter kernel for Coq
A Data Entry Tool for Windows and Linux
Open source operating system based flutter and kernel zircon
High-performance CPU, GPU, and memory profiler for Python
Dshell is a network forensic analysis framework
pg_activity is a top like application for PostgreSQL server activity
Python library and shell utilities to monitor filesystem events
Simple, configuration-driven backup software for servers
Operating System for Enterprise Blockchain
GPU environment management and cluster orchestration
Jupyter magics and kernels for working with remote Spark clusters
An open-source toolkit for monitoring Language Learning Models (LLMs)
Embed images and sentences into fixed-length vectors
A book about how to write OS kernels in Rust easily
Open-Source Low-Latency Accelerated Linux WebRTC HTML5 Remote Desktop
Build cross-modal and multimodal applications on the cloud
Graph Neural Network Library for PyTorch
Single-package Kubernetes for developers, IoT and edge
Keep your application settings in sync
GTK+ IRC client
Enterprise job scheduling middleware with distributed computing
A beautiful and useful low-latency prompt for your shell
A tool to scan Kubernetes cluster for risky permissions
Approximate Nearest Neighbors in C++/Python optimized for memory usage
A Python module to control the GPIO on a Raspberry Pi