Stars
Language
Sort by: Recently starred
Self-hosted GitHub Actions cache server implementation. Compatible with official 'actions/cache' action
Kubernetes controller for GitHub Actions self-hosted runners
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
A process for automating Docker container base image updates.
This repo contains samples that demonstrate the API used in Windows classic desktop applications.
Lean theorem proving interface which feels like pen-and-paper proofs.
Helper toolkit for creating your own Lean 4 UserWidgets
The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement …
Nmap Project's Windows packet capture and transmission library
the LIBpcap interface to various kernel packet capture mechanism
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
A massively parallel, optimal functional runtime in Rust
Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
Open-source RAG Framework for building GenAI Second Brains 🧠 Build productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic…
Implementation of Nougat Neural Optical Understanding for Academic Documents