index
:
rcc-project
master
A collection of projects, including a C compiler, binutils, a memory allocator, an automated theorem prover, and a web browser.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'ricochet-import/master'
HEAD
master
Richard Qin
12 hours
91
-0
/
+11256
|
\
|
*
feat(tui): integrate address input and navigation requests
Richard Qin
4 days
5
-11
/
+228
|
*
feat(tui): add reusable text input component
Richard Qin
4 days
5
-1
/
+820
|
*
feat(tui): add object focus traversal and link activation
Richard Qin
4 days
5
-3
/
+151
|
*
feat(tui): add document navigation and text selection
Richard Qin
4 days
11
-76
/
+1262
|
*
feat(tui): add structured selection text and clipboard messages
Richard Qin
13 days
6
-36
/
+340
|
*
feat(tui): add Unicode text service and document layout
Richard Qin
13 days
10
-22
/
+1072
|
*
feat(tui): add ncurses backend and session loop
Richard Qin
13 days
9
-3
/
+1437
|
*
feat(tui): add document model and host message interfaces
Richard Qin
13 days
6
-0
/
+766
|
*
Remove legacy terminal UI infrastructure and rename license file
Richard Qin
14 days
19
-953
/
+2
|
*
feat: add uninstall target to CMake build configuration
Richard Qin
2026-04-14
2
-1
/
+32
|
*
refactor: adjust code structure
Richard Qin
2026-04-14
38
-1483
/
+2434
|
*
feat: move URL formatting to Browser class and update documentation
Richard Qin
2026-04-13
4
-52
/
+99
|
*
feat: implement configurable homepage and user-agent via config.txt
Richard Qin
2026-04-13
4
-28
/
+77
|
*
feat: add help manual page and refactor key processing with switch statement
Richard Qin
2026-04-13
1
-70
/
+109
|
*
feat: implement browsing history tracking and navigation via ricochet://history
Richard Qin
2026-04-13
1
-1
/
+71
|
*
refactor: update cookie jar to store cookies by domain instead of global keys
Richard Qin
2026-04-13
1
-16
/
+29
|
*
feat: replace numeric link selection with two-character link hints
Richard Qin
2026-04-13
3
-53
/
+111
|
*
feat: implement text search functionality with highlighting and navigation su...
Richard Qin
2026-04-13
1
-9
/
+90
|
*
feat: implement persistent cookie storage and migrate configuration files to ...
Richard Qin
2026-04-13
2
-2
/
+59
|
*
feat: improve error reporting, implement responsive footer layout, and refine...
Richard Qin
2026-04-13
2
-14
/
+58
|
*
feat: add binary file download support by parsing Content-Type headers
Richard Qin
2026-04-13
3
-13
/
+78
|
*
feat: implement bookmarking system with persistence and ricochet://bookmarks ...
Richard Qin
2026-04-13
1
-6
/
+71
|
*
feat: implement table rendering with dynamic column width calculation and ANS...
Richard Qin
2026-04-13
1
-0
/
+149
|
*
feat: add support for interactive checkbox and radio button input fields
Richard Qin
2026-04-13
3
-20
/
+88
|
*
feat: implement cookie jar management and automatic header injection for HTTP...
Richard Qin
2026-04-13
1
-3
/
+62
|
*
feat: implement HTTP POST support for form submissions and add input value pe...
Richard Qin
2026-04-12
5
-63
/
+144
|
*
feat: implement form submission support by tracking input fields and form con...
Richard Qin
2026-04-12
3
-36
/
+98
|
*
feat: add support for interacting with form inputs via the 'i' key
Richard Qin
2026-04-12
3
-10
/
+114
|
*
feat: add page title extraction, URL normalization, DuckDuckGo tracker stripp...
Richard Qin
2026-04-12
3
-37
/
+208
|
*
feat: implement HTTP redirect support, URL search formatting, image alt text ...
Richard Qin
2026-04-12
5
-67
/
+214
|
*
feat: implement link extraction and interactive navigation via numbered tags ...
Richard Qin
2026-04-12
5
-35
/
+160
|
*
feat: implement URL navigation and input handling in browser TUI
Richard Qin
2026-04-11
3
-50
/
+122
|
*
feat: implement SSLSocket for encrypted connections and add terminal size det...
Richard Qin
2026-04-11
7
-79
/
+439
|
*
feat: implement interactive TUI with scrolling and add OpenSSL dependency sup...
Richard Qin
2026-04-11
6
-27
/
+177
|
*
feat: implement terminal renderer and integrate into browser core
Richard Qin
2026-04-11
4
-17
/
+129
|
*
style: apply consistent code formatting and bracing style across the codebase
Richard Qin
2026-04-11
7
-163
/
+162
|
*
feat: implement DOM tree builder to transform HTML tokens into a hierarchical...
Richard Qin
2026-04-11
5
-17
/
+189
|
*
feat: add license header automation script
Richard Qin
2026-04-11
1
-0
/
+57
|
*
feat: implement HTML lexer and integrate tokenization into browser output
Richard Qin
2026-04-11
3
-14
/
+218
|
*
feat: implement basic HTTP client with socket and address networking utilities
Richard Qin
2026-04-11
12
-0
/
+1386
|
*
feat: initialize project structure with CMake build system, C++23 support, an...
Richard Qin
2026-04-11
19
-0
/
+1235
*
Merge remote-tracking branch 'proofsearch-import/master'
Richard Qin
12 hours
63
-0
/
+6611
|
\
|
*
feat: enhance clang-tidy configuration and improve code quality across multip...
Richard Qin
2026-04-08
13
-159
/
+198
|
*
refactor: rename struct members to follow trailing underscore naming conventi...
Richard Qin
2026-04-07
31
-809
/
+877
|
*
style: reformat codebase with consistent indentation
Richard Qin
2026-04-04
49
-354
/
+294
|
*
feat: add copyright and license disclaimer to program startup output
Richard Qin
2026-04-04
1
-0
/
+5
|
*
feat: implement pretty-printing for variables and proof step references in pr...
Richard Qin
2026-04-04
2
-8
/
+78
|
*
feat: implement command-line interface and add end-to-end propositional logic...
Richard Qin
2026-04-04
5
-13
/
+275
|
*
feat: implement proof trace extraction and add proof trace test
Richard Qin
2026-04-04
4
-9
/
+365
[next]