Skip to content
@loorr-fork

loorr-fork

  • China

Popular repositories Loading

  1. miniob miniob Public

    Forked from oceanbase/miniob

    MiniOB is one mini database, helping developers to learn how database works.

    C++

  2. docker-stacks docker-stacks Public

    Forked from jupyter/docker-stacks

    Ready-to-run Docker images containing Jupyter applications

    Python

  3. ReProver ReProver Public

    Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    Python

  4. MinerU MinerU Public

    Forked from opendatalab/MinerU

    A one-stop, open-source, high-quality data extraction tool, supports PDF/webpage/e-book extraction.一站式开源高质量数据提取工具，支持PDF/网页/多格式电子书提取。

    Python

Repositories

Showing 4 of 4 repositories
  • MinerU Public Forked from opendatalab/MinerU

    A one-stop, open-source, high-quality data extraction tool, supports PDF/webpage/e-book extraction.一站式开源高质量数据提取工具，支持PDF/网页/多格式电子书提取。

    loorr-fork/MinerU’s past year of commit activity
    Python 0 AGPL-3.0 2,179 0 0 Updated Oct 2, 2024
  • ReProver Public Forked from lean-dojo/ReProver

    Retrieval-Augmented Theorem Provers for Lean

    loorr-fork/ReProver’s past year of commit activity
    Python 0 MIT 57 0 0 Updated Jul 2, 2024
  • docker-stacks Public Forked from jupyter/docker-stacks

    Ready-to-run Docker images containing Jupyter applications

    loorr-fork/docker-stacks’s past year of commit activity
    Python 0 3,029 0 0 Updated Apr 15, 2024
  • miniob Public Forked from oceanbase/miniob

    MiniOB is one mini database, helping developers to learn how database works.

    loorr-fork/miniob’s past year of commit activity
    C++ 0 MulanPSL-2.0 1,270 0 0 Updated Sep 19, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…