workflowfm/workflowfm-reasoner

A logic-based library for correct-by-construction process modelling and composition.

Language: OCaml - Size: 4.19 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

sivaosorg/unused-ngx-blobs-o2jwt

Config middleware resource server validate authentication token / jwt / user-detail

Language: Java - Size: 103 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kim-sunghoon/Neural-Architecture-Search-for-Resource-Constrained-Hardware Fork of ND-SCL/NAQS

Language: Python - Size: 19.7 MB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1