Dominic Grimm dergrimm · he/him
0 followers · 0 following
Repositories
21
 Projects Packages Public activity Starred repositories
8
dergrimm pushed to main at dergrimm/hence 2023-04-02 10:39:41 +00:00
00bab636db Update WIP with jump table for words and conditions
dergrimm pushed to main at dergrimm/hence 2023-04-01 17:20:36 +00:00
df73353bc6 Add language support and massively update Forth compiler
dergrimm pushed to main at dergrimm/hence 2023-03-31 13:13:06 +00:00
635ae21540 Fix some instructions starting with digits being lexed as numbers
dergrimm pushed to main at dergrimm/hence 2023-03-31 12:36:06 +00:00
804da393a8 Make 'pop' operation safe
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-30 13:48:18 +00:00
9d666c01a5 Update 'README.md'
dergrimm pushed to main at dergrimm/bvplan 2023-03-30 13:45:41 +00:00
a4ffffb653 Update 'README.md'
dergrimm pushed to main at dergrimm/bvplan 2023-03-30 13:44:00 +00:00
1d92484ae9 Update 'README.md'
dergrimm pushed to main at dergrimm/hence 2023-03-24 20:35:12 +00:00
5b5886a2f2 Add README.md
dergrimm pushed to main at dergrimm/hence 2023-03-24 20:13:44 +00:00
cdd5b8855a Update henceforth
dergrimm pushed to main at dergrimm/hence 2023-03-23 16:59:16 +00:00
d6f7a51e11 Update after a long time!
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-15 16:47:00 +00:00
357f19902b Update docs
dergrimm pushed to pages at dergrimm/mentorenwahl 2023-03-13 19:07:40 +00:00
860282d971 Update 'index.html'
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-11 08:08:58 +00:00
39ee5cca31 Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 19:51:21 +00:00
b18f370bf4 Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:53:15 +00:00
f277f19775 Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:51:45 +00:00
32fcca683d Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:36:45 +00:00
6f040028b5 Update ci pipelines
717fdc9e24 Update ci pipelines
Compare 2 commits »
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:32:03 +00:00
aa21e65a3d Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:26:24 +00:00
5d8be54ccf Update ci pipelines
dergrimm pushed to main at dergrimm/mentorenwahl 2023-03-10 18:24:07 +00:00
6ef027babb Update ci pipelines