Lists (2)
Stars
No fortress, purely open ground. OpenManus is Coming.
Smart Contract Property-Based Testing Framework
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Experience email the way you want with 0 – the first open source email app that puts your privacy and safety first. Join the discord: https://discord.gg/0email
curation of all(most) immunefi bug bounty writeups I could find(till now)
The open source Cursor for Designers. Design directly in your live React app and publish your changes to code.
Python SDK to Interact with Intelligent Code Generation Agents
🤖 Autonomous agent framework for Elixir. Built for distributed, autonomous behavior and dynamic workflows.
Resolve production issues, fast. An open source observability platform unifying session replays, logs, metrics, traces and errors powered by Clickhouse and OpenTelemetry.
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
An extremely fast Python package and project manager, written in Rust.
A massively parallel, high-level programming language
Generate tests based on the Branching Tree Technique.
Master programming by recreating your favorite technologies from scratch.
Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …
Free Tailwind CSS v4 components for your next project, designed to enhance your web development with the latest features and styles 🚀
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
The financial transactions database designed for mission critical safety and performance.
🦔 PostHog provides open-source web & product analytics, session recording, feature flagging and A/B testing that you can self-host. Get started - free.
A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.
A modular stack for zkVMs, with a focus on productivity, security and performance.
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
Keep your application settings in sync (OS X/Linux)
Improves interoperability between systems (i.e. devices, platforms, apps, databases) by exchanging data based on their semantics