A list of inputs that will beat the vast majority of Pokemon Firered games

Este repositorio contiene el código del prototipo desarrollado para verificar la factibilidad del protocolo propuesto en la tesis de maestría "Especificación Formal De Un Protocolo Criptográfico De…

Provides network connectivity to WSL 2 when blocked by VPN

A powerful and beautiful mode-line for Emacs.

Tabs and ribbons for the mode-line

pix2tex: Using a ViT to convert images of equations into LaTeX code.

A configuration as code language with rich validation and tooling.

A code-searching tool similar to ack, but faster.

A git blame plugin for emacs inspired by VS Code's GitLens plugin

Style definitions for nice terminal layouts 👄

MinEmacs: an Emacs configuration framework for daily use

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Emacs rainbow delimiters mode

Emacs package for highlighting uncommitted changes

Colourful and legible themes for GNU Emacs

Render markdown on the CLI, with pizzazz! 💅🏻

This Emacs theme reduces eye strain with a light, high-contrast color scheme, syntax highlighting, and support for multiple modes. Enhance your coding experience! #emacs #theme #coding #orgmode

Command-line program to download videos from YouTube.com and other video sites

Extremely fast non-cryptographic hash algorithm

an Emacs "jump to definition" package for 50+ languages

A butler for your buffers. Group buffers into workspaces with programmable rules, and easily switch to and manipulate them.

Source code for the X Recommendation Algorithm

A fancy and fast mode-line inspired by minimalism design.

Nyxt - the hacker's browser.

Set of eye pleasing themes for GNU Emacs. Supports both GUI and terminal.

tao-theme - two uncoloured color themes for EMACS

An extensible emacs dashboard

RAG on Paul Graham's essays.