Repository Index

A toolbox for zkSNARKs on Ethereum

• zksnarks
• ethereum
• zero-knowledge
• snark

Rojo enables Roblox developers to use professional-grade software engineering tools

• roblox-studio
• sync
• roblox
• lua

Inspired by dae & sing-box

extremely fast web remote desktop streaming

• desktop-streaming
• linux
• macos
• sandbox

Mirror of https://gitlab.redox-os.org/redox-os/ion

Secure multithreaded packet sniffer

• rust
• sniffer
• pcap
• network

Wasmer SDK: Run anything, anywhere suing WebAssembly-based sandboxes

• webassembly
• nodejs
• npm-package
• wasi

TranslatedA Rust-based, low-risk-control, high-performance, self-hosted multi-account transparent proxy gateway

• codex
• openai
• responses-api
• 2api

The fastest PDF library for Python and Rust. Text extraction, image extraction, markdown conversion, PDF creation & editing. 0.8ms mean, 5× faster than industry leaders, 100% pass rate on 3,830 PDFs. MIT/Apache-2.0.

• document-processing
• pdf
• pdf-editor
• pdf-generation

Scriptable local traffic workbench for inspecting, intercepting, replaying, and rewriting HTTP/HTTPS and WebSocket traffic.

• mitm
• proxy
• rust
• cli

Enterprise-oriented Generic Proxy Solutions. Maintenance mode now, please switch to use [VEY](https://github.com/VEY-OSS/vey) for new development efforts

• http
• icap
• proxy
• rust

Cross-Platform Micro-VM Sandbox for Agentic Workloads

• agentic-coding
• agentic-engineering
• agentic-workflows
• microvm

Open-source LLM gateway in Rust. One endpoint for OpenAI, Anthropic, Gemini and every other vendor. Any SDK, any model, any tool.

• ai-agents
• ai-gateway
• anthropic
• gemini

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

• embedded-optimization
• nonconvex
• model-predictive-control
• rust-library

Wally is a modern package manager for Roblox projects inspired by Cargo

Next-generation toolchain manager for Roblox projects

Web Based Event Viewer (GUI) for Suricata EVE Events in Elastic Search

• security
• netsec
• suricata
• ids

Self-hosted artifact repository manager written in Rust. Hosts, proxies and groups 30+ formats: Docker/OCI, Maven, npm, PyPI, Cargo, Go, Helm, NuGet, Hugging Face, Terraform and more. PostgreSQL for metadata, blob stores on disk or S3. An open-source alternative to Nexus and Artifactory.

• air-gapped
• artifact-registry
• artifactory-alternative
• cargo-registry

Self-hosted artifact registry and pull-through cache in one binary. 17 formats: Docker/OCI, Maven, npm, PyPI, Cargo, Go, Raw, RubyGems, Terraform, Ansible Galaxy, NuGet, Pub, Conan, CPAN, RPM, Debian/APT, Hugging Face. No database, about 15 MB RAM idle, supply-chain curation built in.

• artifact-registry
• artifactory-alternative
• docker-registry
• maven-repository

A focused music library manager inspired by rekordbox, with USB export and PRO DJ LINK. Built for a faster, simpler workflow.

• alphatheta
• dj
• library-management
• music-library

Lightweight, agent-native sandboxing with diff, commit and abort

• agent-sandbox
• dsh-plugin
• harness
• pi-plugin

TranslatedAn open-source traffic debugging workbench for developers and AI Agents, making business anomalies filterable, debugging changes traceable, and troubleshooting scenes shareable.

• lua
• mitm
• mitm-proxy
• mitmproxy

Inspektor is a protocol-aware proxy that is used to enforce access policies👮

• security
• openpolicyagent
• acl
• rust

Toolchain manager for Roblox projects

• roblox
• toolchain-manager