Bram

0 Followers · 0 Following

• Joined on 2023-08-22

Repositories

44

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

Bram created branch bram/chatgpt in Bram/Bot-Man-Toe

2026-07-21 20:40:53 +00:00

Bram pushed to bram/chatgpt at Bram/Bot-Man-Toe

• 32b2d4a6ad Create ChatGPT agent

2026-07-21 20:40:53 +00:00

Bram pushed to main at Bram/new-lang

• ea47c34308 Create initial proof builder POC

2026-07-13 14:48:56 +00:00

Bram pushed to main at Bram/new-lang

• 66beff5792 Create contains, eq and replace operations
• dcad494c7d Attempt to implement basic library
• Compare 2 commits »

2026-07-12 14:05:47 +00:00

Bram pushed to dev at Bram/new-lang

• 66beff5792 Create contains, eq and replace operations

2026-07-12 14:05:38 +00:00

Bram created branch dev in Bram/new-lang

2026-07-09 22:05:14 +00:00

Bram pushed to dev at Bram/new-lang

• dcad494c7d Attempt to implement basic library

2026-07-09 22:05:14 +00:00

Bram pushed to main at Bram/new-lang

• cbf8e29a84 Generalize normalize function
• eeac39a4fa Refactor terms module
• fa9d4f0a83 Add new design for proof checker
• 362e82474c Create a proof BUILDER more than a checker - lol
• 16490af209 Commit working changes (attempted scripts)
• Compare 5 commits »

2026-07-09 22:04:43 +00:00

Bram deleted branch agent/naive-line-counter from Bram/Bot-Man-Toe

2026-07-05 07:15:34 +00:00

Bram pushed tag agent/mute-1.0.1 to Bram/Bot-Man-Toe

2026-07-05 07:14:37 +00:00

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

2026-07-05 07:13:30 +00:00

Bram pushed tag agent/ur-heuristic-1.0.0 to Bram/Bot-Man-Toe

2026-07-05 07:12:57 +00:00

Bram pushed to bram/ur-heuristic at Bram/Bot-Man-Toe

• 4ec9c937b1 Serve UrHeuristic agent

2026-07-05 07:01:43 +00:00

Bram created branch bram/ur-heuristic in Bram/Bot-Man-Toe

2026-07-05 06:40:18 +00:00

Bram pushed to bram/ur-heuristic at Bram/Bot-Man-Toe

• a98e2c3c1e Create UrHeuristic agent

2026-07-05 06:40:18 +00:00

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

• 5453a8acc3 Fix representation bug
• 76875b61bb Include `roll` in Ur game payload
• Compare 2 commits »

2026-07-05 06:37:41 +00:00

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

• 94ea1ae2f0 HOTFIX: Enforce player's supported list of games
• c9899c5d65 Merge branch 'bram/deployment' into elo
• 220c956ba0 Improve AgentOfChaos documentation
• 194f962746 Introduce maximum number of turns
• d7ac20a6dd Apply hotfixes from branch bram/sneaky-hotfix
• Compare 11 commits »

2026-07-02 07:22:06 +00:00

Bram created branch bram/greedy in Bram/Bot-Man-Toe

2026-07-01 22:11:38 +00:00

Bram pushed to bram/greedy at Bram/Bot-Man-Toe

• 48cf21a1fd Create Greedy agent

2026-07-01 22:11:38 +00:00

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

2026-07-01 22:09:30 +00:00