Emacs 1. 개요 Emacs(이맥스)는 리스프(Lisp) 언어를 기반으로 구축된 확장 가능한 텍스트 편집기이자, 사용자가 직접 기능을 정의하고 수정할 수 있는 통합 컴퓨팅 환경이다. 1976년 리처드 스톨만(Richard Stallman)에 의해 처음 개발되었으며, 단순한 텍스트 입력을 넘어 파일 관리, 메일 클라이언트, 뉴스 리더, 터미널 에뮬레이터 …
검색 결과
"Emacs"에 대한 검색 결과 (총 8개)
GNU/Linux 1. 개요 GNU/Linux는 리처드 스톨먼의 GNU 프로젝트가 지향하는 자유 소프트웨어 철학과 리누스 토발즈가 개발한 리눅스 커널이 결합하여 완성된 유닉스 계열Unix-like) 오픈 소스 운영체제입니다. 엄밀히 말해 '리눅스'는 운영체제의 핵심인 커널만을 지칭하며, 사용자가 실제로 사용하는 전체 시스템은 GNU 도구들과 커널이 합쳐진 …
Vim Vim(Vi IMproved)은 유닉스 환경에서 널리 사용되는 고기능 텍스트 편집기이다. 1991년 브람 모엘렌더프(Bram Moolenaar)에 의해 처음 공개되었으며, 원래의 Vi 편집기를 기반으로 다양한 기능이 추가되고 개선되어 'Vi의 개선된 버전'이라는 의미로 Vim이라는 이름이 붙여졌다. 리눅스 및 유닉스 계열 운영 체제에서 시스템 관리,…
언어 서버 프로토콜 언어 서버 프로토콜(LSP, Language Server Protocol)은 소프트웨어 개발 도구 간에 프로그래밍 언어 기능을 표준화하여 공유할 수 있도록 설계된 통신 프로토콜입니다. LSP는 코드 자동 완성, 문법 검사, 정의 이동, 참조 찾기, 리팩터링 등과 같은 고급 언어 기능을 다양한 코드 편집기와 IDE(통합 개발 환경)에서 일…
Agda Agda는 함수형 프로그래밍 언어이자 정형 증명기(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 의존 타입(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족함을 수학적으로 …
Hunspell Hunspell은 오픈소스 기반의 철자 검사기 checker) 및 형태소 분석기(morphological analyzer)로, 주로 자연어처리(NLP) 분야에서 텍스트의 철자 오류를 감지하고 제안을 제공하는 데 사용됩니다. LibreOffice, OpenOffice, Mozilla Firefox, Google Chrome 등 다양한 소프트웨…
LSP 개요 LSP(Language Server Protocol)는 소프트웨어 개발 환경에서 코드 편집기와 언어 분석 도구 간의 통신을 표준화하기 위해 개발된 프로토콜입니다. 마이크로소프트(M)가 2016에 처음 제안한 이 프로토콜은 다양한 프로그래밍 언어와 코드 에디터 간의 상호 운용성을 크게 향상시켰으며, 현대 소프트웨어 개발 환경에서 필수적인 기술 중…
Clang 요 Clang은 C C++, Objective-C,-C++ 등의 프로그래밍 언어를 위한 컴파일러 프론트엔드(front-end)로, LLVM(Low Level Virtual Machine) 프로젝트의 일환으로 개발된 오픈소스 소프트웨어입니다. Clang은존의 GCC(GNU Collection)와 같은 전통적인 컴파일러를 대체하거나 보완하기 위해 설…