The Fast Downward domain-independent classical planning system

Python Type Checker / Language Server

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Documentation and code related to the special symbols and accented characters available on the standard US Apple keyboard layout or the ABC Extended keyboard layout with the Option key modifier.

📂 Access Linux-native file systems (including LVM and LUKS) on Windows and macOS with help of a lightweight Alpine Linux VM. x86/ARM supported.

Automatic CPU speed & power optimizer for Linux

Thermal daemon for IA

Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad!

A fast and flexible keyboard launcher

🍺 The Package Manager for Everywhere

An open-source Python library for poker game simulations, hand evaluations, and statistical analysis

Vim plugin: Text objects for entire buffer

Changes Vim working directory to project root.

a small statically-linked linux system

A vi-like editor based on Plan 9's structural regular expressions

smenu started as a lightweight and flexible terminal menu generator, but quickly evolved into a powerful and versatile CLI selection tool for interactive or scripting use.

Minimal X-application which hides the cursor on key-press and unhides it on mouse-movement efficiently.

Debug Adapter Protocol client implementation for Neovim

LeechBlock NG (Next Generation) for Chrome is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify whi…

LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify wh…

Minimal X-window-manager with only one task. Open every window maximized. Zero configuration.

Simple X hotkey daemon

A terminal workspace with batteries included

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merg…

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville

A simple terminal emulator

File browser for Cinnamon

🧠 💪 // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more

💻 🔒 🔑 Secure Boot key manager