토픽 · programming-language

programming-language

programming-language 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 191개

#61
FStar ↗@FStarLangF*
증명 중심 프로그래밍 언어
★ 3,103+4최근 7일 스타 변화
#62
jakt ↗@SerenityOSC++
Jakt 프로그래밍 언어
★ 2,988-1최근 7일 스타 변화
#63
ispc ↗@ispcC++
Intel® Implicit SPMD Program Compiler
★ 2,950+0최근 7일 스타 변화
#64
agda ↗@agdaHaskell
Agda는 의존 타입 프로그래밍 언어이자 대화형 정리 증명기입니다.
★ 2,922+3최근 7일 스타 변화
#65
erg ↗@erg-langRust
Python과 호환되는 정적 타입 언어
★ 2,859-1최근 7일 스타 변화
#66
Beef ↗@beefytechC++
Beef 프로그래밍 언어
★ 2,846+0최근 7일 스타 변화
#67
Computer-Science-Resources ↗@the-akira
컴퓨터 과학의 핵심 영역을 아우르는 리소스 모음
★ 2,809+2최근 7일 스타 변화
#68
awesome-tensor-compilers ↗@merrymercy
텐서 연산 및 딥러닝을 위한 멋진 컴파일러 프로젝트 및 논문 모음
★ 2,776+1최근 7일 스타 변화
#69
flix ↗@flixFlix
Flix 프로그래밍 언어
★ 2,734+0최근 7일 스타 변화
#70
zig-book ↗@pedropark99Zig
Zig 프로그래밍 언어를 위한 개방형 기술 입문서 📚📖
★ 2,687+3최근 7일 스타 변화
#71
numbat ↗@sharkdpRust
물리적 차원 및 단위를 일급으로 지원하는 과학 계산용 정적 타입 프로그래밍 언어
★ 2,675+4최근 7일 스타 변화
#72
steel ↗@mattwparasRust
Rust로 구현된 임베디드 Scheme 인터프리터
★ 2,564+7최근 7일 스타 변화
#73
ACM-ICPC-Preparation ↗@BedirTC++
ACM-ICPC 준비 가이드
★ 2,500+2최근 7일 스타 변화
#74
CS-Ebook ↗@lining808Python
고품질의 고전적인 컴퓨터 서적 추천 목록. 양보다는 질을 중시하며 각 분야의 고품질 클래식 서적만 수집합니다.
★ 2,443+0최근 7일 스타 변화
#75
nelua-lang ↗@edubartLua
Lua에서 큰 영감을 받아 C 및 네이티브 코드로 컴파일되는 미니멀하고 효율적이며 정적 타입 지정과 메타 프로그래밍이 가능한 시스템 프로그래밍 언어.
★ 2,416+0최근 7일 스타 변화
#76
kcl ↗@kcl-langRust
KCL 프로그래밍 언어 코어 및 API (CNCF 샌드박스 프로젝트). https://kcl-lang.io
★ 2,408+4최근 7일 스타 변화
#77
moonbit-docs ↗@moonbitlangMoonBit
MoonBit 프로그래밍 언어 문서
★ 2,400+8최근 7일 스타 변화
#78
CreepyCodeCollection ↗@MinhasKamalC
불쾌한 코드들의 넌센스 모음
★ 2,400-1최근 7일 스타 변화
#79
catala ↗@CatalaLangOCaml
문학적 프로그래밍(literate programming) 법률 명세를 위한 프로그래밍 언어
★ 2,373+4최근 7일 스타 변화
#80
rune ↗@rune-rsRust
Rust를 위한 임베디드 동적 프로그래밍 언어.
★ 2,317+3최근 7일 스타 변화
#81
nature ↗@nature-langC
Nature 프로그래밍 언어
★ 2,254+0최근 7일 스타 변화
#82
dark ↗@darklangF#
언어, 백엔드, 인프라를 포함하는 Darklang 메인 저장소
★ 2,169+0최근 7일 스타 변화
#83
awesome-games-of-coding ↗@michelpereira
프로그래밍 언어 학습에 도움이 되는 게임 모음입니다.
★ 2,149+0최근 7일 스타 변화
#84
pocketpy ↗@pocketpyC
게임 스크립팅을 위한 현대적인 C로 작성된 포터블 Python 3.x 인터프리터입니다.
★ 2,113+1최근 7일 스타 변화
#85
umka-lang ↗@vtereshkovC
Umka: 정적 타입 임베디드 스크립팅 언어
★ 2,098+5최근 7일 스타 변화
#86
command-line-rust ↗@kyclarkRust
Command-Line Rust 코드 (O'Reilly, 2024, ISBN 9781098109417)
★ 2,025+0최근 7일 스타 변화
#87
chapel ↗@chapel-langChapel
생산적인 병렬 프로그래밍 언어
★ 2,020+1최근 7일 스타 변화
#88
Vale ↗@ValeLangScala
Vale 프로그래밍 언어 컴파일러 - http://vale.dev/
★ 2,008+0최근 7일 스타 변화
#89
fut ↗@fusionlanguageC++
Fusion 프로그래밍 언어. C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript 및 OpenCL C로 트랜스파일됩니다.
★ 1,927+0최근 7일 스타 변화
#90
lamdu ↗@lamduHaskell
차세대 IDE를 지향하는 lamdu
★ 1,899+0최근 7일 스타 변화

← 토픽 목록으로