Skip to content
View simta1's full-sized avatar

Highlights

  • Pro

Organizations

@SystemConsultantGroup @skku-npc

Block or report simta1

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.

Content in all repositories owned by your account will be closed.
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

Solutions to Project Euler problems in OCaml

OCaml 1 Updated Oct 6, 2026

Project Euler problem set compilation

TeX 53 1 Updated Sep 1, 2026

计算几何算法模板 | Computational geometry algorithm library assembled by myself, helped our team(Vegetables of Tongji) win silver medal in the ICPC Asia-East Continent Final Xi'an Site 2018.

C++ 13 2 Updated Jul 8, 2019

DOMjudge programming contest jury system

PHP 918 299 Updated Oct 4, 2026

🔮 Adds missing Vim features to Obsidian, such as surround, multi-cursor, scrolloff, gd, gx, and more

TypeScript 6 1 Updated May 17, 2026

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

Rust 416 17 Updated Oct 5, 2026

Full-featured audio/video downloader for Android using yt-dlp

Kotlin 10,463 481 Updated Oct 7, 2026

Extend your AtCoder

TypeScript 1,624 153 Updated Jul 15, 2026

An animated 3D fetch tool for your terminal. Takes your distro's ASCII logo, turns it into a spinning 3D object, and displays live system info alongside it.

C 1,000 41 Updated Sep 21, 2026

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 40,963 18,995 Updated Oct 7, 2026

xdg-desktop-portal backend for choosing files with your favorite file chooser

C 168 42 Updated Jul 31, 2023

Protect chests, doors and other blocks in Minecraft from being opened using protection signs

Java 82 59 Updated Sep 15, 2026

Minecraft 26.2 Plugin - Ender Dragon Team Battle

Kotlin 1 1 Updated Sep 29, 2026

An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.

Python 931 122 Updated Oct 1, 2025

Your comprehensive guide to global programming contests. Track events, get details, and never miss a competition.

Python 439 68 Updated Oct 4, 2026

A database for Chinese OI participants.

TypeScript 974 29 Updated Aug 21, 2026

NiriMod – A visual, interactive configuration interface for the niri Wayland compositor.

Python 443 22 Updated Oct 5, 2026
Lua 98 7 Updated Jan 22, 2025

A C implementation for creating 2D Voronoi/Delauney diagrams

C 736 98 Updated Jul 25, 2026

lints and suggestions for the nix programming language

Rust 956 44 Updated Jul 26, 2026

Community-driven Nix Flake for the Zen browser

Nix 1,011 93 Updated Oct 7, 2026

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Nix 3,359 333 Updated Oct 5, 2026

Predictive inline shell autosuggestions for zsh. Go daemon, no TUI, no sync

Go 886 16 Updated Oct 5, 2026
C++ 11,282 4,836 Updated Oct 7, 2026

track your OI preparation!

TypeScript 17 5 Updated Jan 27, 2023

Chrome extension for automatic time tracking and metrics generated from your browsing activity.

TypeScript 489 118 Updated Jun 16, 2026

FFmpeg GUI

Rust 2,043 72 Updated Oct 5, 2026

NOIP, CSP-J/S, NOI, IOI

Rich Text Format 503 214 Updated Sep 13, 2026

TUI to organize your time: Pomodoro, Tabata, Countdown, Timer, Event.

Rust 378 23 Updated Sep 1, 2026

Google Coding Competitions problem archive

HTML 1,394 365 Updated Jul 12, 2023
Next