Seer - a gui frontend to gdb

Cpp2Rust: Automatic Translation of C++ to Safe Rust

Rewriting Principia Mathematica in Lean

A True Instrumentable Binary Emulation Framework

Sioyek is a PDF viewer with a focus on textbooks and research papers

tiny but flexible init system and process supervisor

C library for generating audio fingerprints used by AcoustID

A rich git commit graph in your terminal, like magic 📚

The Gregorio Project

HTML5 Wayland compositor 🌱

A modern step-through debugger for GHC Haskell

Trace pthread events

Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.

Mozilla code search website. (Please file bugs in bugzilla at https://mzl.la/2YtXmoN)

Userspace WireGuard® Implementation in Rust

A spreadsheet where formulas also update backwards

Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)

Generate geoclue /etc/geolocation based on the current time zone.

Open hardware and software tools for communicating with Miele appliances via their optical diagnostic interface

Public repository of the QuickJS Javascript Engine.

A fast usermode x86 and x86-64 emulator for Arm64 Linux

Decode the analog waveform extracted from old computer mag tapes

Fil-C: completely compatible memory safety for C and C++

Presentation Slides for Developers

OpenVINO™ is an open source toolkit for optimizing and deploying AI inference

Speech Note Linux app. Note taking, reading and translating with offline Speech to Text, Text to Speech and Machine translation.

Use Firefox Translation Models for on-device translation on Android

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.