a git alternative written in zig

youtube video renderer

Get Spotify tracks in true FLAC from Tidal, Qobuz & Amazon Music — no account required.

Powerful, simple, audio tag editor for GNU/Linux

Little tools and templates to help write dissertations...

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

A Video display simulator

simple terminal UI for git commands

🎥 Command line media player

Plugin for beets to use VocaDB, UtaiteDB and TouhouDB as an autotagger source.

The SQL IDE for Your Terminal.

Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.

Kakoune Language Server Protocol Client

An open-source AI agent that brings the power of Gemini directly into your terminal.

Sail architecture definition language

CoqIDE-like experience for kakoune

Rocq framework to define the semantics of CPU architectures

An implementation of the IETF QUIC protocol

An implementation of the TLS/SSL protocols

Assembly super-optimization via constraint solving

Checking that functions are constant time with Valgrind

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

The HOL Light theorem prover

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static a…

A robust two way (bidirectional) file sync script based on rsync with fault tolerance, POSIX ACL support, time control and near realtime sync

Unison file synchronizer

Gromit-MPX is an on-screen annotation tool that works with any Unix desktop environment under X11 as well as XWayland.

Lexer generator for C, C++, D, Go, Haskell, Java, JS, OCaml, Python, Rust, Swift, V and Zig.