programmerjake

0 followers · 1 following

• Joined on 2024-07-08
• • 

Repositories

4

Projects Packages Public activity Starred repositories

programmerjake pushed to next-pc at programmerjake/cpu 2025-12-09 05:59:14 +00:00

e3ebbe6b40 WIP: completed stages of next-pc logic, still need to combine them into a pipeline

programmerjake commented on pull request libre-chip/fayalite#56 2025-12-09 01:18:05 +00:00

Initial work on representing HDL and formal verification in Rocq.

as you probably saw, you'll also need to add the code for checking for copyright headers to scripts/check-copyright.sh

programmerjake pushed to next-pc at programmerjake/cpu 2025-12-05 04:38:52 +00:00

429a36837f WIP

programmerjake pushed to next-pc at programmerjake/cpu 2025-12-04 05:27:35 +00:00

b6f3ecfb32 WIP

programmerjake pushed to main at libre-chip/website 2025-12-01 03:14:40 +00:00

2543b1ce72 add NLnet project code

991b15c320 move text to fit within length constraint

a79c7fe8bb replace xml entities with unicode characters

Compare 3 commits »

programmerjake merged pull request libre-chip/website#2 2025-12-01 03:14:38 +00:00

submitted programmable decoder grant proposal as well as some necessary adjustments for submission

programmerjake created pull request libre-chip/website#2 2025-12-01 03:14:30 +00:00

submitted programmable decoder grant proposal as well as some necessary adjustments for submission

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-12-01 03:11:30 +00:00

2543b1ce72 add NLnet project code

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-12-01 03:06:47 +00:00

991b15c320 move text to fit within length constraint

a79c7fe8bb replace xml entities with unicode characters

Compare 2 commits »

programmerjake pushed to main at libre-chip/website 2025-12-01 02:53:22 +00:00

df1721f487 adjust requested amount to actually be the sum of the tasks' amounts

8bf2a914fa apply wording change suggested by cesar in #1 (comment)

2f742e7606 clean up whitespace

259afa1fa9 add my paragraph

29cc01dfdd add programmable decoder grant to summary.md

Compare 9 commits »

programmerjake merged pull request libre-chip/website#1 2025-12-01 02:53:21 +00:00

add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed

programmerjake commented on pull request libre-chip/website#1 2025-11-30 20:03:25 +00:00

add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed

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

Suggestion: "€ 10000 Get the fallback emulator to work" -> "€ 10000 Get the fallback **software…

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-30 20:00:46 +00:00

df1721f487 adjust requested amount to actually be the sum of the tasks' amounts

8bf2a914fa apply wording change suggested by cesar in libre-chip/website#1 (comment)

Compare 2 commits »

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-30 10:47:41 +00:00

2f742e7606 clean up whitespace

259afa1fa9 add my paragraph

Compare 2 commits »

programmerjake commented on pull request libre-chip/website#1 2025-11-30 09:39:59 +00:00

add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed

@HaeckseAlex wrote in libre-chip/website#1 (comment):

@programmerjake wrote in #1 (comment):

@HaeckseAlex please do let us know if you're…

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-28 23:07:23 +00:00

29cc01dfdd add programmable decoder grant to summary.md

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-28 23:03:28 +00:00

0b279f1f0f wording

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-28 23:02:27 +00:00

7331330d68 more wording adjustments

programmerjake pushed to add-grant-proposal-cpu-with-programmable-decoder at programmerjake/website 2025-11-28 22:47:35 +00:00

ea39679034 update wording

programmerjake created pull request libre-chip/website#1 2025-11-28 22:17:01 +00:00

WIP: add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed