clavin
Follow
Stars
Lean 4 programming language and theorem prover
A from-scratch experimental AOT JS engine, written in JS
The Bluesky Social application for Web, iOS, and Android
LO - small programming language targeting WASM that aims to be as simple as possible
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…
The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.
Radix Primitives is an open-source UI component library for building high-quality, accessible design systems and web apps. Maintained by @workos.
Radix Themes is an open-source component library optimized for fast development, easy maintenance, and accessibility. Maintained by @workos.
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer
A Git-compatible VCS that is both simple and powerful
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Distribute and run LLMs with a single file.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Official Anytype client for MacOS, Linux, and Windows
A repository for the stack switching proposal.
A personal experimental C++ Syntax 2 -> Syntax 1 compiler