Eduardo R. Golding K4L1Ma
K4L1Ma
/ scratch.go
Created
December 23, 2025 11:28
CEL Guard Implementation for Petri Net Tokens in Go
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package main | |
| import ( | |
| "fmt" | |
| "sync" | |
| "github.com/google/cel-go/cel" | |
| ) | |
| type TokenID struct { |
K4L1Ma
/ scratch_1.go
Created
December 23, 2025 11:04
Colored Petri Net Implementation in Go - Restaurant Simulation Example
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package main | |
| import ( | |
| "fmt" | |
| "reflect" | |
| ) | |
| type Name string | |
| type Label string |
K4L1Ma
/ gist:72ac34bf29fcefe95fb2ee73eccda832
Created
June 3, 2021 14:50
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### Keybase proof | |
| I hereby claim: | |
| * I am k4l1ma on github. | |
| * I am k4l1ma (https://keybase.io/k4l1ma) on keybase. | |
| * I have a public key ASBvuRHnu2oQyPg4c12lYKfg-K9UYWs-a0_16l2ijxrbswo | |
| To claim this, I am signing this object: |