gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
A unified AI gateway and operations platform for multi-provider model routing, channel management, billing, subscriptions, cost analytics, and monitoring.
A modern terminal-based system monitor written in Go, offering real-time CPU, memory, Apple Silicon GPU metrics, energy impact, and an interactive process list.