#
Lists (7)
Starred repositories
Anki add-on providing incremental reading features
TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)
Cross-platform AirDrop. File transfer between Android, iOS, Linux, macOS, and Windows over ad hoc WiFi. No network infrastructure required, just two devices with WiFi chips (and optionally Bluetoot…
#1 Locally hosted web application that allows you to perform various operations on PDF files
Self-hosted game stream host for Moonlight.
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Bazel C/C++ toolchain for cross-compiling C/C++ programs
Loki: Open-source solution designed to automate the process of verifying factuality
Curated list of project-based tutorials
Staging area for Kakoune code editor plugins
Large language model code completion for Emacs
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
A wrapper tool for nix OpenGL application [maintainer=@guibou]
Smooth scrolling for Kakoune with inertial movement
Safe arithmetic library for C++20 and above. Safe arithmetic ensures correctness of arithmetic operations at compile-time. It protects against overflow, underflow, divide by zero, and out-of-bounds…