Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/bamboo/idris-hamt

Idris Hash Array Mapped Trie
https://github.com/bamboo/idris-hamt

data-structure hash-array-mapped-trie idris trie

Last synced: 18 days ago
JSON representation

Idris Hash Array Mapped Trie

Host: GitHub
URL: https://github.com/bamboo/idris-hamt
Owner: bamboo
License: bsd-3-clause
Created: 2016-11-15T15:11:28.000Z (about 8 years ago)
Default Branch: master
Last Pushed: 2017-06-15T10:24:25.000Z (over 7 years ago)
Last Synced: 2024-10-28T19:57:35.597Z (2 months ago)
Topics: data-structure, hash-array-mapped-trie, idris, trie
Language: Idris
Size: 5.86 KB
Stars: 6
Watchers: 4
Forks: 2
Open Issues: 2
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # Idris Hash Array Mapped Tries

[Bagwell's Ideal Hash Tries](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.6279) for Idris.

Without real arrays at this point (as those are not currently supported by Idris) but already slightly faster than Idris SortedSet.

## Run a simple benchmark comparing it to Idris SortedSet implementation

    make run

## License

[![BSD3](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](LICENSE)