Skip to content
View Artemis21's full-sized avatar
🦔
🦔

Highlights

  • Pro

Organizations

@PolyChampions @polympics @blitztime @cupid-bot @clique-discord @polyduels @pls-shareit @sunlituk

Block or report Artemis21

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Empowering everyone to host fast and efficient Minecraft servers.

Rust 7,775 533 Updated Jun 12, 2026

FamiStudio NES Music Editor

C# 1,898 132 Updated May 12, 2026

Run Windows software and games on Linux

Python 8,501 356 Updated Jun 13, 2026

Intuitive find & replace CLI (sed alternative)

Rust 7,189 160 Updated Feb 25, 2026

MP3 decoding library in pure Rust

Rust 42 4 Updated Nov 22, 2020

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Rust 31,118 537 Updated Mar 28, 2026

View Source, but for terminal escape sequences

Rust 21 Updated Apr 12, 2024

An open source book discussing Adaptive Democracy.

Vue 17 1 Updated Jan 7, 2026

Rich is a Python library for rich text and beautiful formatting in the terminal.

Python 56,620 2,178 Updated Apr 12, 2026

Source code spell checker

Rust 3,994 172 Updated Jun 4, 2026

Advent of Code CLI for reading, running and submitting.

TypeScript 38 2 Updated Nov 17, 2024

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Rocq Prover 835 15 Updated May 14, 2026

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Python 36,261 1,218 Updated May 27, 2026

Q&A-based community knowledge-sharing software

Ruby 436 71 Updated Jun 13, 2026

On undoing, fixing, or removing commits or mistakes in git

237 46 Updated Jul 24, 2023