James Martin james

0 Followers · 0 Following

• https://jtm.dev
• Joined on Jul 25, 2022

Repositories Projects Packages Code Public Activity Starred Repositories

Loading Heatmap…

james pushed to main at james/desert-of-the-surreal

• 74b52fd25b Fix rule mixup in `correct-lattice.tex`.

13 hours ago

james pushed to main at james/desert-of-the-surreal

• f84bf1248c Fix rule mixup in `correct-lattice.tex`.

16 hours ago

james pushed to main at james/desert-of-the-surreal

• 4e2bb66bed Add "correct lattice" dump.

19 hours ago

james pushed to main at james/desert-of-the-surreal

• 67a10ac0fc Initial draft of 1-sided order basic

1 day ago

james pushed to main at james/desert-of-the-surreal

• e2f107c156 Added draft of Order Basic rules.

3 days ago

james pushed to main at james/desert-of-the-surreal

• 552168de5f Added draft of Order Basic rules.

3 days ago

james pushed to main at james/desert-of-the-surreal

• 012aaefeaf Added draft of Order Basic rules.

3 days ago

james pushed to main at james/desert-of-the-surreal

• f937f48530 Added draft of Order Basic rules.

3 days ago

james pushed to main at james/desert-of-the-surreal

• 123950a77c Add "provability, necessity, and possibility" dump.

5 days ago

james pushed to main at james/desert-of-the-surreal

• a22fd3d982 Add "provability, necessity, and possibility" dump.

5 days ago

james pushed to main at james/desert-of-the-surreal

• 75709636ce Update README.md
• c554061f08 Update README.md
• Compare 2 commits »

7 days ago

james pushed to main at james/desert-of-the-surreal

• fa0577c1f4 Good and bad extensions to basic.

4 months ago

james pushed to main at james/desert-of-the-surreal

• 10a42ae206 Good and bad extensions to basic.
• c25bd379cf Update README.md
• 085a3c2396 Update README.md
• Compare 3 commits »

4 months ago

james pushed to main at james/desert-of-the-surreal

• 1aa8eb5273 Good and bad extensions to basic.

4 months ago

james pushed to master at james/pass-lang

• 1863d420b6 WIP IR (broken)

4 months ago

james pushed to master at james/pass-lang

• 894c10903c Old, incomplete, broken stuff from a month ago.

4 months ago

james pushed to master at james/pass-lang

• d9edbab10c Fix calculation of labels and jump destinations.

5 months ago

james pushed to master at james/pass-lang

• 68ce32a6df Slightly unfuck codegen for relative jumps and blocks.

5 months ago

james pushed to master at james/pass-lang

• 1383484e06 No assertions fail during codegen (lang.c) for test file.

6 months ago

james pushed to master at james/pass-lang

• f951e8ce08 Small refactor of indentation lexer.

6 months ago