This website requires JavaScript.
Explore
Help
Sign In
Edern Deneuville
Edern
0 Followers
·
0 Following
Joined on
2025-10-12
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
3
Projects
Packages
Public Activity
Starred Repositories
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:56:56 +02:00
85e3580d70
Add Unicode math formatter tests
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:56:45 +02:00
fe52fe8e63
Test math text format config
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:56:28 +02:00
0ba0f68ad0
Document Unicode math formatting
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:56:05 +02:00
e1fa16edfa
Enable Unicode math formatting by default
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:55:56 +02:00
6cb34ead26
Add Unicode math formatter
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:55:21 +02:00
5e938fe456
Add math text format config
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:54:43 +02:00
dcc5f0c568
Add Unicode math output formatting
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:44:30 +02:00
727caa62c4
Test disabled request timeout config
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:44:15 +02:00
c117ef5440
Add AI timeout tests
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:43:58 +02:00
9cf2178991
Document AI timeout setting
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:43:39 +02:00
7299361013
Increase default AI timeout
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:43:31 +02:00
eb1d9529d6
Allow configurable disabled request timeout
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:43:14 +02:00
7bac4874d9
Handle slow AI backend timeouts
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:24:21 +02:00
ad3f009ad6
Add key stepper auto-first-character tests
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:24:08 +02:00
f2d0c0f865
Add clipboard workflow tests
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:24:00 +02:00
620fc31a04
Document clipboard-first workflow
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:23:37 +02:00
5eda88102e
Remove obsolete clipboard copy settings
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:23:04 +02:00
6490e4715d
Type first AI character automatically
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:22:33 +02:00
672ad148fe
Read prompt from clipboard without copying selection
Edern
pushed to
main
at
Edern/ai-typewriter
2026-09-11 13:22:26 +02:00
9eb7ed681a
Improve clipboard workflow and logging
Previous
3
Next
