Bram

0 Followers · 0 Following

• Joined on 2023-08-22

Repositories

44

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

Bram pushed to main at Bram/new-lang

• 90240cf067 Simplify abstract type structuring
• ffc79f4372 Simplify & generalize types to "App" & "Const" types
• Compare 2 commits »

2026-06-29 13:02:21 +00:00

Bram pushed to main at Bram/new-lang

• cca866ae62 Add minimal proof checker

2026-06-29 10:43:33 +00:00

Bram pushed to main at Bram/Bot-Man-Toe

• 90d2bea528 Convert all links to relative links

2026-06-28 21:16:50 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• 90d2bea528 Convert all links to relative links

2026-06-28 21:16:41 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• 73be372a30 Add improved documentation
• 87525238ba Prevent exceptions from destroying the ELO tracker scheduled loop
• Compare 2 commits »

2026-06-28 21:10:24 +00:00

Bram pushed to main at Bram/Bot-Man-Toe

• 73be372a30 Add improved documentation
• 87525238ba Prevent exceptions from destroying the ELO tracker scheduled loop
• 6cd1ec9c97 Fix flag -> flags misspelling
• b09bc370c4 Hotfix: Update input flag base URL
• 317b5eeabf Update localhost address to empty string
• Compare 10 commits »

2026-06-28 21:10:18 +00:00

Bram pushed to main at Bram/DnD-initiative-tracker

• 61800a7054 Archive supposedly missing elm.json file

2026-06-28 13:59:56 +00:00

Bram created branch archive in Bram/dnd5e-town-generator

2026-06-28 13:57:50 +00:00

Bram pushed to archive at Bram/dnd5e-town-generator

• eabba2b7fe Archive unfinished old changes

2026-06-28 13:57:50 +00:00

Bram pushed to main at Bram/dnd5e-town-generator

• b61f0dfbbb Add Generatable type

2026-06-28 13:57:11 +00:00

Bram created branch agent/naive-line-counter in Bram/Bot-Man-Toe

2026-06-28 11:30:27 +00:00

Bram pushed to agent/naive-line-counter at Bram/Bot-Man-Toe

• fc8375e251 Create naive line counter for tic-tac-toe
• c004d9d3e7 Update PyServer Containerfile
• Compare 2 commits »

2026-06-28 11:30:27 +00:00

Bram pushed tag agent/naive-line-counter-1.0.0 to Bram/Bot-Man-Toe

2026-06-28 11:29:34 +00:00

Bram pushed tag elo-tracker-1.0.0 to Bram/Bot-Man-Toe

2026-06-27 15:46:58 +00:00

Bram deleted tag elo-tracker-1.0.0 from Bram/Bot-Man-Toe

2026-06-27 15:46:23 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• 6cd1ec9c97 Fix flag -> flags misspelling

2026-06-27 15:44:28 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• b09bc370c4 Hotfix: Update input flag base URL

2026-06-27 15:35:49 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• 317b5eeabf Update localhost address to empty string

2026-06-27 15:32:33 +00:00

Bram created branch elo in Bram/Bot-Man-Toe

2026-06-27 15:23:36 +00:00

Bram pushed to elo at Bram/Bot-Man-Toe

• 2ace9688ff Create MVP ELO tracker with front-end app & Containerfile
• d8c20fd4cc Refactor project to new Agent class
• 5c3eb14c17 Create MVP RemoteAgent
• b563c8422f Create proof-of-concept update for mute & chaos agents
• 7b0f147a89 Create generalized Agent class
• Compare 5 commits »

2026-06-27 15:23:36 +00:00