Sign inSign up

kowainik/idris-patricia

🌋 Idris implementation of patricia tree

IdrisStars 23Forks 1Watchers 23Open issues 7License MIT License
Details
仓库信息
Ownerkowainik
Homepagehttps://kowainik.github.io/projects/idris-patricia
GitHubhttps://github.com/kowainik/idris-patricia
Last pushed2020-11-06
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--