joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at research/dope2 2025-05-12 10:44:06 +02:00
cb45d88e17 correct type of emptyDict and emptySet
joeri pushed to master at research/dope2-webapp 2025-05-12 00:02:19 +02:00
2b0d8bc2c6 a bit more progress
a9ae4f9888 decent progress
Compare 2 commits »
joeri pushed to master at research/dope2-webapp 2025-05-11 13:22:18 +02:00
e901fc3f76 making some good progress
joeri pushed to master at research/dope2 2025-05-11 09:33:38 +02:00
d531c48a92 change index
joeri pushed to master at research/dope2 2025-05-11 09:30:52 +02:00
dadee965e5 trie: add get function
joeri pushed to master at research/dope2 2025-05-11 00:30:08 +02:00
dd35e2b577 fix
joeri pushed to master at research/dope2 2025-05-10 23:04:17 +02:00
29c7b6af61 fix bug in trie
joeri pushed to master at research/dope2-webapp 2025-05-10 22:01:29 +02:00
5f3d697866 use <div> with property 'contenteditable' to accept text input (much simpler)
joeri pushed to master at research/dope2 2025-05-10 20:53:40 +02:00
3b8548e9af fix bug in trie
joeri pushed to master at research/dope2 2025-05-10 20:30:16 +02:00
fe6e86e1a4 fix bug in trie
joeri pushed to master at research/dope2 2025-05-10 19:51:04 +02:00
075cc1244f fix Trie.suggest (for real this time?)
joeri pushed to master at research/dope2 2025-05-10 19:37:41 +02:00
660512cc19 fix bug in Trie.suggest?
joeri pushed to master at research/dope2-webapp 2025-05-10 16:38:24 +02:00
cc65498b12 delete README
joeri created branch master in research/dope2-webapp 2025-05-10 16:37:45 +02:00
joeri pushed to master at research/dope2-webapp 2025-05-10 16:37:45 +02:00
d05d9125c9 very simple hacked-together auto-completion demo
joeri created repository research/dope2-webapp 2025-05-10 16:37:22 +02:00
joeri pushed to master at research/dope2 2025-05-10 15:50:07 +02:00
a166ebb0d7 change behavior of trie-suggest
joeri pushed to master at research/dope2 2025-05-10 14:45:54 +02:00
1fa47d4abd rename function
joeri pushed to master at research/dope2 2025-05-10 12:36:10 +02:00
d363d73dbd fix imports
joeri pushed to master at research/dope2 2025-05-10 12:31:55 +02:00
be856bffad remove unused import