OpenClaw, but we care about the shit we are doing

Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.

GOWA - WhatsApp REST API with support for UI, Multi Account, Webhooks, and MCP, and Chatwoot. Built with Golang for efficient memory use.

A smart wallet built on DERO

Percona TokuDB is a high-performance, write optimized, compressing, transactional storage engine for Percona Server. Issue tracker: https://tokutek.atlassian.net/browse/DB/ Wiki: https://github.com…

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A symbolic testing tool for EVM smart contracts

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

datarhei Core is management for FFmpeg processes without development effort. Whether your streaming has one viewer or a million, we have the tools to help you develop, deploy and manage any video p…

The user interface of the Restreamer for the connection to the Core application.

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

💎 Robust job processing in Elixir, backed by modern PostgreSQL, SQLite3, and MySQL

✅Browser ❌Cloudflare ✅Host — Generator of customized Cloudflare error pages (unofficial)

A collection of EVM puzzles

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Re-Connectable secure remote shell

always free kubernetes on oracle cloud

Fil-C: completely compatible memory safety for C and C++

The hello-world of MPC.

Create MPC apps with TypeScript.

Computational parallel flows on top of GenStage

Computer Vision app designed to analyze basketball shots from video footage using YOLOv11 finetuned with a custom dataset.

Lightweight full-featured typescript/javascript WhatsApp Web API

Louper - The Ethereum Diamond Inspector

Roamie Server - Self-contained remote development server with WireGuard tunneling

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

The first open-source harness builder for AI coding. Make AI coding deterministic and repeatable.

Wireguard Dart SDK