Supports a student project developing a UI for feedback on arXiv articles rendered as html.
☆42Jul 10, 2026Updated 2 months ago
Alternatives and similar repositories for html_feedback
Users that are interested in html_feedback are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- みんなが見たアニメ一覧をまとめて見れるやつ☆11Nov 19, 2025Updated 10 months ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- Webブラウザだけで遊べるクイズ大会アプリ☆12Jan 6, 2023Updated 3 years ago
- My cool website, built with App Router☆16Updated this week
- An annotation tool for grounding of formulae☆24May 28, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🔭 Annict での今期の視聴状況を SVG 画像として出力するサーバ (WIP)☆19Dec 29, 2025Updated 8 months ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 8 months ago
- 数え上げお姉さん https://youtu.be/Q4gTV4r0zRs の愚直実装☆17Dec 2, 2021Updated 4 years ago
- ☆15Oct 8, 2023Updated 2 years ago
- Set up your GitHub Actions workflow with a specific version of Minecraft☆24Dec 5, 2024Updated last year
- ニコニコ動画の https://ext.nicovideo.jp/thumb/sm9 を画像にするサービスです。GitHubとかScrapboxとかで便利だと思います。☆18Aug 16, 2024Updated 2 years ago
- SATySFi Support for VSCode☆20Sep 12, 2026Updated 2 weeks ago
- *pop* *pop* *pop*☆18Jul 14, 2024Updated 2 years ago
- A gradle plugin for preventing no tests or to skip testing, inspired by https://github.com/kawasima/savanna-maven-plugin☆18Jun 21, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- サマーウォーズに登場するOZっぽ い何か☆18Oct 30, 2016Updated 9 years ago
- My preloader collection using CSS Animation.☆19Jul 15, 2018Updated 8 years ago
- Wii Shop Channel SOAP Server, designed specifically to handle Wii Shop Channel SOAP.☆18Oct 11, 2022Updated 3 years ago
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- Open JTalkをDockerコンテナーで動作させます。☆19Nov 8, 2020Updated 5 years ago
- Easy-to-use scripts to fine-tune GPT-2-JA with your own texts, to generate sentences, and to tweet them automatically.☆19Aug 26, 2025Updated last year
- A library for writing Docker Compose files in Dhall.☆26Jul 31, 2026Updated last month
- openBDのデータをすべてダウンロードするツール☆22Jun 8, 2022Updated 4 years ago
- Server Applications for aiwolf.org☆20Dec 13, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 縦書きエディタ☆26Updated this week
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- ニコニコ生放送をDocker SwarmからKubernetesへ移行した内容をハンドブックとして公開中。☆30Sep 7, 2024Updated 2 years ago
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆12Sep 21, 2023Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- ☆11Jul 4, 2022Updated 4 years ago
- バーチャル背景が適用された動画から部屋の背景画像を復元する☆22Jun 29, 2021Updated 5 years ago
- ☆30Mar 25, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 診断チャートメーカーのOGP画像用API☆25Jun 14, 2020Updated 6 years ago
- DNS records for Jekyll properties. Uses octodns to sync.☆15Aug 19, 2026Updated last month
- A JSON-based database to relational mapping Anime ID's between MyAnimeList, Annict, AniList and Syoboi Calendar☆38Updated this week
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Using nix as JSON, TEXT, TOML and YAML generator☆17May 2, 2025Updated last year
- Visualize and ranking the characters coupling of various anime / games / comics / and so on.☆23Aug 31, 2026Updated 3 weeks ago