Search awesome repositories

Lean 4 programming language and theorem prover

An AI-powered search engine with a generative UI

A tool that facilitates building OCI images.

"Context engineering is the delicate art and science of filling the context window with just the right information for the next step." — Andrej Karpathy. A frontier, first-principles handbook inspired by Karpathy and 3Blue1Brown for moving beyond prompt engineering to the wider discipline of context design, orchestration, and optimization.

The property-based testing library for Python

A cloud-native Pipeline resource.

PostgreSQL backup tool with Point-In-Time-Recovery and restore verification

An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

Enterprise-grade, commercial-friendly agentic workflow platform for building next-generation SuperAgents.

Complete Open Source and Modular solution for MMO

tsParticles - Easily create highly customizable JavaScript particles effects, confetti explosions and fireworks animations and use them as animated backgrounds for your website. Ready to use components available for React.js, Vue.js (2.x and 3.x), Angular, Svelte, jQuery, Preact, Inferno, Solid, Riot and Web Components.

No description.

Official Anytype client for MacOS, Linux, and Windows

An open-source, code-first Go toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.

Build an agent harness and control it end-to-end. Open-source SDK for production AI agents in Python & TypeScript - any model, any cloud.

Apache ShenYu is a Java native API Gateway for service proxy, protocol conversion and API governance.

:cloud: ownCloud web server core (Files, DAV, etc.)

Redis GUI by Redis

Fancy stream processing made operationally mundane

The free build of Claude Code. All telemetry removed, security-prompt guardrails stripped, all experimental features enabled.

A secure Python sandbox, written in Rust, for code written by AI.

Sandbox for developing and testing UI components in isolation

⛷ A quiet, local-first Markdown writing app for Mac, to help you write great sentences.

A renderer agnostic two-dimensional drawing api for the web

A modern Python package and dependency manager supporting the latest PEP standards

Agent IDE that enables you to manage fleets of coding agents. It comes with an agentic orchestrator that plans tasks, spawns agents, and autonomously handles CI fixes, merge conflicts, and code reviews.

AI,Opensource,Database,Business,Finance,Minds. git clone --depth 1 https://github.com/digoal/blog

Build effective agents using Model Context Protocol and simple workflow patterns

Headless open-source eCommerce platform on top of PHP/Symfony/API Platform

Light-weight system monitor for X, Wayland, and other things, too