토픽 · systems-programming

systems-programming

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

리포지토리

6

총 스타

23,220

평균 스타

3,870

비중

0.00%

같은 리포지토리에 systems-programming 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 systems-programming 태그가 달린 리포지토리예요.

#1
kimi-k3-in-c ↗@FareedKhan-devC
단일 CPU와 8.24 GB RAM에서 2조 7,800억 개의 파라미터를 가진 Kimi K3 추론 실행. 포터블 C99: BLAS, 프레임워크, GPU 없음.
★ 6,888

#1
pdfs ↗@tpnHTML
기술 중심 PDF 컬렉션(논문, 사양, 발표 자료, 매뉴얼 등) — tpn.github.io/pdfs에서 찾아보고 검색하세요.
★ 10,123+18최근 7일 스타 변화
#2
kimi-k3-in-c ↗@FareedKhan-devC
단일 CPU와 8.24 GB RAM에서 2조 7,800억 개의 파라미터를 가진 Kimi K3 추론 실행. 포터블 C99: BLAS, 프레임워크, GPU 없음.
★ 6,888+485최근 7일 스타 변화
#3
zerosharp ↗@MichalStrehovskyC#
.NET 네이티브 AOT(ahead-of-time) 컴파일 기술을 활용한 시스템 프로그래밍용 C#의 가능성을 보여주는 데모
★ 2,124+0최근 7일 스타 변화
#4
Vale ↗@ValeLangScala
Vale 프로그래밍 언어 컴파일러 - http://vale.dev/
★ 2,008+0최근 7일 스타 변화
#5
high-assurance-rust ↗@tnballoRust
안전하고 견고한 시스템 소프트웨어 개발에 관한 무료 도서
★ 1,413+2최근 7일 스타 변화
#6
magmide ↗@magmideRocq Prover
현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어
★ 835+0최근 7일 스타 변화

← 토픽 목록으로