uor-r4

(★ 15)

No description available.

오너의 다른 레포

UOR-Framework ★ 23

Formalization of the UOR Framework as the https://uor.foundation/ model.

Rust
prism ★ 19

Universal coordinate system for information. Unlocking semantic web, open science and frontier technologies.

Rust
F1 ★ 9

Lean 4 research base: the 𝔽₁ square Spec ℤ ×_𝔽₁ Spec ℤ whose Hodge-index positivity is the Riemann Hypothesis (RH open).

Lean

파일 탐색기

ZIP 다운로드

파일 수가 많아 일부만 표시됩니다. 전체 파일은 위 다운로드 버튼으로 확인해 주세요.

  • .gitattributes
  • .gitignore
  • AGENTS.md
  • Cargo.lock
  • Cargo.toml
  • CONFORMANCE.md
  • CONTRIBUTING.md
  • deny.toml
  • geometric_prime_router_webapp.html
  • index.css
  • index.html
  • Justfile
  • LICENSE
  • r4-app.sh
  • r4_worker.js
  • README.md
  • ROADMAP.md

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

파일 목록이 많아 일부만 표시됩니다.

링크
예시

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

cargo check

설명 보기 ▼

Check a local package and all of its dependencies for errors.

cargo {{[c|check]}}

Check the current package:

cargo {{[c|check]}} --tests

Check all tests:

cargo {{[c|check]}} --test {{integration_test1}}

Check the integration tests in `tests/integration_test1.rs`:

🔍

cargo clippy

설명 보기 ▼

A collection of lints to catch common mistakes and improve your Rust code.

cargo clippy

Run checks over the code in the current directory:

cargo clippy --locked

Require that `Cargo.lock` is up to date:

cargo clippy --workspace

Run checks on all packages in the workspace:

🔍

cargo fmt

설명 보기 ▼

Run `rustfmt` on all source files in a Rust project.
See also: `rustfmt`.

cargo fmt

Format all source files:

cargo fmt --check

Check for formatting errors without writing to the files:

cargo fmt -- {{rustfmt_args}}

Pass arguments to each `rustfmt` call:

🔍

cargo run

설명 보기 ▼

Run the current Cargo package.
Note: The working directory of the executed binary will be set to the current working directory.

cargo {{[r|run]}}

Run the default binary target:

cargo {{[r|run]}} --bin {{name}}

Run the specified binary:

cargo {{[r|run]}} --example {{name}}

Run the specified example:

🔍

cargo test

설명 보기 ▼

Execute the unit and integration tests of a Rust package.

cargo {{[t|test]}} {{test_name}}

Only run tests containing a specific string in their names:

cargo {{[t|test]}} -- --test-threads {{count}}

Set the number of simultaneous running test cases:

cargo {{[t|test]}} {{[-r|--release]}}

Test artifacts in release mode, with optimizations:

🔍

cargo

설명 보기 ▼

Rust 프로젝트 및 모듈 종속성(크레이트)을 관리.
`build`와 같은 일부 하위 명령에는 자체 사용 설명서가 있습니다.
더 많은 정보: <https://doc.rust-lang.org/stable/cargo/>.

cargo search {{search_string}}

크레이트 검색:

cargo install {{crate_name}}

바이너리 크레이트 설치:

cargo install --list

설치된 바이너리 크레이트 나열:

🔍

git clone

설명 보기 ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

just

설명 보기 ▼

`just`는 동일한 이름을 가진 여러 명령을 참조할 수 있습니다.

just {{recipe}}

명령 실행기에 대한 문서 보기:

just

Start a REPL (interactive shell):

just --init

V8 JavaScript 런타임에 대한 문서 보기:

🔍

python3

설명 보기 ▼

이 명령은 `python`의 별칭입니다.

tldr python

자세한 내용은 원본 명령을 참고하세요:

🔍

rustup run

설명 보기 ▼

Run a command with an environment configured for a Rust toolchain.
Note: All commands managed by `rustup` have a shorthand for this: for example, `cargo +nightly build` is equivalent to `rustup run nightly cargo build`.

rustup run {{toolchain}} {{command}}

Run a command using a given Rust toolchain (see `rustup help toolchain` for more information):

🔍

expect

설명 보기 ▼

사용자 입력이 필요한 다른 프로그램과 상호작용하는 스크립트 실행기.
더 많은 정보: <https://manned.org/expect>.

expect {{path/to/file}}

파일에서 expect 스크립트 실행:

expect -c "{{commands}}"

지정된 expect 스크립트 실행:

expect -i

대화형 REPL 모드로 진입 (`exit` 또는 `<Ctrl d>`로 종료):

// repository documentation