idris2-hashmap

(★ 8)

Hash-array map tries in Idris2

idris2-hashmap 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

TypeScript ★ 110,183

TypeScript는 깔끔한 JavaScript 출력 코드로 컴파일되는 JavaScript의 상위 집합입니다.

TypeScript
papers-we-love ★ 108,787

컴퓨터 과학 분야의 읽고 토론할 만한 논문 모음입니다.

Shell
iptv ★ 135,982

전 세계의 공개된 IPTV 채널 모음

TypeScript
tailwindcss ★ 97,258

신속한 UI 개발을 위한 유틸리티 우선 CSS 프레임워크입니다.

TypeScript
claude-code ★ 141,652

Claude Code는 터미널에서 작동하는 에이전틱 코딩 도구로, 코드베이스를 이해하고 자연어 명령을 통해 반복적인 작업을 수행하고, 복잡한 코드를 설명하며, g

Python
PowerToys ★ 137,810

Microsoft PowerToys는 Windows의 생산성과 사용자 지정 기능을 극대화하는 유틸리티 모음입니다.

C
// repository documentation