psachin
Follow
Stars
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
This repo holds bootcamp related projects, links and docs.
Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications
A library to handle automated deprecations
Multiplayer Bluetooth controllers adapter for retro video game consoles
Asynchronous Python client for the AdGuard Home API
An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execu…
Help keeping ~/.config/emacs clean
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
A command-line productivity tool powered by AI large language models like GPT-4, will help you accomplish your tasks faster and more efficiently.
Python adaptation of Danielle Navarro's Learning Statistics with R (http:https://learningstatisticswithr.com/). Work in progress!
An extension to insert shebang line for GNU Emacs
Python library for extracting real-time data from Bombay Stock Exchange (India)
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
A curated list of pylint errors with explanation and examples
Configurable automation + hooks called with application information
Makes it easy to run shell scripts per filetype/directory when a buffer is saved in Emacs.
complementary material for the Youtube video series Inside Emacs
The posts about "emacs/elisp" that I publish on the subreddit https://www.reddit.com/r/emacs/ in an org document.