programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake created branch wip-experimental-rust-port2 in libre-chip/parse_powerisa_pdf 2026-01-03 00:10:21 +00:00
c8cd234d8f wip porting to rust
718de40b09 wip
9e090a66a3 port more code
7ecdbc0239 porting more
e1277bbb90 add insn bit fields
Compare 9 commits »
programmerjake commented on pull request libre-chip/fayalite-deps#1 2026-01-01 15:45:38 +00:00
Add Rocq to the installed dependencies.

so, I'll wait and see if #3 fixes it, if not I can adjust that to 1G or something.

adjusted the limit to 1G

programmerjake pushed to master at libre-chip/server-setup 2026-01-01 15:36:39 +00:00
4b9a39997e increase client_max_body_size to avoid errors trying to upload container images
programmerjake commented on pull request libre-chip/fayalite-deps#1 2026-01-01 15:06:21 +00:00
Add Rocq to the installed dependencies.

ok, turns out it's nginx that's blocking large uploads because I used the example config from forgejo's website which sets…

programmerjake pushed to master at libre-chip/fayalite-deps 2026-01-01 14:07:05 +00:00
17bd387064 Reduce image size by cleaning opam cache.
programmerjake merged pull request libre-chip/fayalite-deps#2 2026-01-01 14:07:04 +00:00
Reduce image size by cleaning opam cache.
programmerjake commented on pull request libre-chip/fayalite-deps#1 2026-01-01 12:56:56 +00:00
Add Rocq to the installed dependencies.

@cesar wrote in libre-chip/fayalite-deps#1 (comment):

@programmerjake wrote in #1 (comment):

looks good to me, feel free to merge after CI…

programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-01 05:43:58 +00:00
da339ce00a test in forgejo ci
2381421776 add copyright headers and check script
Compare 2 commits »
programmerjake pushed to main at libre-chip/website 2026-01-01 05:14:46 +00:00
1247dac200 add OPF_PowerISA_v3.1C.pdf
programmerjake deleted branch add-powerisa-v3.1c-pdf from programmerjake/website 2026-01-01 05:14:46 +00:00
programmerjake merged pull request libre-chip/website#3 2026-01-01 05:14:45 +00:00
add OPF_PowerISA_v3.1C.pdf
programmerjake created pull request libre-chip/website#3 2026-01-01 05:13:07 +00:00
add OPF_PowerISA_v3.1C.pdf
programmerjake created branch add-powerisa-v3.1c-pdf in programmerjake/website 2026-01-01 05:10:59 +00:00
programmerjake pushed to add-powerisa-v3.1c-pdf at programmerjake/website 2026-01-01 05:10:59 +00:00
1247dac200 add OPF_PowerISA_v3.1C.pdf
0688724f03 WIP
b8a97a2326 parse ToUnicode stream
programmerjake created branch wip-experimental-rust-port in libre-chip/parse_powerisa_pdf 2025-12-30 15:29:45 +00:00
d7727289eb parse info from type 1 fonts
9445599850 WIP adding rendering
aba6368948 parse content streams into a list of operators
13dcea1dab add more font structures
e0993fdb4a parsing more of the pdf structure
Compare 8 commits »
programmerjake approved libre-chip/fayalite-deps#1 2025-12-28 22:32:26 +00:00
Add Rocq to the installed dependencies.

looks good to me, feel free to merge after CI passes.