위키득계정 ↗

문서 둘러보기

기술↗

CUE

CUE는 자료 검증과 설정 작성에 사용하는 제약 기반 언어이자 추론 엔진이다. 타입과 구체적인 값을 하나의 체계에서 다루며 여러 곳에서 온 조건을 결합해 자료가 만족해야 할 범위를 좁힌다.

기술↗

HCL

HCL은 사람이 작성하는 구조화된 설정 언어를 만들기 위한 문법과 도구 모음이다. 속성과 계층적인 블록을 기본으로 하며 응용이 허용할 구조와 변수, 함수를 정해 설정을 해석한다.

기술↗

Dhall

Dhall은 함수와 타입, 가져오기 기능을 갖춘 설정 언어다. 공통 설정을 조합해 여러 곳에서 사용하고 결과를 JSON이나 YAML로 바꿀 수 있으며 타입 검사와 의미 기반 비교를 위한 도구를 제공한다.

기술↗

Jsonnet

Jsonnet은 JSON을 확장해 설정 자료를 만드는 프로그래밍 언어다. 변수와 함수, 객체 조합으로 반복되는 설정을 공통화하고 평가한 결과를 JSON이나 YAML 등 필요한 형식으로 출력한다.

기술↗

JSONata

JSONata는 JSON 자료를 질의하고 새로운 구조로 변환하는 언어다. 경로로 값을 찾고 연산과 함수로 가공한 다음 객체나 배열 형태의 결과를 만들며 XPath의 위치 경로 개념에서 영향을 받았다.

기술↗

JMESPath

JMESPath는 JSON 자료에서 필요한 값을 추출하고 변환하는 질의 언어다. 객체의 항목과 배열 원소를 탐색하고 여러 값에 표현식을 적용하며, 언어별 라이브러리 사이의 동작을 맞추기 위한 명세와 적합성 시험을 제공한다.

기술↗

jq

jq는 JSON 자료를 필터 표현식으로 읽고 변환하는 명령행 도구다. 객체 항목이나 배열 원소를 추출하고 선택한 값으로 새 구조를 만들며, 파일이나 표준 입력에서 받은 자료를 처리한다.

기술↗

yq

yq는 YAML을 비롯한 구조화된 자료를 조회하고 변경하는 Go 기반 명령행 도구다. jq와 비슷한 표현식을 사용하며 여러 문서의 병합과 형식 변환, 파일의 제자리 수정도 지원한다.

기술↗

JSON Lines

JSON Lines는 한 줄마다 하나의 JSON 값을 저장하는 텍스트 형식이다. 전체 자료를 하나의 배열로 묶지 않고 기록 단위로 읽을 수 있어 로그와 자료 교환, 셸 파이프라인에 활용한다.

기술↗

JSON 텍스트 시퀀스

JSON 텍스트 시퀀스는 여러 JSON 값을 기록 구분 문자로 나누어 전달하는 형식이다. 각 값 앞에 RS 문자를 넣고 뒤에 줄바꿈을 붙여, 길이를 미리 알기 어려운 자료도 순차적으로 만들고 읽을 수 있게 한다.

기술↗

로컬 통신에서 스위치, AP와 라우터의 경로

같은 네트워크의 로컬 통신과 라우팅 경로를 구분하고, 분리형 AP를 쓰는 무선 PC VR에 적용한다.

기술↗

Windows 업데이트와 제품 간 업그레이드

같은 Windows 제품의 업데이트와 제품 간 업그레이드를 구분하고, 무료 제공과 정품 인증의 확인 범위를 설명한다.

기술↗

SSD 여유 공간과 오버프로비저닝

SSD를 얼마나 비워야 하는지 판단할 때 쓰기 작업, 예비 공간, DRAM의 서로 다른 역할을 구분한다.

기술↗

노트북 어댑터 출력과 배터리 제거

정격 출력보다 낮은 어댑터를 사용할 때 생길 수 있는 제약과, 배터리 제거만으로 호환성을 판단할 수 없는 이유를 설명한다.

기술↗

랜선 하나로 여러 유선 기기 연결하기

방으로 들어오는 랜선에 PC와 홈서버를 함께 연결하는 방법을 설명하고, 스위치와 AP의 역할을 구분한다.

자연↗

사과 품종의 맛과 수확 시기

사과 품종은 익는 시기와 당도·산미, 과육의 질감과 저장성으로 비교할 수 있다. 후지·홍로·감홍·아리수는 서로 다른 특징이 있으며, 실제 맛은 수확 시기와 재배·저장 조건에도 영향을 받는다.

과학↗

별의 등급과 거리 계산 기초

별의 등급 문제는 숫자가 작을수록 밝고, 같은 별은 멀어질수록 어두워진다는 관계에서 출발한다. 절대 등급의 기준 거리인 10pc와 현재 거리를 비교하면 계산 방향을 정할 수 있다.

과학↗

UV 형광과 형광증백제 시험 결과

UV 램프에서 빛나 보이는 현상만으로 형광증백제의 검출 여부를 확정할 수는 없다. 예비 관찰과 확인 시험을 구분하고, 성적서의 시험법과 검체·검사항목을 함께 읽어야 한다.

과학↗

발전기 코일의 각도와 순간 선속 변화

유도 기전력은 자기 선속의 크기가 아니라 시간에 따른 변화율로 결정된다. 각도를 코일 면에서 재는지 법선에서 재는지, 코일이 정지했는지 계속 회전하는지를 구분해야 한다.

기술↗

유튜브 프리미엄의 광고와 크리에이터 홍보

유튜브 프리미엄을 이용해도 크리에이터가 추가한 홍보 링크나 정보 카드 등이 보일 수 있다. 일반 광고인지 홍보 기능인지 구분한 뒤 계정과 멤버십 상태를 확인한다.

기술↗

VN 모바일 영상 편집과 워터마크

VN은 안드로이드와 iOS에서 사용할 수 있는 영상 편집 앱이다. 공식 안내는 워터마크 없는 무료 편집을 설명하지만, 무료 다운로드와 모든 추가 기능의 무료 제공은 구분해야 한다.

기술↗

버추얼 캐릭터 제작과 관련 전공

버추얼 캐릭터 제작은 모델과 애니메이션, 움직임 추적, 실시간 렌더링, 프로그램 연동이 결합된 분야다. 관련 전공은 원하는 제작 역할을 정한 뒤 실제 교과목과 실습 프로젝트를 기준으로 비교한다.

기술↗

칼리 리눅스와 모의해킹 입문

칼리 리눅스는 보안 평가 도구를 모은 리눅스 배포판이다. 모의해킹의 필수 운영체제는 아니며, 리눅스와 네트워크의 기초를 익힌 뒤 필요한 도구를 선택하는 편이 학습에 도움이 된다.

기술↗

컴파일과 인터프리터의 실행 속도

미리 생성한 기계 코드는 인터프리터의 명령 처리 비용을 줄이고 컴파일러 최적화를 적용할 수 있다. 실제 속도는 구현 방식과 작업의 병목에 따라 달라진다.

기술↗

JSON 병합 패치

JSON 병합 패치는 바꾸려는 JSON 객체와 비슷한 구조로 부분 변경을 표현하는 형식이다. 새 항목은 추가하고 기존 항목은 갱신하며, 객체 항목에 지정한 null은 그 항목을 삭제한다는 의미로 사용한다.

기술↗

JSONPath

JSONPath는 JSON 값에서 조건에 맞는 부분을 선택하는 질의 표현식이다. 객체 이름과 배열 인덱스뿐 아니라 와일드카드와 범위, 필터를 사용하며 결과를 선택된 노드들의 목록으로 다룬다.

기술↗

JSON 패치

JSON 패치는 JSON 문서에 적용할 부분 변경을 연산의 배열로 표현하는 형식이다. 추가와 삭제, 교체, 이동, 복사, 값 검사를 지원하며 각 연산의 위치는 JSON 포인터로 지정한다.

기술↗

JSON 포인터

JSON 포인터는 JSON 문서 안의 특정 값을 문자열로 가리키는 표기법이다. 객체의 이름이나 배열의 위치를 차례로 따라가며 값을 찾고, JSON 패치에서는 변경할 위치를 나타내는 데 사용한다.

기술↗

Zopfli

Zopfli는 압축 시간을 더 사용해 DEFLATE 계열의 압축 결과를 만드는 C 라이브러리다. DEFLATE와 zlib 및 gzip 형식으로 출력하며 자체 해제 기능 대신 기존 호환 디코더를 사용할 수 있다.

기술↗

Libarchive

Libarchive는 여러 아카이브 형식을 스트림으로 읽고 쓰는 C 라이브러리다. 압축 방식과 파일 형식을 자동 감지하고 공통 API로 처리하며 tar와 cpio 및 unzip 등의 명령행 도구도 제공한다.

기술↗

XZ Utils

XZ Utils는 xz 형식의 압축 자료를 다루는 라이브러리와 명령행 도구 모음이다. liblzma를 제공하고 LZMA2를 중심으로 여러 필터를 연결하며 이전 lzma 형식도 지원한다.

기술↗

Zlib

Zlib는 여러 응용에서 압축과 해제를 수행하는 범용 라이브러리다. zlib과 DEFLATE 및 gzip 형식의 공개 명세에 기반하며 여러 프로그래밍 언어와 운영 환경에서 사용할 수 있다.

기술↗

Snappy 압축

Snappy는 높은 압축률보다 처리 속도와 적절한 압축률의 균형을 지향하는 압축 라이브러리다. C++ 구현과 C 바인딩을 제공하며 공개된 Snappy 비트스트림 형식을 처리한다.

기술↗

Brotli

Brotli는 LZ77 계열 방식과 허프먼 부호화 및 문맥 모델링을 결합하는 무손실 압축 알고리즘이다. RFC 7932에 압축 자료 형식이 정의되어 있으며 스트림 형식 자체에는 체크섬 등의 정보가 포함되지 않는다.

기술↗

LZ4

LZ4는 압축과 해제 속도를 중시하는 무손실 압축 알고리즘이다. 블록 형식과 긴 자료를 다루는 프레임 형식을 구분하며 속도 중심 설정과 더 높은 압축률을 위한 변형 및 사전 압축을 제공한다.

기술↗

Zstandard

Zstandard는 zstd로도 부르는 무손실 압축 알고리즘과 참조 구현이다. 압축 수준으로 속도와 압축률을 조정하고 비슷한 작은 자료에는 학습한 사전을 적용할 수 있다.

기술↗

Blosc2

Blosc2는 수치 배열과 텐서 등 바이너리 자료를 압축하고 저장하는 형식과 라이브러리다. 여러 코덱과 필터를 조합하며 다차원 자료를 나누어 압축 상태에서 필요한 부분에 접근하는 구성을 제공한다.

기술↗

TileDB

TileDB는 조밀하거나 희소한 다차원 배열을 저장하고 접근하는 내장형 엔진이다. 배열을 타일로 나누고 메타데이터와 그룹 및 버전을 관리하며 로컬과 객체 저장소에 연결한다.

기술↗

Daft 데이터 엔진

Daft는 이미지와 음성 및 영상과 구조화된 자료를 함께 처리하는 데이터 엔진이다. Python 인터페이스와 Rust 구현을 바탕으로 AI 연산과 여러 저장소의 접근을 로컬 또는 분산 실행에 연결한다.

기술↗

Datatable Python

Datatable은 Python에서 이차원 표 자료를 다루는 데이터프레임 라이브러리다. Frame과 행·열 선택 표현식으로 자료를 변환하고 그룹 집계 및 정렬과 조인을 구성한다.

기술↗

Fugue 데이터 처리

Fugue는 Python과 Pandas 및 SQL 자료 처리를 여러 실행 엔진에 연결하는 공통 인터페이스다. 기존 함수를 Spark와 Dask 및 Ray에서 실행하고 SQL 기반 작업 흐름에도 Python 함수를 조합할 수 있다.

기술↗

Narwhals

Narwhals는 여러 데이터프레임 라이브러리를 공통 표현으로 다루는 Python 호환 계층이다. Polars API의 일부를 이용해 연산을 작성하고 원래 라이브러리의 계산 방식과 결과 형식으로 연결한다.

기술↗

Ibis 데이터프레임

Ibis는 여러 실행 엔진에 공통 데이터프레임 인터페이스를 제공하는 Python 라이브러리다. 지연 표현식을 엔진의 SQL이나 데이터프레임 연산으로 변환하고 Python 표현식과 SQL을 조합할 수 있다.

기술↗

Modin

Modin은 Pandas와 비슷한 인터페이스로 자료와 계산을 병렬 처리하는 데이터프레임 라이브러리다. Ray와 Dask 등의 실행 엔진에 작업을 연결해 한 컴퓨터나 클러스터의 계산 자원을 활용한다.

기술↗

Polars

Polars는 데이터프레임과 SQL로 분석 질의를 작성하는 Rust 기반 질의 엔진이다. 표현식과 지연 실행을 통해 질의를 구성하고 공통 최적화 및 실행 계층으로 처리한다.

기술↗

Vaex

Vaex는 큰 표 자료를 지연 실행과 메모리 매핑으로 탐색하는 Python 데이터프레임 라이브러리다. 필요한 시점에 자료를 읽고 표현식을 계산하며 통계 집계와 시각화를 연결한다.

기술↗

NetCDF

NetCDF는 과학 자료를 만들고 읽으며 공유하기 위한 인터페이스와 라이브러리 및 파일 형식이다. 자료 자체의 설명을 파일에 포함하고 서로 다른 컴퓨터에서도 접근할 수 있는 표현을 제공한다.

기술↗

HDF5

HDF5는 복잡한 자료를 그룹과 데이터셋 및 속성으로 구성해 저장하는 자료 모델과 파일 형식 및 라이브러리다. 다차원 배열의 논리적 구조와 실제 저장 배치를 구분하고 여러 저장 방식과 연결한다.

기술↗

Xarray

Xarray는 차원과 좌표 및 속성이 붙은 다차원 배열을 다루는 Python 라이브러리다. 배열의 숫자 위치뿐 아니라 이름과 좌표를 이용해 자료를 선택하고 연산하며 정렬한다.

기술↗

Zarr

Zarr는 다차원 배열을 청크로 나누고 압축해 저장하는 형식과 도구 생태계다. Python 구현은 여러 저장 매체와 배열 그룹 및 동시 접근을 지원해 큰 배열 자료의 저장과 읽기를 구성한다.

기술↗

Conda Lock

Conda Lock은 Conda 환경의 의존성을 미리 해결해 잠금 파일을 생성하는 도구다. 대상 플랫폼별 패키지 구성을 기록해 환경 설치 시 다시 의존성 조합을 찾는 과정을 줄인다.

기술↗

Pixi

Pixi는 Conda 생태계를 바탕으로 여러 언어의 패키지와 개발 작업을 관리하는 도구다. 잠금 파일과 환경 및 작업 명령을 연결하며 프로젝트별 설치와 공통 도구 설치를 지원한다.

기술↗

Conda

Conda는 운영체제와 프로그래밍 언어에 걸쳐 바이너리 패키지와 환경을 관리하는 도구다. Python 패키지뿐 아니라 C 라이브러리 등의 의존성도 독립 환경에 설치하고 관리할 수 있다.

기술↗

Mamba 패키지 관리자

Mamba는 Conda 패키지 관리를 C++로 구현한 도구다. 저장소 자료와 패키지를 병렬로 내려받고 libsolv로 의존성을 해결하며 Conda 생태계의 환경과 패키지 사용을 지원한다.

기술↗

Pipx

Pipx는 Python으로 배포되는 명령행 응용을 독립 환경에 설치하고 실행하는 도구다. 응용마다 가상 환경을 만들어 의존성을 나누면서 실행 명령은 사용자의 명령 검색 경로에 노출한다.

기술↗

Virtualenv

Virtualenv는 분리된 패키지 설치 공간을 갖는 Python 가상 환경을 만드는 도구다. 사용할 인터프리터를 찾고 환경과 초기 패키지 및 활성화 구성을 만들며 Python API와 플러그인으로도 활용할 수 있다.

기술↗

Hatch Python

Hatch는 Python 프로젝트의 생성과 환경 및 빌드와 게시를 관리하는 도구다. 테스트 실행과 정적 분석 및 버전 관리 기능을 함께 제공하고 사용자 스크립트로 개발 절차를 구성한다.

기술↗

PDM Python

PDM은 Python 패키지와 의존성 및 개발 환경을 관리하는 도구다. 표준 pyproject 메타데이터와 잠금 파일을 사용하고 가상 환경 및 사용자 스크립트와 플러그인을 연결한다.

기술↗

Poetry

Poetry는 Python 프로젝트의 의존성과 패키징을 관리하는 도구다. pyproject 파일에 프로젝트 정보와 의존성을 선언하고 설치 및 가상 환경과 패키지 빌드에 필요한 흐름을 구성한다.

기술↗

Uv Python

uv는 Rust로 구현한 Python 패키지 및 프로젝트 관리 도구다. 의존성과 가상 환경 및 잠금 파일을 관리하고 Python 버전의 설치와 스크립트 및 명령행 도구의 실행을 제공한다.

기술↗

Coverage Python

Coverage Python은 일반적으로 coverage.py로 부르는 Python 코드 커버리지 측정 도구다. 실행 가능한 줄과 실제로 실행한 줄을 분석하고 분기 측정과 여러 형식의 보고서를 제공한다.

기술↗

Nox 자동화 도구

Nox는 여러 Python 환경에서 테스트와 개발 명령을 자동 실행하는 도구다. 일반 Python 파일에 세션을 정의하고 필요한 패키지 설치와 명령 실행을 구성한다.

기술↗

Pytest

Pytest는 Python 응용과 라이브러리의 테스트를 작성하고 실행하는 프레임워크다. 일반 assert 문을 사용한 검증과 테스트 자동 탐색, 픽스처 및 플러그인을 제공한다.

기술↗

Tox 테스트 도구

Tox는 Python 프로젝트의 여러 실행 환경과 테스트 명령을 관리하는 자동화 도구다. 가상 환경마다 패키지를 빌드하고 설치하며 선택한 테스트 도구를 실행해 환경별 동작을 확인한다.

기술↗

Flake8

Flake8은 Python 코드 검사 도구들을 하나의 명령과 출력으로 묶는 도구다. PyFlakes와 pycodestyle 및 McCabe 복잡도 검사를 연결하고 플러그인으로 검사와 출력 형식을 확장할 수 있다.

기술↗

Pylint

Pylint는 Python 소스 코드를 실행하지 않고 오류와 코딩 규칙 및 개선할 구조를 찾는 정적 분석 도구다. 내부 코드 표현에서 값을 추론하고 설정과 플러그인으로 검사 동작을 확장한다.

기술↗

Black 코드 포매터

Black은 Python 소스 코드를 일관된 스타일로 다시 정리하는 포매터다. 세부 스타일 선택을 제한해 파일 전체에 공통 규칙을 적용하며 형식 변경 전후의 추상 구문 트리를 비교하는 검사를 기본으로 수행한다.

기술↗

Ruff

Ruff는 Rust로 구현한 Python 린트 도구이자 코드 포매터다. 여러 코드 검사 규칙과 자동 수정 및 형식 정리를 하나의 도구에서 제공하고 프로젝트 설정과 편집기 및 자동 검사 흐름에 연결한다.

기술↗

Mypy

Mypy는 Python 코드를 실행하지 않고 형식 사용을 분석하는 정적 형식 검사기다. 형식 힌트와 추론을 바탕으로 변수와 함수의 사용을 확인하며 동적 코드에 점진적으로 주석을 추가하는 개발 방식을 지원한다.

기술↗

Pyright

Pyright는 Python 소스를 분석하는 정적 형식 검사기다. 명령행 도구와 편집기 확장을 제공하며 프로젝트의 검사 범위와 Python 환경 및 진단 수준을 설정해 형식 사용을 확인한다.

기술↗

Beartype

Beartype는 Python 형식 힌트에 따라 실제 값과 호출을 검사하는 라이브러리다. 클래스와 함수에 데코레이터를 적용하거나 가져오기 훅으로 패키지를 계측하며 개별 값을 검사하는 API도 제공한다.

기술↗

Typeguard

Typeguard는 Python 형식 주석을 실행 중의 실제 값과 대조하는 라이브러리다. 개별 값 검사와 함수 계측 및 가져오기 훅을 제공해 정적 형식 검사만으로 확인하기 어려운 위반을 찾도록 돕는다.

기술↗

Cerberus

Cerberus는 Python 사전 형태의 자료를 스키마에 따라 검사하는 검증 라이브러리다. 필드의 형식과 조건을 정의하고 검사 결과와 오류 정보를 제공하며 정규화와 값 변환도 구성할 수 있다.

기술↗

Marshmallow

Marshmallow는 Python 객체와 기본 자료형 사이의 변환 및 입력 검증을 위한 라이브러리다. 스키마에 필드를 정의해 자료를 읽거나 내보내며 특정 ORM이나 웹 프레임워크에 종속되지 않는다.

기술↗

Attrs

Attrs는 Python 클래스의 속성을 선언하고 반복적인 객체 메서드를 생성하는 라이브러리다. 초기화와 읽기 쉬운 표현 및 동등성 비교를 자동 구성하며 형식 주석 없이도 속성을 정의할 수 있다.

기술↗

Cattrs

Cattrs는 Python의 사전 같은 자료와 구조화된 클래스 객체 사이를 변환하고 검증하는 라이브러리다. 변환 규칙을 모델과 분리해 정의하며 Attrs 클래스와 데이터클래스 및 중첩 자료를 다룬다.

기술↗

Msgspec

Msgspec은 Python 자료를 직렬화하고 해석하며 스키마를 검증하는 라이브러리다. 형식 주석으로 메시지 구조를 정의하고 JSON과 MessagePack 등의 입력을 Python 객체로 변환하면서 선택적으로 검증한다.

기술↗

Pydantic

Pydantic은 Python 형식 힌트로 자료 검증과 직렬화 규칙을 정의하는 라이브러리다. 모델에 맞춰 외부 자료를 확인하고 필요한 변환을 수행하며 JSON Schema 생성과 사용자 정의 검증을 지원한다.

기술↗

WASI

WASI는 WebAssembly 프로그램이 호스트 환경과 상호 작용하기 위한 API 집합이다. 이식성과 모듈성 및 런타임 독립성을 지향하며 접근 권한에 기반한 인터페이스로 프로그램의 외부 기능 사용을 구성한다.

기술↗

WebAssembly 컴포넌트 모델

WebAssembly 컴포넌트 모델은 인터페이스로 기능을 연결하는 WebAssembly 구성 체계다. 컴포넌트가 가져오고 내보내는 형식과 함수를 기술하고 서로의 요구를 만족하는 모듈과 컴포넌트를 조합한다.

기술↗

Jco

Jco는 JavaScript 환경에서 WebAssembly 컴포넌트를 만들고 변환하며 실행하는 도구 모음이다. 컴포넌트를 ES 모듈로 변환하고 WIT 정의에서 프로젝트 구성을 생성하며 명령행과 라이브러리로 사용할 수 있다.

기술↗

Spin 웹 프레임워크

Spin은 WebAssembly로 클라우드 마이크로서비스를 만들고 실행하는 프레임워크다. 컴포넌트 모델과 Wasmtime을 활용하며 명령행 도구로 응용 생성과 빌드 및 배포 작업을 연결한다.

기술↗

AssemblyScript

AssemblyScript는 TypeScript와 비슷한 문법으로 WebAssembly 프로그램을 작성하는 언어이자 컴파일러다. WebAssembly의 기능에 맞춰 설계하며 Binaryen을 이용해 모듈을 생성한다.

기술↗

Wasm Tools

Wasm Tools는 WebAssembly 모듈과 컴포넌트를 변환하고 검사하는 명령행 도구 및 Rust 라이브러리 모음이다. 형식 변환과 유효성 검사 외에 시험 입력 생성, 축소, 메타데이터 및 컴포넌트 처리를 제공한다.

기술↗

Wasm Pack

Wasm Pack은 Rust에서 만든 WebAssembly를 JavaScript 패키지로 빌드하고 시험하며 배포하는 작업 도구다. 브라우저와 Node.js에서 사용할 패키지를 생성해 npm 등의 기존 개발 흐름과 연결한다.

기술↗

Wasm Bindgen

Wasm Bindgen은 WebAssembly 모듈과 JavaScript 사이의 상호 작용을 위한 바인딩 생성 도구다. Rust에서 JavaScript 기능을 가져오고 Rust 기능을 JavaScript에 내보내는 연결 코드를 만든다.

기술↗

Emscripten

Emscripten은 C와 C++ 코드를 WebAssembly로 컴파일하는 도구 체계다. LLVM과 Binaryen을 사용하며 브라우저와 Node.js 및 WebAssembly 런타임에서 실행할 출력을 생성한다.

기술↗

WABT

WABT는 WebAssembly Binary Toolkit의 약칭으로, WebAssembly 파일의 변환과 검사 및 해석 실행을 위한 도구 모음이다. 텍스트와 바이너리 형식을 오가고 파일 구조와 통계를 확인하는 기능을 제공한다.

기술↗

Binaryen

Binaryen은 WebAssembly 컴파일과 최적화를 위한 C++ 라이브러리이자 도구 모음이다. 중간 표현을 통해 코드를 변환하고 wasm-opt 등으로 WebAssembly의 크기와 실행에 관련된 최적화를 적용한다.

기술↗

Cranelift

Cranelift는 대상에 독립적인 중간 표현을 실행 가능한 기계 코드로 변환하는 코드 생성기다. 여러 프로세서 아키텍처에 대응하며 WebAssembly 런타임과 다른 언어의 컴파일러 백엔드에 활용할 수 있다.

기술↗

WAMR

WAMR은 WebAssembly Micro Runtime의 약칭으로, 임베디드와 사물인터넷 및 서버 환경 등에 맞춰 구성하는 독립 WebAssembly 런타임이다. 해석 실행과 사전 컴파일 및 실행 중 컴파일 방식을 제공한다.

기술↗

WasmEdge

WasmEdge는 WebAssembly 프로그램을 독립적으로 실행하거나 호스트 응용에 포함하는 런타임이다. 운영체제 자원과 메모리 공간을 구분하는 실행 환경을 제공하며 네트워크와 데이터베이스 및 AI 연산을 위한 확장 기능을 연결한다.

기술↗

Wasmer

Wasmer는 WebAssembly 기반으로 프로그램을 실행하고 응용에 실행 환경을 포함하는 런타임이다. 명령행 도구와 SDK를 제공하며 파일과 네트워크 및 환경 접근을 구성해 샌드박스에서 프로그램을 실행한다.

기술↗

Wasmtime

Wasmtime은 WebAssembly를 독립적으로 실행하거나 다른 응용에 포함할 수 있는 런타임이다. Cranelift로 기계 코드를 생성하고 WASI를 통해 호스트 환경과 상호 작용하며 실행 자원의 설정을 제공한다.

과학↗

곡선 렌치의 모멘트와 최대 힘 방향

굽은 렌치의 모멘트는 손잡이의 곡선 길이가 아니라 기준점과 힘의 작용선 사이의 수직거리로 결정된다. 평면에서는 위치벡터와 힘의 성분으로 계산하면 각도와 부호를 구별하기 쉽다.

기술↗

Rustup

Rustup은 Rust 도구 모음을 설치하고 여러 버전을 관리하는 도구다. 안정판과 베타 및 야간판을 전환하고 갱신할 수 있으며 보관된 버전과 다른 호스트용 도구 모음 및 로컬 빌드도 관리한다.

기술↗

Rust Analyzer

Rust Analyzer는 편집기에 Rust 개발 기능을 제공하는 언어 서버다. 정의와 참조 탐색, 코드 완성과 리팩터링을 지원하며 언어 서버 프로토콜을 사용하는 여러 편집기와 연결할 수 있다.

기술↗

Rustfmt

Rustfmt는 Rust 코드를 스타일 지침에 맞춰 정리하는 도구다. 파일이나 Cargo 프로젝트의 형식을 바꾸고 검사 모드에서는 파일을 수정하지 않고 형식 차이를 확인하며 설정 파일로 동작을 조정한다.

기술↗

Clippy

Clippy는 Rust 코드의 흔한 실수와 개선 가능한 표현을 찾아내는 린트 도구다. 정확성과 의심스러운 코드 및 스타일과 복잡도와 성능 등의 범주로 규칙을 나누고 검사 수준을 조정할 수 있다.

기술↗

Cargo Auditable

Cargo Auditable은 Rust 실행 파일에 빌드 의존성 정보를 포함하는 도구다. 크레이트의 이름과 버전을 담은 의존성 트리를 바이너리에 기록해 배포된 파일에서도 알려진 취약점 검사를 수행하도록 돕는다.