Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available

Fast and beautiful note-taking app written in C++. Write down your thoughts.

YOLOv8 implementation using PyTorch

Lean 4 programming language and theorem prover

Python composable command line interface toolkit

Rusty Object Notation

A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).

A post-modern modal text editor.

tui file manager with vim-like key mapping

A powerful set of Python debugging tools, based on PySnooper

The most widely used Python to C compiler

Build system, successor to Buck

Declarative GUI framework for Python and Qt

automatic persistence for Python objects

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

A collection of resources for learning type theory and type theory adjacent fields.

Arch Linux installer - guided, templates etc.

Never use print for debugging again

⚠️ Fenix (Firefox for Android) moved to a new repository. It is now developed and maintained as part of: https://github.com/mozilla-mobile/firefox-android

Command-line program to download videos from YouTube.com and other video sites

📈 Plotting on the command line

Run bash commands from python

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…

Linux kernel source tree

Scene Builder is a visual, drag 'n' drop, layout tool for designing JavaFX application user interfaces.

Modern XMPP ("Jabber") Chat Client using GTK/Vala

Android client for Project Tox - Secure Peer to Peer Messaging

An Open Source Machine Learning Framework for Everyone

Lcapy is a Python package for symbolic linear circuit analysis and signal processing. It uses SymPy for symbolic mathematics.

Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)