Skip to content
View leana8959's full-sized avatar

Block or report leana8959

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results

Last Resort Font

Python 765 20 Updated Sep 10, 2024

Visual Studio Code Extension and Language Server Protocol for Coq

OCaml 160 35 Updated Feb 17, 2025

Interactive Coq Proofs in Vim

Python 283 33 Updated Feb 23, 2025

Neovim client for coq-lsp

Lua 26 1 Updated Oct 28, 2024

Little Encryption project to train rust.

Rust 2 Updated Feb 25, 2025

A modification of the Apple Mail plugin for GnuPG encrypted e-mails, so it does not require a support plan.

Objective-C 567 44 Updated Feb 7, 2025

Use your tablet as graphic tablet/touch screen on your computer.

Rust 7,376 295 Updated Feb 24, 2025

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…

C++ 12,218 866 Updated Feb 23, 2025

it is finally here

Lua 17 1 Updated Feb 13, 2025

Vim plugin that defines a new text object representing lines of code at the same indent level. Useful for python/vim scripts, etc.

Vim Script 759 58 Updated Jan 21, 2024

Brainfuck interpreter inside printf

Brainfuck 650 27 Updated Apr 1, 2021

📚 Collaborative cheatsheets for console commands

Markdown 53,818 4,351 Updated Feb 26, 2025

A scrollable-tiling Wayland compositor.

Rust 5,259 175 Updated Feb 25, 2025

Customized version of Apple's Menlo font. Great monospaced font for development work. Should also work with the Windows Console (see Wiki for Windows infos).

2,629 132 Updated Jan 22, 2019

A few tweaked fonts geared for programming

C# 163 13 Updated Oct 13, 2019
JavaScript 79 16 Updated Feb 14, 2025

Private alternative front-end for Genius.

Go 234 21 Updated Feb 1, 2025

A user-friendly, lightweight TUI for disk imaging

Rust 470 7 Updated Jan 9, 2025

Nix-based incremental build tool for Haskell projects

Nix 335 25 Updated Oct 16, 2020

A unified NixOS tooling replacement for nixos-* utilities

Zig 236 2 Updated Feb 22, 2025

Haskell parser and printer for the TOML 1.0.0 file format

Haskell 26 7 Updated Dec 19, 2024

Webtoons Scraper able to download all chapters of any series wanted.

Python 164 55 Updated Oct 20, 2024

Ease reproducible experiments of distributed systems

Python 11 3 Updated Dec 1, 2024

History of type theory (Chinese).

TeX 334 11 Updated Feb 24, 2025

Browser Extension for automatically searching Rossmann's Consumer Action Taskforce (CAT) articles for the current page being visited.

TypeScript 378 28 Updated Feb 23, 2025

A curated list of the most common and most interesting robots.txt disallowed directories.

Shell 1,445 301 Updated Aug 22, 2022

A list of AI agents and robots to block.

Python 1,916 65 Updated Feb 19, 2025

A TUI playground to experiment with your favorite programs, such as grep, sed, awk, jq and yq

Go 381 8 Updated Jan 28, 2025

HTTP rate limiting module for Caddy 2

Go 289 19 Updated Jan 6, 2025
Next
Showing results