A Discord API wrapper library made in C

RISC-V Instruction Set Manual

Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Emacs plugin aiming to become an aesthetic, modern looking tabs plugin

Cross-platform music production software

Run lua instead of elisp in emacs

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Untraditional GNU Emacs configuration

MLT Multimedia Framework

LDoc is a LuaDoc-compatible documentation generator which can also process C extension source. Markdown may be optionally used to render comments, as well as integrated readme documentation and pre…

Declare your digital independence

NixOS ISO Torrents

A bittorrent client in Rust

ECCV18 Workshops - Enhanced SRGAN. Champion PIRM Challenge on Perceptual Super-Resolution. The training codes are in BasicSR.

OsmAnd for iOS

An Emacs web feeds client

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Bleeding edge emacs overlay [maintainer=@adisbladis]

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

SDL2 bindings for Rust

Serde backed Bencode encoding/decoding library for Rust.

Music Visualizer

Android and iOS Geolocation plugin for Flutter

A flutter map plugin for displaying device current location.

Next generation Matrix client for iOS built with SwiftUI on top of matrix-rust-sdk.

Leaflet plugin for easy adding of tiles from Kartverket

A versatile mapping package for Flutter. Simple and easy to learn, yet completely customizable and configurable, it's the best choice for mapping in your Flutter app.

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.