A curated collection of open source tools for online safety

Openterface Mini-KVM: Host Applications for Windows and Linux

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

BOM, STL files and instructions for PAROL6 3D printed robot arm

A Unix shell and Lisp REPL, fused together

Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)

Community-maintained repository of free software for the reMarkable tablet.

DM50 is a cheap, powerful, easy to build, open source hardware, and high precision calculator.

Make your own quadrille, graph, hex, etc paper! Uses the pgf/TikZ package for LaTeX, which should be part of any modern TeX installation.

Emacs package for drawing hex maps

A curated list of awesome tools related to NDI

Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and dynamic analysis techniques.

Generate audiobooks from e-books

A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.

A sensible base Emacs configuration.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Master of Ceremonies. Display & presentation utilities to make presentation packages more effective

Go app that allows you to access your reMarkable tablet files through the Cloud API

🌠 Manage your shell commands.

Simple X hotkey daemon

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Awesome Typst Links

Python 3 alternative command line interface for AWS Route 53; enables simple record management and dynamic DNS

Manipulate DNS records on various DNS providers in a standardized way.

Custom build of Iosevka with different style and metrics than the default.

Start a conversation next to any web page using your Bluesky account

List of projects that provide terminal user interfaces