Skip to content
View astier's full-sized avatar

Block or report astier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The Fast Downward domain-independent classical planning system

C++ 371 185 Updated Feb 15, 2026

Python Type Checker / Language Server

Rust 798 20 Updated Feb 18, 2026

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

Python 326 31 Updated Feb 15, 2026

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.

HTML 6 Updated Sep 15, 2022

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

Go 531 24 Updated Nov 1, 2024

Automatic CPU speed & power optimizer for Linux

Python 7,368 349 Updated Feb 16, 2026

Thermal daemon for IA

C++ 612 127 Updated Feb 17, 2026

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

Objective-C 9,213 278 Updated Feb 18, 2026

A fast and flexible keyboard launcher

C++ 7,854 322 Updated Feb 13, 2026

🍺 The missing package manager for macOS (or Linux)

Ruby 46,642 10,962 Updated Feb 17, 2026

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

Python 416 62 Updated Jan 16, 2026

Vim plugin: Text objects for entire buffer

Vim Script 451 27 Updated Aug 2, 2022

Changes Vim working directory to project root.

Vim Script 1,273 76 Updated Sep 25, 2024

a small statically-linked linux system

Roff 3,034 88 Updated Feb 8, 2026

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

C 4,461 275 Updated Feb 16, 2026

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.

C 2,475 52 Updated Jan 8, 2026

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

C 62 8 Updated Dec 16, 2025

Debug Adapter Protocol client implementation for Neovim

Lua 6,952 250 Updated Feb 11, 2026

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…

JavaScript 102 24 Updated Jan 18, 2026

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…

JavaScript 976 93 Updated Jan 4, 2026

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

C 21 Updated Oct 3, 2024

Simple X hotkey daemon

C 2,918 146 Updated Sep 27, 2025

A terminal workspace with batteries included

Rust 29,125 965 Updated Feb 18, 2026

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…

C 25,579 12,049 Updated Feb 17, 2026

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

Python 28,172 4,961 Updated Aug 18, 2024

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

Java 13,900 2,873 Updated Feb 3, 2026

A simple terminal emulator

C 332 12 Updated Feb 14, 2026

File browser for Cinnamon

C 1,471 335 Updated Feb 16, 2026

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

Lua 4,583 170 Updated Aug 19, 2024

💻 🔒 🔑 Secure Boot key manager

Go 2,029 105 Updated Nov 30, 2025
Next