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

Lean 4 programming language and theorem prover

Build production-ready applications in TypeScript

A Git-compatible VCS that is both simple and powerful

Bleeding edge emacs overlay [maintainer=@adisbladis]

Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network

Turso is an in-process SQL database, compatible with SQLite.

A scrollable-tiling Wayland compositor.

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

</> htmx - high power tools for HTML

A clojure tool to navigate through your data.

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

The native Clojure dialect hosted on LLVM with seamless C++ interop.

It's Magit! A Git Porcelain inside Emacs.

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

#1 Open Source Unity Networking Library

Anime Girls Holding Programming Books

C# pure functional programming framework - come and get declarative!

A post-modern modal text editor.

An Emacs framework for the stubborn martian hacker

The zero configuration build tool for the web. 📦🚀

Rich, real-time user experiences with server-rendered HTML

📚 Freely available programming books

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Generate Nix build instructions from a Cabal file

A `flake-parts` Nix module for Haskell development

🔍 consult.el - Consulting completing-read

aider is AI pair programming in your terminal

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]