programming-language

궁극의 Python 학습 가이드 🐍 🐍 🐍

뮤지션을 위한 음악 프로그래밍 언어. :notes:

점진적 타입 시스템을 갖추고 Lua를 기반으로 하는 작고 빠르며 내장 가능한 프로그래밍 언어

Rust 도서 목록

:books: Go 언어 커스텀 가이드 (원제: Go 구문 트리 입문 / 오픈소스 무료 도서 / Go 언어 심화 / 추상 구문 트리 마스터 / Go 언어 AST)

Apache Groovy: JVM 플랫폼을 위한 강력하고 다방면으로 활용 가능한 프로그래밍 언어

클라우드를 위한 프로그래밍 언어 ☁️ 인프라와 런타임 코드를 하나의 언어로 결합한 통합 프로그래밍 모델 ⚡

JVM에서 호스팅되는 고성능 스크립팅 언어

난해한 프로그래밍 언어

Go 언어 성경 중국어판

차세대 비주얼 프로그래밍 시스템

🦁 Leo 프로그래밍 언어. 형식 검증된 영지식(Zero-Knowledge) 애플리케이션을 위한 프로그래밍 언어

신뢰할 수 없는 파일 형식을 안전하게 처리

Go로 컴파일되는 정적 타이핑 언어 Borgo

Gravity 프로그래밍 언어

😎 WebAssembly로 직접 컴파일되거나 WebAssembly에 VM이 있는 언어 모음

간단하고 우아하며 Pythonic한 함수형 프로그래밍.

🍃 프론트엔드 웹을 위한 신선한 프로그래밍 언어

제약 조건 가이드 기반의 효율적인 LLM 프로그래밍 언어입니다.

TypeScript로 작성된 토이 프로그래밍 언어

Ballerina 프로그래밍 언어

Go를 위한 빠른 스크립트 언어.

재미로 다른 프로그래밍 언어의 stdlib을 TypeScript로 가져오기

P 프로그래밍 언어.

정리 검증 기능을 지원하는 프로그래밍 언어 Dafny

Rust로 작성된 정적, 타입 추론 및 임베디드 언어입니다.

jank는 원활한 C++ 상호운용성을 제공하는 네이티브 Clojure 방언입니다.

dmd D 프로그래밍 언어 컴파일러

Checked C는 프로그래머가 경계 검사 및 향상된 타입 안전성을 갖춘 C 코드를 작성할 수 있도록 지원하는 C 언어 확장입니다. 기존 C 코드를 쉽게 타입 안전하게 만들고 전체 오류 범주를 제거하는 것을 목표로 합니다.

멋진 OCaml 도구, 프레임워크, 라이브러리 및 아티클 모음.