ljt12138/Proof-of-Surreal external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ljt12138/Proof-of-Surreal

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ljt12138/Proof-of-Surreal)

Close

ljt12138 / Proof-of-SurrealView on GitHubMore

• External links
• Readme badge

A formal proof of NOI 2020 D2T2

☆10Sep 9, 2020Updated 6 years ago

Alternatives and similar repositories for Proof-of-Surreal

Users that are interested in Proof-of-Surreal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Lxns-Network / mirai-python-sdk

  View on GitHub
  基于 kuriyama（Python SDK v3）的修改版本
  ☆12Jun 13, 2021Updated 5 years ago
• BH4HPA / ClipBoard-Qr-Helper

  View on GitHub
  Scan the qr code on the clipboard automatically \ 自动识别你剪贴板上刚复制的二维码图片
  ☆15Feb 7, 2021Updated 5 years ago
• memset0 / uoj-ac-compare

  View on GitHub
  UOJ 通过题目比较器
  ☆15Jul 1, 2019Updated 7 years ago
• fjzzq2002 / winter_mutual_training_contest_2018

  View on GitHub
  2018年集训队冬令营前胡策个人吐槽仓库
  ☆35Dec 26, 2018Updated 7 years ago
• iotang / oiQuotations

  View on GitHub
  Quotations for oi
  ☆37May 7, 2024Updated 2 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• bbentzen / mpl

  View on GitHub
  A Henkin-style completeness proof for the modal logic S5
  ☆18Jun 20, 2021Updated 5 years ago
• oi-archive / source

  View on GitHub
  OI-Archive 主数据集
  ☆18Nov 11, 2020Updated 5 years ago
• tqyaaaaang / Hyper-OS

  View on GitHub
  Operating System Simulator
  ☆18Jun 18, 2019Updated 7 years ago
• test12345-pupil / orzyyb

  View on GitHub
  yyb粉丝站点，一起膜拜yyb！
  ☆21Aug 3, 2019Updated 7 years ago
• Lxns-Network / LxBot-Docs

  View on GitHub
  LxBot 2.0 帮助文档
  ☆30Jan 10, 2023Updated 3 years ago
• EntropyIncreaser / ioi2021-homework

  View on GitHub
  ☆29Nov 7, 2022Updated 3 years ago
• memset0 / ioihw20-helper

  View on GitHub
  xm 集训队
  ☆29Oct 23, 2020Updated 6 years ago
• Schwarzkopf-Henkal / Chat-Room-Lite

  View on GitHub
  ☆35Dec 30, 2020Updated 5 years ago
• sxyzccr / CCR-Plus

  View on GitHub
  A simple judging environment for Olympiad in Informatics
  ☆120Apr 25, 2024Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• fjzzq2002 / CFBooster

  View on GitHub
  ☆60Jan 9, 2020Updated 6 years ago
• pascal-lab / java-benchmarks

  View on GitHub
  ☆11Jun 27, 2026Updated 4 months ago
• wangyurzee7 / THUPC2019

  View on GitHub
  THUPC(Tsinghua University Programming Competition)2019
  ☆62May 13, 2019Updated 7 years ago
• dengtesla / acm

  View on GitHub
  ☆15Apr 6, 2019Updated 7 years ago
• astrainfinita / Algorithm

  View on GitHub
  Verified efficient algorithms in Lean4.
  ☆41Updated this week
• ouuan / LuoguPaintBoard

  View on GitHub
  洛谷冬日绘板脚本（已停止维护）
  ☆56Dec 31, 2020Updated 5 years ago
• vijos / vijosos

  View on GitHub
  Vijos: Vijos Isn't Just an Operating System
  ☆10May 31, 2020Updated 6 years ago
• Xecades / API

  View on GitHub
  好耶！又是一个个人名片 API ✨
  ☆24Jul 4, 2024Updated 2 years ago
• JoinChang / LxBot

  View on GitHub
  LxBot，别名软糖酱，是一款支持 QQ、Discord、Telegram 的完全公益性质的功能型机器人。
  ☆43Sep 20, 2021Updated 5 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• Yuki-Minakami / PHelper

  View on GitHub
  功能完善的pixiv爬虫(2.0版本发布)
  ☆52Apr 18, 2018Updated 8 years ago
• HoshinoTented / anti-indulged-intellij

  View on GitHub
  Anti-Indulged for IntelliJ Platform (AI4IJ)
  ☆26Jan 27, 2021Updated 5 years ago
• NPLPackages / main

  View on GitHub
  NPL.load("npl_packages/main/");
  ☆11Jul 17, 2026Updated 3 months ago
• janestreet / splay_tree

  View on GitHub
  A splay tree implementation.
  ☆13Jul 10, 2026Updated 3 months ago
• code-cp / llama2-burn

  View on GitHub
  ☆19May 30, 2024Updated 2 years ago
• OIerTFX / IOI

  View on GitHub
  IOI 中国国家候选集训队论文集
  ☆13Apr 19, 2025Updated last year
• xuyifangreeneyes / mxcompiler

  View on GitHub
  Craft a toy compiler
  ☆10Aug 21, 2019Updated 7 years ago
• twd2 / roload

  View on GitHub
  My DAC '21 work open-sourced.
  ☆14Feb 25, 2021Updated 5 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• digama0 / ConZF

  View on GitHub
  A proof of the consistency of ZF in axiom-free Lean
  ☆23Sep 19, 2026Updated last month
• tars0x9752 / atcoder-charts

  View on GitHub
  AtCoder's rating and performance chart. (no longer maintained)
  ☆15Jan 4, 2023Updated 3 years ago
• chuanchang / jixundui-lunwen

  View on GitHub
  历年国家集训队论文
  ☆13Aug 4, 2023Updated 3 years ago
• wilbowma / scribble-bettergrammar

  View on GitHub
  A Scribble library for typesetting grammars better
  ☆15Jul 9, 2026Updated 3 months ago
• Anon52MI4 / oeis-alien

  View on GitHub
  ☆23Jan 19, 2023Updated 3 years ago
• BerkinChen / pku-compiler

  View on GitHub
  2023秋PKU编译原理lab，以及Koopa IR C++接口的文档
  ☆16Feb 12, 2024Updated 2 years ago
• kylelv2000 / PKUAutoElective_updated

  View on GitHub
  ☆13Feb 19, 2023Updated 3 years ago