idris2-hashmap

(โ˜… 8)

Hash-array map tries in Idris2

idris2-hashmap Latest Version Download

Download Latest Version (.zip)

Today's picks

ohmyzsh โ˜… 189,291

๐Ÿ™ƒ A delightful community-driven (with 2,500+ contributors) framework for managing your z

Shell
deepseek-harness โ˜… 179,877

DeepSeek Harness: Everything is a Plugin.

TypeScript
free-programming-books-zh_CN โ˜… 118,364

:books: ๅ…่ดน็š„่ฎก็ฎ—ๆœบ็ผ–็จ‹็ฑปไธญๆ–‡ไนฆ็ฑ๏ผŒๆฌข่ฟŽๆŠ•็จฟ
ghidra โ˜… 72,620

Ghidra is a software reverse engineering (SRE) framework

Java
supabase โ˜… 108,234

The Postgres development platform. Supabase gives you a dedicated Postgres database to bui

TypeScript
vllm โ˜… 89,633

A high-throughput and memory-efficient inference and serving engine for LLMs

Python
// repository documentation