Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

A Subsonic client for macOS

Amperfy is an iOS/iPadOS/macOS app to play songs from an Ampache or Subsonic server

🎧☁️ Your Personal Streaming Service

Qt Graphical MPD Client

Lightweight multi-platform code editor designed for modern hardware with a focus on responsiveness and performance.

macOS space indicator

OCaml bindings to macOS and iOS Cocoa frameworks

Invidious is an alternative front-end to YouTube

Static website generator based on HTML element tree rewriting

A peer-to-peer file-transfer tool in OCaml

RSS reader for macOS and iOS.

AirPlay Unix mirroring server

Official Transmission BitTorrent client repository

The code base of supertuxkart

A simple multi-format pretty-printer for Menhir.

A lightweight and versatile audio player

Take control over your live stream video by running it yourself. Streaming + chat out of the box.

Lightweight selfhosted Firefox Send alternative without public upload. AWS S3 supported.

Linux auto tiling manager with hot corner support for Openbox, Fluxbox, IceWM, Xfwm, KWin, Marco, Muffin, Mutter and other EWMH compliant window managers using the X11 window system. Therefore, th…

Programming language for literate programming law specification

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

📺🗿 Terminal graphics for the 21st century.

Unix-like kernel written in Rust

Unison file synchronizer

A lightweight text editor written in Lua

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Original Xbox Emulator for Windows, macOS, and Linux (Active Development)

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…