PhD., Senior Engineer
-
University of Oslo
- Oslo, Norway
- www.ahmetyildirim.com.tr
Pinned Loading
-
GlueSemWorkbench_v2
GlueSemWorkbench_v2 PublicForked from Mmaz1988/GlueSemWorkbench_v2
The Glue semantics workbench provides two Glue provers for calculating semantic representations based on the semantic formalism Glue semantics.
Java
-
ethereum-php
ethereum-php PublicForked from digitaldonkey/ethereum-php
PHP interface to Ethereum JSON-RPC API.
PHP 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.