Nix Packages collection & NixOS

Visual Studio Code

An open-source framework for making universal native apps with React. Expo runs on Android, iOS, and the web.

Artikolfonto kaj bildoj - do la enhavo de Reta Vortaro

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Collaborative cheatsheets for console commands 📚.

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

The easiest, most secure way to use WireGuard and 2FA.

a simple syntax for complex argumentation

Bitcoin Core integration/staging tree

DuckDB is an analytical in-process SQL database management system

A Matrix client written in Go.

Client implementation of the Language Server Protocol for Sublime Text

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

🐚 Python-powered shell. Full-featured, cross-platform and AI-friendly.

Linux kernel source tree

A Matrix-Telegram puppeting bridge

A list of Free Software network services and web applications which can be hosted on your own servers

Lean 4 programming language and theorem prover

A SIXEL encoder/decoder implementation derived from kmiya's sixel (https://github.com/saitoha/sixel).

Collect your thoughts and notes without leaving the command line.

📝 Today I Learned

Qalculate! library and CLI

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

An attempt to better support Minecraft-related content for the Nix ecosystem

⛅ The right way to check the weather

Command-line tool to customize Spotify client. Supports Windows, macOS, and Linux.

HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.

Fast math typesetting for the web.

Distributed, offline-first bug tracker embedded in git