hakatashi / atcoder-auto-submitterView external linksLinks
Fully-automated AtCoder submitter backed by OpenAI Codex.
☆19Jun 14, 2024Updated last year
Alternatives and similar repositories for atcoder-auto-submitter
Users that are interested in atcoder-auto-submitter are comparing it to the libraries listed below
Sorting:
- A simple whiteboard.☆11Nov 11, 2021Updated 4 years ago
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- ☆21Dec 19, 2024Updated last year
- The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)☆21Dec 12, 2021Updated 4 years ago
- Website for examining statistics of Google Code Jam rounds☆19Jul 20, 2022Updated 3 years ago
- GitHubとはてなブログの連携用環境。GitHubに記事の編集内容をプッシュするとはてなブログの記事も更新されます。☆26Dec 15, 2022Updated 3 years ago
- https://hapo31.github.io/charcoal☆11Dec 27, 2020Updated 5 years ago
- Web UI for the tenji package.☆10Jul 23, 2023Updated 2 years ago
- ☆11Oct 18, 2020Updated 5 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated last year
- my minecraft server☆37Feb 2, 2026Updated last week
- an automated solver for problems of competitive programming☆152Sep 29, 2021Updated 4 years ago
- Modified version of fairseq, including new implementations for criterions using reinforcement learning methods.☆11Aug 14, 2019Updated 6 years ago
- オンライン 117（時報・音声時計）☆11Jul 3, 2021Updated 4 years ago
- A Plugin for python competitive programming template☆11May 24, 2021Updated 4 years ago
- ☆10Aug 27, 2025Updated 5 months ago
- Rakuten Mini C330 で Android 10 GSI を起動する際のブートループを修正します。※data初期化後は、一旦ブートループして一瞬Hi thereが出る画面まで進んでからTWRPを起動すればインストールできるようになります☆10Aug 15, 2020Updated 5 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- resource packs for splaturn weapons.☆10Sep 20, 2022Updated 3 years ago
- Midi2PLAY is an application that helps the process of converting MIDI files (.mid) making them compatible with the syntax accepted by the…☆10Dec 30, 2021Updated 4 years ago
- Pluggable framework for building Verifiable Credentials ecosystems☆19Updated this week
- ☆18Dec 26, 2025Updated last month
- A thin-hypervisor that runs on aarch64 CPUs.☆103Feb 2, 2026Updated last week
- Language for libraries used in competition programming☆43Feb 13, 2022Updated 4 years ago
- Scrapbox notation → JavaScript Object☆99Jan 1, 2026Updated last month
- Discourse Probing of Pretrained Language Models. In Proceedings of NAACL 2021.☆10Jun 27, 2022Updated 3 years ago
- Library for experimenting with state-of-the-art evaluation metrics like UScore☆12May 27, 2023Updated 2 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Tourmaline is a AOT programming language with LLVM☆12Aug 21, 2017Updated 8 years ago
- 👋 WIP: Say good-bye to HTML, a document markup which is not for applications.☆38Feb 22, 2024Updated last year
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- My templates used in OI. All C++.☆11Jul 17, 2018Updated 7 years ago
- PocketMine-MPの情報を集約します☆11Jul 7, 2022Updated 3 years ago
- Audio GIFs (.a.gif) -- "Sounds like a Bad Idea."☆11Jun 7, 2019Updated 6 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Dnscript is specific scripting language specializing to build the "danmaku" in shooting game.☆11Apr 29, 2016Updated 9 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- Help nginx recognize clients' real IP, instead of Cloudflare/Fastly IP when using their CDN 🌐☆10Jun 3, 2023Updated 2 years ago
- Mofusskey is a client of Misskey.☆11Jun 15, 2020Updated 5 years ago