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

A calmer internet, without any gimmicks.

Rhombus programming language

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, and more.

A proposal to add signals to JavaScript.

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

A safe, easy systems language

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.

web development for the rest of us

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.

Effect handlers in C++

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

Safe cross-platform linker shenanigans

Algebraic effects for Rust

The Crystal Programming Language

WebAssembly specification, reference interpreter, and test suite.