🐼
Just like solving problems
-
Aalborg University, Denmark
- Aarhus, Denmark
- theodorrisager.dk
- in/theodor-risager
- https://www.justenoughsolutions.com/
Highlights
- Pro
Pinned Loading
-
P7-verifypn
P7-verifypn PublicForked from TAPAAL/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
C++ 3
-
-
-
msan19/Functional-Graph-Language
msan19/Functional-Graph-Language PublicFunctional Graph Language (FGL) is a domain specific language for intentional definition and generation of graphs.
C# 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




