4096libre

4096libre pushed to main at Meta/rules

2025-03-15 14:51:29 -04:00

f069a822e2 Clarify that you can't upload cheese pizza + change wording.

4096libre pushed to main at Meta/rules

2025-02-13 19:33:24 -05:00

ebf86eb1a3 Rebrand

4096libre created repository 4096libre/test-repo

2025-01-05 01:37:22 -05:00

4096libre pushed to main at Meta/rules

2025-01-05 01:24:53 -05:00

497b799704 Rules are applied!

4096libre pushed to main at Meta/rules

2025-01-05 01:19:40 -05:00

8aeec04175 Add rules.

4096libre created branch main in Meta/rules

2025-01-05 01:19:40 -05:00

4096libre created repository Meta/rules

2025-01-05 01:16:38 -05:00

4096libre commented on pull request xe-gen11/tools#1

2025-01-05 01:10:16 -05:00

Update ports.sh

Fuck off.

4096libre closed pull request xe-gen11/tools#1

2025-01-05 01:10:16 -05:00

Update ports.sh

4096libre created branch main in xe-gen11/ssh-source

2024-12-24 12:01:13 -05:00

4096libre pushed to main at xe-gen11/ssh-source

2024-12-24 12:01:13 -05:00

299d2c2d2c Add ssh-src-old.sh

4096libre created repository xe-gen11/ssh-source

2024-12-24 11:59:32 -05:00

4096libre pushed to main at xe-gen11/tools

2024-12-16 00:27:06 -05:00

c899c53a1a Update ports.sh

4096libre pushed to main at xe-gen11/tools

2024-12-16 00:26:43 -05:00

024ee99e9b Upload files to "/"

4096libre created branch main in xe-gen11/tools

2024-12-16 00:26:43 -05:00

4096libre created repository xe-gen11/tools

2024-12-16 00:26:28 -05:00

4096libre created repository 4096libre/proofs

2024-11-30 14:03:28 -05:00

4096libre pushed to main at 4096libre/ithon

2024-11-30 10:29:20 -05:00

5316cff2a2 Typechecker stdlib module :shipit:

4096libre pushed to main at 4096libre/ithon

2024-11-28 18:17:34 -05:00

6f8b5a4e96 Argument bugfixes, and minification!

4096libre pushed to main at 4096libre/ithon

2024-11-26 17:22:58 -05:00

72b7f87dd7 merge conflict moment

0ebe183cfe +> (yield) operator and nice debug output!

Compare 2 commits »