Giters
JanWielemaker
/
hdt
Interface to HDT
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
5
Issues:
7
Forks:
4
JanWielemaker/hdt Issues
Should HDT be used as of 2022?
Closed
2 years ago
Comments count
1
Bug in hdt_search
Updated
6 years ago
Comments count
13
BitSequence build failure on arm32v7
Updated
7 years ago
Comments count
1
Predicate `hdt_string_id/4' does not deal with Unicode correctly
Closed
7 years ago
Comments count
1
Non-deterministic implementation of `hdt_suggestions`
Closed
7 years ago
Comments count
1
Can HDT suggestions be returned incrementally?
Closed
7 years ago
Comments count
2
Error when opening an HDT file whose name contains a non-ASCII character
Closed
7 years ago
Comments count
1