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

Solid Technical Reports

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.

Solid specification draft 0.7.0

Monte Carlo tree search in JAX

HTML5 Wayland compositor 🌱

The Z3 Theorem Prover

Agda bindings to SMT-LIB2 compatible solvers.

Lean theorem proving interface which feels like pen-and-paper proofs.

Helper toolkit for creating your own Lean 4 UserWidgets

ECMAScript module integration

webpack plugin for Rust

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 …

OpenGL ES 3.0 examples for Wayland

Rust for Windows

Nmap Project's Windows packet capture and transmission library

Docker implemented in around 100 lines of bash

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