Cairo is the first Turing-complete language for creating provable programs for general computation.
Kotlin DataFrame: typesafe in-memory structured data processing for JVM
Automated mass refactoring of source code.
Parseable is an open source, unified infrastructure observability platform built in Rust on a data lake architecture. It tracks logs, metrics, traces, and events across apps, agents, and systems, reducing storage costs by up to 90% through columnar telemetry compression.
Show Prometheus Alertmanager alerts on heads up displays. No-Nonsense.
🪁 A lightweight, modern Kubernetes dashboard that unifies multi-cluster and resource management, enterprise-grade user governance (OAuth, RBAC, and audit logs), and AI agents in one workspace. Not just a tool, but more like a platform.
The Sail Operator is able to install and manage the lifecycle of the Istio control plane in an Kubernetes & OpenShift cluster.
SearchBuilder extension for DataTables
JPEXS Free Flash Decompiler
A cross-platform app ecosystem, bringing iMessage to Android, PC (Windows, Linux, & even macOS), and Web!
🌎 JDownloader in PortableApps.com format — https://github.com/EIGHTFINITE/jdownloader-portable/tags | https://portableapps.com/node/53823 | https://jdownloader.org/
Brower extension to convert web pages to clean Markdown and copy to clipboard so you can feed it to your favorite LLM model as context with just 1 click!
Open Source Algo Trading Platform for Everyone
📚 The open-source, offline-first Notion, Obsidian & Confluence alternative. Advanced Markdown, multi-tenant teams, OIDC/SSO, and local S3 backups. Deploy in one command.
Endurain is a self-hosted fitness tracking service designed to give users full control over their data and hosting environment
Terminal API client for HTTP/GraphQL/gRPC with support for SSH tunnels, WebSockets, SSE, Workflows, Profiling, OpenAPI, Kubernetes port-forwarding and headless API.
This repo will be used to maintain APIM related helm charts
Performant static analyzer for PHP, which is extremely easy to use. It helps you catch common mistakes in your PHP code.
Card IDE (CIDEr) - Design game cards using HTML/Handlebars, CSS, and tabular data
A mock code autogenerator for Go
An AI prompt optimizer for writing better prompts and getting better AI results.
Monochrome outlined brand icons for Android launchers.