Skip to content
Change the repository type filter

All

    Repositories list

    • [NeurIPS 2022] Towards Robust Blind Face Restoration with Codebook Lookup Transformer
      Python
      Other
      3.4k000Updated Sep 19, 2024Sep 19, 2024
    • 《Hello 算法》:动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新,English version ongoing
      Java
      Other
      13k000Updated Sep 2, 2024Sep 2, 2024
    • ChatPaper

      Public
      Use ChatGPT to summarize the arXiv papers. 全流程加速科研,利用chatgpt进行论文全文总结+专业翻译+润色+审稿+审稿回复
      Python
      Other
      1.9k000Updated Apr 4, 2024Apr 4, 2024
    • Homepage for STAT 157 at UC Berkeley
      Jupyter Notebook
      Apache License 2.0
      1.5k000Updated Feb 16, 2021Feb 16, 2021
    • 📚 Freely available programming books
      Other
      63k000Updated Jan 22, 2019Jan 22, 2019
    • note

      Public
      Python
      1000Updated Nov 9, 2018Nov 9, 2018
    • z3

      Public
      The Z3 Theorem Prover
      C++
      Other
      1.5k000Updated Oct 28, 2018Oct 28, 2018
    • logcf

      Public
      one unpulish paper
      TeX
      0000Updated Oct 14, 2018Oct 14, 2018
    • A multiple pages app built for OnlineJudge
      Vue
      Other
      535000Updated Sep 18, 2018Sep 18, 2018
    • minisatp

      Public
      The Pseudo-Boolean Solver MiniSat+
      C++
      Other
      13000Updated Jul 9, 2018Jul 9, 2018
    • open source online judge based on Vue, Django and Docker. | 青岛大学开源 Online Judge | QQ群 496710125
      Python
      MIT License
      1.5k000Updated Jul 5, 2018Jul 5, 2018
    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      Other
      398000Updated Jul 2, 2018Jul 2, 2018
    • Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
      Python
      Other
      6k000Updated May 24, 2018May 24, 2018
    • mxgraph

      Public
      mxGraph is a fully client side JavaScript diagramming library
      HTML
      Apache License 2.0
      2.1k000Updated Oct 18, 2017Oct 18, 2017
    • A computation-centric distributed graph processing system.
      C++
      Apache License 2.0
      131000Updated Nov 2, 2016Nov 2, 2016